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