电子发烧友App
创作
发文章
发帖 
提问 
发资料
发视频资料介绍
软件简介
EpicFV 是面向 Verilog 的形式化验证工具，目前支持在 Linux 系统上运行。
Features
- 业界首款开源形式验证工具
- 分布式计算/并行计算加速验证收敛
- 自动调度引擎，降低形式验证工具使用门槛
- 在易用性、实用性、稳定性上提供专业技术支持
随着芯片设计行业的高速发展，行业对芯片验证提出了更高的要求。动态仿真，形式验证，原型设计，硬件加速是常见的几大功能验证的手段。
其中，形式验证有着以下三种优势：
- 形式验证是穷尽的，完备的；
- 形式验证不需要任何复杂测试激励环境的搭建，只需要写约束和测试点即可；
- 形式验证对设计收敛的效率是传统仿真的倍数级；
- 形式验证适合于设计人员在早期对于自己的模块进行功能验证。
但是，形式验证需要使用断言（SystemVerilog Assertion），工程师必须熟悉语法，并且对工具内部的引擎有一定熟悉度，这对使用门槛和开发技术的成熟度提出了较高的要求，导致无论是高校还是设计公司，虽然都希望能借形式验证工具来大大加速验证的收敛，却因缺乏经验而止步。
作为全球首款开源形式验证工具，“灵验”在用户输入RTL设计和SystemVerilog断言描述设计规范的情况下，可以自动进行语法解析、设计综合、断言解析，并且基于分布式计算理论自动调度引擎求解断言，加速验证收敛，从而降低形式验证工具的使用门槛。
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- 无人机无线通信协议的形式化认证综述 9次下载
- 软件的顺序语句块自动化规约与验证研究 5次下载
- 基于定理证明其的有限域及其形式化研究 1次下载
- 基于定理证明的内存安全验证工具算法综述 5次下载
- 16位CRC验证码生成VI工具下载 54次下载
- 软件形式化开发的水波优化方法 0次下载
- Web服务系统的形式化的语义模型 0次下载
- 操作系统汇编级形式化设计和验证方法 1次下载
- 基于Petri网的安全协议形式化描述和安全性验证 18次下载
- 基于Spin的Rdt2.2及其改进的形式化分析
- 先进的形式化验证 0次下载
- 先进的形式化验证 0次下载
- 形式化方法和测试技术及其在安全中的应用
- 密码协议形式化分析的计算合理性
- 可视化的安全策略形式化描述与验证系统
- 形式化验证最佳实践之三：实现端到端属性 377次阅读
- Verilog HDL的历史 FPGA硬件描述语言设计流程 1157次阅读
- 利用先进形式验证工具来高效完成RISC-V处理器验证 448次阅读
- IC验证的主要工作流程和验证工具是什么？ 1462次阅读
- 形式验证入门之基本概念和流程 1835次阅读
- 芯片开发中形式化验证的是一个误区 1753次阅读
- 形式验证工具对系统功能的设计 1317次阅读
- verilog仿真工具编译 7797次阅读
- 利用APB_I2C模块搭建层次化验证平台 2622次阅读
- 了解一下当前的验证计划核心vManage平台 1087次阅读
- 基于Verilog语言设计的信道纠错编解码算法实现模块 1550次阅读
- STM32与华为LiteOS如何共同打造物联网的未来 4320次阅读
- verilog是什么_verilog的用途和特征是什么 4.4w次阅读
- ACRN之InterruptWindow功能正确性形式化验证 1.2w次阅读
- 基于System Verilog的可重用验证平台设计及验证结果分析 2559次阅读
上传资料赚积分下载排行
本周
- 1山景DSP芯片AP8248A2数据手册
- 1.06 MB | 532次下载 | 免费
- 2RK3399完整板原理图（支持平板，盒子VR）
- 3.28 MB | 339次下载 | 免费
- 3TC358743XBG评估板参考手册
- 1.36 MB | 330次下载 | 免费
- 4DFM软件使用教程
- 0.84 MB | 295次下载 | 免费
- 5元宇宙深度解析—未来的未来-风口还是泡沫
- 6.40 MB | 227次下载 | 免费
- 6迪文DGUS开发指南
- 31.67 MB | 194次下载 | 免费
- 7元宇宙底层硬件系列报告
- 13.42 MB | 182次下载 | 免费
- 8FP5207XR-G1中文应用手册
- 1.09 MB | 178次下载 | 免费
本月
- 1OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234315次下载 | 免费
- 2555集成电路应用800例(新编版)
- 0.00 MB | 33566次下载 | 免费
- 3接口电路图大全
- 未知 | 30323次下载 | 免费
- 4开关电源设计实例指南
- 未知 | 21549次下载 | 免费
- 5电气工程师手册免费下载(新编第二版pdf电子书)
- 0.00 MB | 15349次下载 | 免费
- 6数字电路基础pdf(下载)
- 未知 | 13750次下载 | 免费
- 7电子制作实例集锦 下载
- 未知 | 8113次下载 | 免费
- 8《LED驱动电路设计》 温德尔著
- 0.00 MB | 6656次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935054次下载 | 免费
- 2protel99se软件下载(可英文版转中文版)
- 78.1 MB | 537798次下载 | 免费
- 3MATLAB 7.1 下载 (含软件介绍)
- 未知 | 420027次下载 | 免费
- 4OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234315次下载 | 免费
- 5Altium DXP2002下载入口
- 未知 | 233046次下载 | 免费
- 6电路仿真软件multisim 10.0免费下载
- 340992 | 191187次下载 | 免费
- 7十天学会AVR单片机与C语言视频教程 下载
- 158M | 183279次下载 | 免费
- 8proe5.0野火版下载(中文版免费下载)
- 未知 | 138040次下载 | 免费
工商网监
评论