9月份，芯华章发布了全球首款开源数字仿真器EpicSim，收获了很多志同道合的伙伴在EDAGit.com上向我们发来技术上的咨询与交流。因此，我们也加快了对第二款开源EDA产品EpicFV的研发，以回报行业同仁的技术热忱。

　　随着芯片设计行业的高速发展，行业对芯片验证提出了更高的要求。动态仿真，形式验证，原型设计，硬件加速是常见的几大功能验证的手段。

　　其中，形式验证有着以下三种优势：

　　1.形式验证是穷尽的，完备的；

　　2.形式验证不需要任何复杂测试激励环境的搭建，只需要写约束和测试点即可；

　　3.形式验证对设计收敛的效率是传统仿真的倍数级；

　　4.形式验证适合于设计人员在早期对于自己的模块进行功能验证。

　　但是，形式验证需要使用断言（System Verilog Assertion），工程师必须熟悉语法，并且对工具内部的引擎有一定熟悉度，这对使用门槛和开发技术的成熟度提出了较高的要求，导致无论是高校还是设计公司，虽然都希望能借形式验证工具来大大加速验证的收敛，却因缺乏经验而止步。

　　作为全球首款开源形式验证工具，EpicFV在用户输入RTL设计和SystemVerilog断言描述设计规范的情况下，可以自动进行语法解析、设计综合、断言解析，并且基于分布式计算理论自动调度引擎求解断言，加速验证收敛，从而降低形式验证工具的使用门槛。

　　分布式计算/并行计算加速验证收敛

　　我们相信，随着形式化验证技术在更多高校和设计公司逐步普及，基于System Verilog的断言也将成为验证工程师耳熟能详的语言，从而进一步帮助该产品扩大应用范围，在SoC验证中起到越来越关键的作用。

　　中国集成电路要完善、崛起，就需要有更多人加入，一起贡献想法和力量，群策群力，多元碰撞。我们团队会定期针对产品使用时遇到的技术问题在EDAGit社区内提供技术支持，与大家交流促进，共同为应对未来SoC的验证挑战打下坚实的基础，加快EDA创新并降低其使用门槛，进而提高芯片设计的验证效率。

　　产品亮点

　　业界首款开源形式验证工具

　　分布式计算/并行计算加速验证收敛

　　自动调度引擎，降低形式验证工具使用门槛

　　在易用性、实用性、稳定性上提供专业技术支持

　　技术专家

　　芯华章形式验证团队拥有累积超过30年的形式验证研发经验与项目经历，核心人员在芯片验证领域有10年以上项目经验，曾服务于谷歌，英伟达和三星等形式验证部门，项目涵盖CPU、算法模块、复杂流水调度模块SOC级连接性检查、底层Cache系统，对动态仿真和静态仿真综合方案有深入理解。

　　“芯华章团队推出的开源形式验证工具，大大降低了形式化验证工具的使用门槛，对于这一方法学的普及起到至关重要的作用。 “

　　————清华大学汪玉教授

　　“形式验证能够帮助我们早期发现问题，更因为是使用数学方法进行穷举，是现今已知最完备的验证方法。很高兴看到芯华章团队能秉持初心，持续以更加开放、共创、共荣的态度拥抱行业、赋能技术创新。“

　　——上海交通大学电子信息与电气工程学院副教授李海华

　　“EpicFV的分布式计算和并行计算能力十分令人惊喜，在实际使用上能有效加速验证收敛，缩短项目周期。“

　　——西南交通大学信息学院电子工程系邸志雄副系主任

　　如何下载

　　请访问www.edagit.com获取产品安装包及使用手册和数据，也欢迎将你对EpicFV的想法、问题和建议在EDAGit技术社区和我们分享，也可以将你的想法完整描述发到support@edagit.com，我们将会有专门的技术人员进行集中回复。

　　关于芯华章：

　　芯华章聚集全球EDA行业精英和尖端科技领域人才，以智能调试、智能编译、智能验证座舱为三大基座，提供全面覆盖数字芯片验证需求的五大产品线，包括：硬件仿真系统、FPGA原型验证系统、智能验证、形式验证以及逻辑仿真，为合作伙伴提供开创性地芯片验证解决方案与专家级顾问服务。同时，芯华章致力于面向未来的EDA 2.0 软件和智能化电子设计平台的研究与开发，以技术革新加速芯片创新效率，让芯片设计更简单、更普惠。