ModelSim功能及使用入門

　　*支持加密IP;

　　*集成的 C調(diào)試器，支持 用C 語言完成測(cè)試平臺(tái)和模塊;支持64位的OS;

　　ModelSim設(shè)計(jì)流程：

　　ModelSim Coverage驗(yàn)證：

　　QuestaSim是第一個(gè)基于標(biāo)準(zhǔn)的單核驗(yàn)證引擎，集成了一個(gè)HDL模擬器，一個(gè)約束求解器，一個(gè)判斷引擎，功能覆蓋，以及一個(gè)通用的用戶界面。

　　主要特點(diǎn)：

　　*內(nèi)建單內(nèi)核仿真器支持SystemVerilog、Verilog、VHDL、PSL以及SystemC。

　　*內(nèi)建約束解釋器支持Constrained-Random激勵(lì)生成，以實(shí)現(xiàn)Testbench-Automation;

　　*支持基于PSL，SystemVerilog語言斷言的功能驗(yàn)證，支持業(yè)界最著名的0-In Checkware 斷言庫功能驗(yàn)證

　　*集成化支持功能覆蓋率檢查與分析

　　*高性能的RTL和Gate-Level仿真速度

　　*支持用SystemVerilog和SystemC實(shí)現(xiàn)高層次Testbench設(shè)計(jì)與調(diào)試