ModelSim功能及使用入門
*支持加密IP;
*集成的 C調(diào)試器,支持 用C 語言完成測試平臺和模塊;支持64位的OS;
ModelSim設(shè)計流程:
ModelSim Coverage驗證:
QuestaSim是第一個基于標(biāo)準(zhǔn)的單核驗證引擎,集成了一個HDL模擬器,一個約束求解器,一個判斷引擎,功能覆蓋,以及一個通用的用戶界面。
主要特點:
*內(nèi)建單內(nèi)核仿真器支持SystemVerilog、Verilog、VHDL、PSL以及SystemC。
*內(nèi)建約束解釋器支持Constrained-Random激勵生成,以實現(xiàn)Testbench-Automation;
*支持基于PSL,SystemVerilog語言斷言的功能驗證,支持業(yè)界最著名的0-In Checkware 斷言庫功能驗證
*集成化支持功能覆蓋率檢查與分析
*高性能的RTL和Gate-Level仿真速度
*支持用SystemVerilog和SystemC實現(xiàn)高層次Testbench設(shè)計與調(diào)試
評論