代码拉取完成,页面将自动刷新
同步操作将从 芯华章科技股份有限公司/EpicFV 强制同步,此操作会覆盖自 Fork 仓库以来所做的任何修改,且无法恢复!!!
确定后同步将在后台操作,完成时将刷新页面,请耐心等待。
随着芯片设计行业的高速发展,行业对芯片验证提出了更高的要求。动态仿真,形式验证,原型设计,硬件加速是常见的几大功能验证的手段。
其中,形式验证有着以下三种优势:
但是,形式验证需要使用断言(SystemVerilog Assertion),工程师必须熟悉语法,并且对工具内部的引擎有一定熟悉度,这对使用门槛和开发技术的成熟度提出了较高的要求,导致无论是高校还是设计公司,虽然都希望能借形式验证工具来大大加速验证的收敛,却因缺乏经验而止步。
作为全球首款开源形式验证工具,“灵验”在用户输入RTL设计和SystemVerilog断言描述设计规范的情况下,可以自动进行语法解析、设计综合、断言解析,并且基于分布式计算理论自动调度引擎求解断言,加速验证收敛,从而降低形式验证工具的使用门槛。
■ 业界首款开源形式验证工具
■ 分布式计算/并行计算加速验证收敛
■ 自动调度引擎,降低形式验证工具使用门槛
■ 在易用性、实用性、稳定性上提供专业技术支持
此处可能存在不合适展示的内容,页面不予展示。您可通过相关编辑功能自查并修改。
如您确认内容无涉及 不当用语 / 纯广告导流 / 暴力 / 低俗色情 / 侵权 / 盗版 / 虚假 / 无价值内容或违法国家有关法律法规的内容,可点击提交进行申诉,我们将尽快为您处理。