電子發燒友App
創作
發文章
發帖 
提問 
發資料
發視頻資料介紹
軟件簡介
EpicFV?是面向?Verilog?的形式化驗證工具，目前支持在?Linux?系統上運行。
Features
- 業界首款開源形式驗證工具
- 分布式計算/并行計算加速驗證收斂
- 自動調度引擎，降低形式驗證工具使用門檻
- 在易用性、實用性、穩定性上提供專業技術支持
隨著芯片設計行業的高速發展，行業對芯片驗證提出了更高的要求。動態仿真，形式驗證，原型設計，硬件加速是常見的幾大功能驗證的手段。
其中，形式驗證有著以下三種優勢：
- 形式驗證是窮盡的，完備的；
- 形式驗證不需要任何復雜測試激勵環境的搭建，只需要寫約束和測試點即可；
- 形式驗證對設計收斂的效率是傳統仿真的倍數級；
- 形式驗證適合于設計人員在早期對于自己的模塊進行功能驗證。
但是，形式驗證需要使用斷言（SystemVerilog Assertion），工程師必須熟悉語法，并且對工具內部的引擎有一定熟悉度，這對使用門檻和開發技術的成熟度提出了較高的要求，導致無論是高校還是設計公司，雖然都希望能借形式驗證工具來大大加速驗證的收斂，卻因缺乏經驗而止步。
作為全球首款開源形式驗證工具，“靈驗”在用戶輸入RTL設計和SystemVerilog斷言描述設計規范的情況下，可以自動進行語法解析、設計綜合、斷言解析，并且基于分布式計算理論自動調度引擎求解斷言，加速驗證收斂，從而降低形式驗證工具的使用門檻。
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 無人機無線通信協議的形式化認證綜述 9次下載
- 軟件的順序語句塊自動化規約與驗證研究 5次下載
- 基于定理證明其的有限域及其形式化研究 1次下載
- 基于定理證明的內存安全驗證工具算法綜述 5次下載
- 16位CRC驗證碼生成VI工具下載 55次下載
- 軟件形式化開發的水波優化方法 0次下載
- Web服務系統的形式化的語義模型 0次下載
- 操作系統匯編級形式化設計和驗證方法 1次下載
- 基于Petri網的安全協議形式化描述和安全性驗證 18次下載
- 基于Spin的Rdt2.2及其改進的形式化分析
- 先進的形式化驗證 0次下載
- 先進的形式化驗證 0次下載
- 形式化方法和測試技術及其在安全中的應用
- 密碼協議形式化分析的計算合理性
- 可視化的安全策略形式化描述與驗證系統
- Verilog 電路仿真常見問題 Verilog 在芯片設計中的應用 350次閱讀
- Verilog 與 ASIC 設計的關系 Verilog 代碼優化技巧 218次閱讀
- Verilog 測試平臺設計方法 Verilog FPGA開發指南 357次閱讀
- 形式化驗證最佳實踐之三：實現端到端屬性 598次閱讀
- 利用先進形式驗證工具來高效完成RISC-V處理器驗證 579次閱讀
- IC驗證的主要工作流程和驗證工具是什么？ 1732次閱讀
- 形式驗證入門之基本概念和流程 2309次閱讀
- 芯片開發中形式化驗證的是一個誤區 1976次閱讀
- 形式驗證工具對系統功能的設計 1526次閱讀
- 利用APB_I2C模塊搭建層次化驗證平臺 2956次閱讀
- 了解一下當前的驗證計劃核心vManage平臺 1348次閱讀
- 基于Verilog語言設計的信道糾錯編解碼算法實現模塊 1672次閱讀
- STM32與華為LiteOS如何共同打造物聯網的未來 4691次閱讀
- ACRN之InterruptWindow功能正確性形式化驗證 1.2w次閱讀
- 基于System Verilog的可重用驗證平臺設計及驗證結果分析 2703次閱讀
上傳資料賺積分下載排行
本周
- 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次下載 | 免費
工商網監
評論