EpicFV开源形式验证工具 v1.0

开源验证工具

  • 源码大小:14.3MB
  • 源码语言:简体中文
  • 源码类型:国产软件
  • 源码授权:开源软件
  • 更新时间:2021-07-21 16:39:39
  • 源码类别:C#源码
  • 源码官网:
  • 网友评分:源码评分
  • 应用平台:C++
14.3MB
360通过 腾讯通过 金山通过
内容介绍热点排行相关文章下载地址↓

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

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

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

1、形式验证是穷尽的,完备的;

2、形式验证不需要任何复杂测试激励环境的搭建,只需要写约束和测试点即可;

3、形式验证对设计收敛的效率是传统仿真的倍数级;

4、形式验证适合于设计人员在早期对于自己的模块进行功能验证。

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

EpicFV特点:

1、业界首款开源形式验证工具

2、分布式计算/并行计算加速验证收敛

3、自动调度引擎,降低形式验证工具使用门槛

4、在易用性、实用性、稳定性上提供专业技术支持

人气源码
下载地址
相关文章
网友评论
下载声明

☉ 解压密码:www.jb51.net 就是本站主域名,希望大家看清楚,[ 分享码的获取方法 ]可以参考这篇文章
☉ 推荐使用 [ 迅雷 ] 下载,使用 [ WinRAR v5 ] 以上版本解压本站软件。
☉ 如果这个软件总是不能下载的请在评论中留言,我们会尽快修复,谢谢!
☉ 下载本站资源,如果服务器暂不能下载请过一段时间重试!或者多试试几个下载地址
☉ 如果遇到什么问题,请评论留言,我们定会解决问题,谢谢大家支持!
☉ 本站提供的一些商业软件是供学习研究之用,如用于商业用途,请购买正版。
☉ 本站提供的EpicFV开源形式验证工具 v1.0资源来源互联网,版权归该下载资源的合法拥有者所有。