|
ModelSim是工業(yè)界最優(yōu)秀的語(yǔ)言仿真器，它提供最友好的調試環(huán)境，是作FPGA、ASIC設計的RTL級和門(mén)級電路仿真的首選。它支持PC和UNIX、LINUX平臺，是單一內核支持VHDL和Verilog混合仿真的仿真器。它采用直接優(yōu)化的編譯技術(shù)、Tcl/Tk技術(shù)、和單一內核仿真，編譯仿真速度業(yè)界最快，編譯的代碼與平臺無(wú)關(guān)，便于保護IP核，具有個(gè)性化的圖形界面和用戶(hù)接口，為用戶(hù)加快調試提供強有力的手段。全面支持VHDL和Verilog語(yǔ)言的IEEE 標準，以及IEEE VITAL 1076.4－95 標準，支持C語(yǔ)言功能調用, C的模型，基于SWIFT的SmartModel邏輯模型和硬件模型。 ModelSim支持RTL仿真，門(mén)級仿真，時(shí)序仿真： 主要特點(diǎn)：
ModelSim用戶(hù)界面： ModelSim設計流程： ModelSim coverage驗證： ModelSim Dataflow窗口： QuestaSim是第一個(gè)基于標準的單核驗證引擎，集成了一個(gè)HDL模擬器，一個(gè)約束求解器，一個(gè)判斷引擎，功能覆蓋，以及一個(gè)通用的用戶(hù)界面。 主要特點(diǎn)： 內建單內核仿真器支持SystemVerilog、verilog、VHDL、PSL以及SystemC。 內建約束解釋器支持Constrained-random激勵生成，以實(shí)現Testbench-Automation； 支持基于PSL，SystemVerilog語(yǔ)言斷言的功能驗證，支持業(yè)界最著(zhù)名的0-in Checkware 斷言庫功能驗證集成化支持功能覆蓋率檢查與分析高性能的RTL和Gate-level仿真速度 支持用SystemVerilog和SystemC實(shí)現高層次testbench設計與調試高性能集成化的混合語(yǔ)言調試環(huán)境加速對混合驗證語(yǔ)言；（SystemVerilog，SystemC，PSL，VHDL，Verilog）的交叉調試與分析基于標準的解決方案能支持所有的流程，便于保護驗證上的投資 提供最高性?xún)r(jià)比的功能驗證解決方案 Questa AFV提供真正的混合語(yǔ)言驗證 Questa AFV是以混合語(yǔ)言流程 (mixed language flow) 為目標的單核心驗證解決方案，它同時(shí)支持SystemVerilog、VHDL、PSL和SystemC，使設計人員能夠選擇最合適的語(yǔ)言。 除此之外，與SystemVerilog驗證能力的緊密連結，并將其用于受限隨機（constrainedrandom)測試平臺的產(chǎn)生以及功能覆蓋率的驗證也對VHDL使用者大有好處。 QuestaSim用戶(hù)界面與ModelSim類(lèi)似，命令也完全兼容。 QuestaSim Coverage檢查： QuestaSim DPI Use Flow： |
