当前位置：

EpicFV开源形式验证工具

EpicFV作为全球首款开源形式验证工具，“灵验”在用户输入RTL设计和SystemVerilog断言描述设计规范的情况下，可以自动进行语法解析、设计综合、断言解析，并且基于分布式计算理论自动调度引擎求解断言，加速验证收敛，从而降低形式验证工具的使用门槛。随着芯片设计行业的高速发展，行业对芯片验证

大小：
30.94MB
演示网站：
暂无
当前版本：
暂无
日期：
2024-11-15 04:55:00
相关链接：
Home Page
所属分类：
应用工具、 C++ 、
软件评级：
下载人气：
261

免费下载

源码详情

源码属性

授权	开源
大小	30.94MB
语言	C++

EpicFV作为全球首款开源形式验证工具，“灵验”在用户输入RTL设计和SystemVerilog断言描述设计规范的情况下，可以自动进行语法解析、设计综合、断言解析，并且基于分布式计算理论自动调度引擎求解断言，加速验证收敛，从而降低形式验证工具的使用门槛。
随着芯片设计行业的高速发展，行业对芯片验证提出了更高的要求。动态仿真，形式验证，原型设计，硬件加速是常见的几大功能验证的手段。
其中，形式验证有着以下三种优势：1、形式验证是穷尽的，完备的；2、形式验证不需要任何复杂测试激励环境的搭建，只需要写约束和测试点即可；3、形式验证对设计收敛的效率是传统仿真的倍数级；4、形式验证适合于设计人员在早期对于自己的模块进行功能验证。
但是，形式验证需要使用断言（SystemVerilog Assertion），工程师必须熟悉语法，并且对工具内部的引擎有一定熟悉度，这对使用门槛和开发技术的成熟度提出了较高的要求，导致无论是高校还是设计公司，虽然都希望能借形式验证工具来大大加速验证的收敛，却因缺乏经验而止步。
EpicFV特点：1、业界首款开源形式验证工具2、分布式计算/并行计算加速验证收敛3、自动调度引擎，降低形式验证工具使用门槛4、在易用性、实用性、稳定性上提供专业技术支持

EpicFV开源形式验证工具下载地址 已被下载261次

本资源由用户投稿上传，内容来自互联网，本站只做免费推荐用于学习分享，如有版权及其他问题，请联系本站编辑处理
重要：如软件存在付费、会员、充值等，均属软件开发者或所属公司行为，与本站无关，网友需自行判断