EpicFV 面向 Verilog 的形式化验证工具开源项目

我要开发同款
匿名用户2021年02月01日
47阅读
开发技术C/C++
所属分类其他开源
授权协议LGPL

作品详情

EpicFV 是面向 Verilog 的形式化验证工具,目前支持在 Linux 系统上运行。

Features

业界首款开源形式验证工具分布式计算/并行计算加速验证收敛自动调度引擎,降低形式验证工具使用门槛在易用性、实用性、稳定性上提供专业技术支持

随着芯片设计行业的高速发展,行业对芯片验证提出了更高的要求。动态仿真,形式验证,原型设计,硬件加速是常见的几大功能验证的手段。

其中,形式验证有着以下三种优势:

形式验证是穷尽的,完备的;形式验证不需要任何复杂测试激励环境的搭建,只需要写约束和测试点即可;形式验证对设计收敛的效率是传统仿真的倍数级;形式验证适合于设计人员在早期对于自己的模块进行功能验证。

但是,形式验证需要使用断言(SystemVerilogAssertion),工程师必须熟悉语法,并且对工具内部的引擎有一定熟悉度,这对使用门槛和开发技术的成熟度提出了较高的要求,导致无论是高校还是设计公司,虽然都希望能借形式验证工具来大大加速验证的收敛,却因缺乏经验而止步。

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

声明:本文仅代表作者观点,不代表本站立场。如果侵犯到您的合法权益,请联系我们删除侵权资源!如果遇到资源链接失效,请您通过评论或工单的方式通知管理员。未经允许,不得转载,本站所有资源文章禁止商业使用运营!
下载安装【程序员客栈】APP
实时对接需求、及时收发消息、丰富的开放项目需求、随时随地查看项目状态

评论