芯华章推出全球首款开源的形式验证工具“灵验”
今年9月，芯华章发布了全球首款开源的数字仿真器EpicSim，收获了很多志同道合的伙伴在EDAGit.com上向我们发来技术上的咨询与交流。因此，我们也加快了对第二款开源EDA产品“灵验”（EpicFV）的研发，以回报行业同仁的技术热忱。
随着芯片设计行业的高速发展，行业对芯片验证提出了更高的要求。动态仿真，形式验证，原型设计，硬件加速是常见的几大功能验证的手段。
其中，形式验证有着以下三种优势：
形式验证是穷尽的，完备的；
形式验证不需要任何复杂测试激励环境的搭建，只需要写约束和测试点即可；
形式验证对设计收敛的效率是传统仿真的倍数级；
形式验证适合于设计人员在早期对于自己的模块进行功能验证。
但是，形式验证需要使用断言（SystemVerilog Assertion），工程师必须熟悉语法，并且对工具内部的引擎有一定熟悉度，这对使用门槛和开发技术的成熟度提出了较高的要求，导致无论是高校还是设计公司，虽然都希望能借形式验证工具来大大加速验证的收敛，却因缺乏经验而止步。
作为全球首款开源形式验证工具，“灵验”在用户输入RTL设计和SystemVerilog断言描述设计规范的情况下，可以自动进行语法解析、设计综合、断言解析，并且基于分布式计算理论自动调度引擎求解断言，加速验证收敛，从而降低形式验证工具的使用门槛。
分布式计算/并行计算加速验证收敛
■ 业界首款开源形式验证工具
■ 分布式计算/并行计算加速验证收敛
■ 自动调度引擎，降低形式验证工具使用门槛
■ 在易用性、实用性、稳定性上提供专业技术支持
芯华章形式验证团队拥有累积超过30年的形式验证研发经验与项目经历，核心人员在芯片验证领域有10年以上项目经验，曾服务于谷歌，英伟达和三星等形式验证部门，项目涵盖CPU、算法模块、复杂流水调度模块SOC级连接性检查、底层Cache系统，对动态仿真和静态仿真综合方案有深入理解。
我们相信，随着形式化验证技术在更多高校和设计公司逐步普及，基于SystemVerilog的断言也将成为验证工程师耳熟能详的语言，从而进一步帮助该产品扩大应用范围，在SoC验证中起到越来越关键的作用。
中国集成电路要完善、崛起，就需要有更多人加入，一起贡献想法和力量，群策群力，多元碰撞。我们团队会定期针对产品使用时遇到的技术问题在EDAGit社区内提供技术支持，与大家交流促进，共同为应对未来SoC的验证挑战打下坚实的基础，加快EDA创新并降低其使用门槛，进而提高芯片设计的验证效率。
芯华章团队推出的开源形式验证工具，大大降低了形式化验证工具的使用门槛，对于这一方法学的普及起到至关重要的作用。
——清华大学汪玉教授
”形式验证能够帮助我们早期发现问题，更因为是使用数学方法进行穷举，是现今已知最完备的验证方法。很高兴看到芯华章团队能秉持初心，持续以更加开放、共创、共荣的态度拥抱行业、赋能技术创新。
——上海交通大学电子信息与电气工程学院
副教授 李海华
”“灵验”的分布式计算和并行计算能力十分令人惊喜，在实际使用上能有效加速验证收敛，缩短项目周期。
——西南交通大学信息学院电子工程系
邸志雄副系主任
”请访问www.edagit.com获取产品安装包及使用手册和数据（或点击『阅读原文』进行下载），也欢迎将你对“灵验 EpicFV”的想法、问题和建议在EDAGit技术社区和我们分享，或将你的想法完整描述发到support@edagit.com，我们将会有专门的技术人员进行集中回复。
源代码将在11/4于GitHub和Gitee发布。
如果您有任何想法或疑问，欢迎留言告知我们，点击即可进入留言区。
相 关 阅 读
『点击 阅读原文，即可下载』