ModelSim功能及使用入門
加入技術(shù)交流群
*支持加密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)試
評論