（3）工具缺乏创新：现有主流工具历经过去一二十年的发展 ， 积累了陈旧的技术包袱 ， 这些技术包括使得工具很难和AI云原生这些先进技术进行融合 。 更重要的是 ， 这些工具组合形成的平台 ， 没有从架构之初就进行全盘考虑 ， 因此也难以融合 ， 并且提供相互兼容的解决方案 。
综上 ， EDA技术必须全面进阶 ， 在底层框架上进行创新 ， 支持多种处理器架构 ， 支持云、AI等技术 ， 并从方法学上有所创新 。
二、智V验证平台：包含三大基座、五大产品系列
王礼宾说 ， 芯华章以当前行业需求为出发点 ， 以人工智能、云计算为基础 ， 以融合化的验证系统为总体框架 ， 对经典EDA软硬件架构以及算法做创新融合重构 ， 以形成更全面、更高效、更易用的新一代验证系统 。
他宣布推出智V验证平台 ， 平台由智能编译、智能调试以及智能验证座舱等三大基座 ， 以及逻辑仿真、形式验证、智能验证、FPGA原型验证系统、硬件仿真系统等五大产品系列构成 。

文章插图

智V验证平台（FusionVerify Platform)具备统一的调试系统、编译系统、智能分割技术、丰富的场景激励源、统一的云原生软件架构 。
该平台能融合不同的工具技术 ， 对各类设计与不同的场景需求 ， 提供定制化的全面验证解决方案 ， 解决当前产业面临的点工具各自为政的兼容性挑战 ， 以及数据碎片化导致的验证效率挑战 ， 能有效提高验证效率与方案的易用性 ， 并带来点工具无法提供的验证效益 。

文章插图

三、4款验证EDA工具：大幅提升芯片验证效率
芯华章从0到1打造了4款自主知识产权验证EDA工具 。 王礼宾说：“这组王炸是一个开始 ， 希望可以让我们的芯片产业实现王炸在手 ， 验证自由 。 ”

文章插图

1、桦捷：高性能FPGA原型验证系统
桦捷（HuaPro P1）基于FPGA硬件和拥有自主知识产权的全流程软件 ， 可帮助SoC/ASIC芯片客户实现设计原型的自动综合、分割、优化、布线和调试 。

文章插图

该系统具有一键式原型实现、高性能接口、多种深度调试能力、丰富开放的生态等特点 ， 支持多种波形数据标准 ， 方便与第三方工具集成 。

文章插图

它能够自动化实现智能设计流程 ， 有效减少用户人工投入、缩短芯片验证周期 ， 为系统验证和软件开发提供大容量、高性能、自动实现、可调试、高可用的新一代智能硅前验证系统 。
2、穹鼎：国内率先提出多构架支持的数字仿真器
穹鼎（GalaxSim-1.0）是服务于芯华章验证生态系统的重要技术 ， 使用新的软件构架提供多平台支持 ， 支持不同的处理器计算平台 ， 如X86、Arm等 ， 并已在多个基于Arm平台的国产构架上测试通过 ， 方便将产品部署在不同CPU构架的服务器上 。

文章插图

穹鼎可结合穹景GalaxPSS智能验证系统的通用调试器和通用覆盖率数据库 ， 穹鼎仿真器能够高效地配合其他验证工具 ， 提供统一的数据接口 。
它支持IEEE1800 SystemVerilog语法、IEEE1364 Verilog语法 ， 以及IEEE1800.2 UVM方法学 ， 在语义解析、仿真行为、时序模型上 ， 已达到主流商业仿真器水平 。

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