芯华章“王炸”出手 实现国产EDA多个突破

 国产EDA迎来又一重要时刻！
2021年11月24日，芯华章正式向业界发布了4款极具技术门槛的验证EDA产品，以及统一底层构架的智V验证平台，包括了数字仿真穹鼎GalaxSim、形式验证穹瀚GalaxFV、智能验证穹景GalaxPSS以及原型验证桦捷HuaPro-P1。这组产品被芯华章称为EDA验证工具的“王炸组合”，对于产业来说，无疑是在近三年诸多机遇与挑战中，共同迈出了坚实的一步。
新产品发布时，除介绍新产品的产品性能、亮点及研发背景外，芯华章也结合具体的应用场景，进行了新产品的实际使用演示，全方位展示新产品的使用过程和验证效果，收获参会业界专家及产业合作伙伴们的高度认同。
芯华章董事长兼CEO王礼宾表示，这些产品是芯华章300名员工攻坚克难、精诚合作，通过自主研发，取得的突破性成果。他同时也感谢华为海思、中兴微电子、紫光展锐、天数智芯等一批国内优秀企业的合作支持。良好的产业合作生态，使芯华章的首批产品得以顺利问世。
芯华章是在2020年3月份成立的，至今不到两年的时间里，芯华章聚焦数字验证这一影响芯片成败的关键领域，吸引了来自全球各地近300位高端人才加入，全心全意投入为产业补短板。成立以来，芯华章致力解决产业痛点，凭借团队多年技术积累，在巨人肩膀上进行创新、重构，探索与融合前沿技术去打造更加适应产业需求的全新产品。此次推出如此多商用级重磅产品，堪称书写了一项新的业界记录，也是芯华章对产业需求的一次有力回应。
本次发布的智V验证平台（FusionVerify Platform），包括了逻辑仿真、形式验证、智能验证、FPGA原型验证系统和硬件仿真系统在内的五大产品系列，和智能编译、智能调试以及智能验证座舱等三大基座，对各类设计在不同场景的需求，都可以提供定制化的全面验证解决方案，带给产业更灵活、更丰富的解决方案。
同期发布的高性能FPGA原型验证系统桦捷（HuaPro-P1）、国内领先的数字仿真器穹鼎 (GalaxSim-1.0)、新一代智能验证系统穹景（GalaxPSS）、新一代智能验证系统穹景（GalaxPSS）就属于这个平台。这些产品都已达到对应领域的主流商业水平，甚至在部分性能指标上已达到国际先进水平。
中科院半导体所副研究员陈刚就表示，“利用芯华章仿真工具GalaxSim，我们在两周内就将设计调通。和其他商用仿真器对比结果显示，芯华章GalaxSim对RTL行为仿真行为正确”；天数智芯形式验证专家周孝斌也提到，“芯华章穹瀚GalaxFV采用数学方法来求解验证难题，是对仿真技术的有力补充，先进的建模方法与调度算法，在我们的rtllib模块性能实测中，性能表现优秀，对工程应用有很高的价值。”
而智V验证平台的特性可以归结为：统一的调试系统、统一的编译系统、统一的智能分割（Partition）技术、丰富的场景激励源、统一的云原生软件架构、为不同用户提供定制化的验证解决方案（Verification Solutions）。
T.C. Lin指出了智V验证平台的三大优势：第一，可以让各种工具更容易使用；第二，大幅提升工具的使用效率；第三，产生新的使用模式和解决方案。
业界普遍认为，将调试、编译、智能分割和云原生等功能进行统一，并具备统一的数据库是非常大的创新。
“我们设计这个平台基于五部分组成的基础架构，所有不同的点工具，从RTL进来后，都会经过同样的Parser，然后产生一个共通可用的设计数据库。”T.C. Lin说。
他特别强调智V验证平台的综合技术，“这个RTL综合是专门为验证而设计，具备了非常快速的综合能力，可以支持超大型的设计，可以支持有效的debug，这些都是在验证上面非常重要的因素。”智V验证平台支持新的使用模式，如“硬件仿真系统和逻辑仿真的互动模式”，这些限于以往工具的数据碎片化和API接口互不开放而不能实现。
“智V验证平台的设计从第一天就注意到这些问题”，T.C. Lin表示，“不管是SA（simulation acceleration，仿真加速）或TBA（Transaction based acceleration，事务级验证加速），我们会透过统一数据库，透过底层引擎之间的资源互通来达到更高的效率。”
芯华章还非常重视云技术的应用，“基于FusionVerify Platform这个平台，我们把验证工具放上云，通过平台及云原生的技术，我们可以统一云资源的调度界面和使用，这样整体可以达到较高的资源利用及资源调动的灵活性。”T.C. Lin说。
他总结道，“FusionVerify Platform平台的基于统一的技术底座，让工具更容易使用，让效率更高，并且不同的工具可以通过互动来产生新的功能。”