“利用芯华章仿真工具GalaxSim ， 我们在两周内就将设计调通 。 ”中科院半导体所副研究员陈刚说 ， “和其他商用仿真器对比结果显示 ， 芯华章GalaxSim对RTL行为仿真行为正确 ， 在性能上很多场景和其他商用工具已经基本一致 。 ”
3、穹景：新一代智能验证系统
穹景（GalaxPSS）基于Accellera PSS标准和高级验证方法学的融合 ， 针对目前和将来复杂验证场景 ， 自动生成场景 ， 降低对工程师手工编写场景的经验依赖 ， 为芯片产生更多高效的测试场景和测试激励 ， 提高验证的场景覆盖率和完备性 。
PSS生成的代码具备可移植性 ， 可以确保适用在软件仿真、硬件仿真、FPGA原型验证 ， 甚至系统验证上 ， 提供从单一平台验证到多平台交互验证 。

文章插图

“芯华章PSS工具能够快速地构建复杂场景 ， 满足SoC高覆盖率的需求 。 ”芯来CEO彭剑英评价道 ， “特别是在我们的CPU验证 ， Cache一致性的高复杂场景下 。 ”
4、穹瀚：国内EDA领域率先基于字级建模的可扩展形式化验证工具
穹瀚（GalaxFV）采用高性能字级建模（Word-Level Modeling）方法构建 ， 具备高性能表现、高度可扩展性、友好的拓展接口 ， 在模型上已达到国际先进水平 。

文章插图

形式化验证存在性能瓶颈和易用性问题 。 对此 ， 穹瀚搭载了高并发高性能求解器、智能调度算法引擎以及专用断言库 ， 可在充分利用算力 ， 提高并行效率的同时 ， 有效提高易用性和使用效率 ， 为形式化验证应用于产业降低了门槛 。
天数智芯形式验证专家周孝斌认为 ， 芯华章穹瀚GalaxFV采用数学方法来求解验证难题 ， 是对仿真技术的有力补充 ， 先进的建模方法与调度算法 。 “在我们的rtllib模块性能实测中 ， 性能表现优秀 ， 对工程应用有很高的价值 。 ”
据芯华章专家介绍 ， 在国内某公司GPGPU设计的实测中 ， 完全同等条件下 ， 相比某国际主流形式化验证工具 ， 穹瀚GalaxFV证明时间缩短超30% 。

文章插图

结语：国产EDA行业正迎来发展机遇
2021年3月公布的《中华人民共和国国民经济和社会发展第十四个五年规划和2035年远景目标纲要》中 ， 集成电路设计工具被列入科技前沿领域攻关专栏 。
工业软件对于推动制造业转型升级有重要的战略意义 ， 作为典型的研发设计类工业软件以及芯片半导体产业链上游的重要支柱 ， EDA的发展已是国内芯片产业的关键任务 ， 国产EDA行业正迎来发展机遇 。
今日芯华章推出的一系列验证EDA工具 ， 为国产芯片设计研发工作提供了更多选择 。 我们也期待看到更多本土EDA企业打造出解决芯片设计痛点的先进软件工具 ， 进一步降低芯片设计门槛 ， 推动芯片研发更加普惠 。

• 餐桌的“8不选”，看完这篇避雷攻略，就不会再被无良商家坑了！
• 比亚迪秦Pro地库“爆炸”，混动车也不安全了
• 年薪百万也一岗难求的TA 整个“元宇宙”产业链都需要
• 元宇宙泡沫悬浮二级市场，热潮后是否会跌入“绝望之谷”
• “百醇自由”背后，年轻人不爱网红爱工厂？
• 如何为正能量找到“流量密码”？媒体得“会玩”！
• 怎么做下颈部的“十字操”？
• 独家 | 宝能债权人面见姚振华 要求“二姚不分家”
• 老牌国货蜂花”穷”出圈，成网友“新”扶贫对象
• 拉夏贝尔被申请破产清算，“中国版Zara”恐凉凉