- A+
Mentor Graphics Modelsim SE是一款專業(yè)的HDL語言仿真軟件,它能提供友好的仿真環(huán)境,是業(yè)界唯一的單內(nèi)核支持VHDL和Verilog混合仿真的仿真器。它采用直接優(yōu)化的編譯技術(shù)、Tcl/Tk技術(shù)、和單一內(nèi)核仿真技術(shù),編譯仿真速度快,編譯的代碼與平臺無關(guān),便于保護IP核,個性化的圖形界面和用戶接口,為用戶加快調(diào)錯提供強有力的手段,是FPGA/ASIC設(shè)計的首選仿真軟件。
軟件介紹:
Mentor Graphics ModelSim SE 是業(yè)界最優(yōu)秀的HDL語言仿真器,它提供最友好的調(diào)試環(huán)境,是唯一的單內(nèi)核支持VHDL和Verilog混合仿真的仿真器。是作FPGA/ASIC設(shè)計的RTL級和門級電路仿真的首選,它采用直接優(yōu)化的編譯技術(shù)、Tcl/Tk技術(shù)、和單一內(nèi)核仿真技術(shù),編譯仿真速度快,編譯的代碼與平臺無關(guān),便于保護IP核,個性化的圖形界面和用戶接口,為用戶加快調(diào)錯提供強有力的手段。全面支持VHDL和Verilog語言的IEEE 標(biāo)準(zhǔn),支持C/C++功能調(diào)用和調(diào)試.
功能特色:
1、統(tǒng)一的混合語言模擬引擎,易于使用和性能
2、Verilog的原生支持,用于設(shè)計的SystemVerilog,VHDL和SystemC,用于有效驗證復(fù)雜的設(shè)計環(huán)境
3、快速調(diào)試,易于使用,多語言調(diào)試環(huán)境
4、高級代碼覆蓋和分析工具,可實現(xiàn)快速覆蓋范圍
5、交互式和后期模擬調(diào)試可用,因此兩者都使用相同的調(diào)試環(huán)境
6、強大的波形比較,便于分析差異和錯誤
7、統(tǒng)一覆蓋數(shù)據(jù)庫,具有完整的交互式和HTML報告和處理功能,可以在整個項目中理解和調(diào)試覆蓋范
8、與HDL Designer和HDL Author相結(jié)合,可實現(xiàn)完整的設(shè)計創(chuàng)建,項目管理和可視化功能
功能介紹:
1、高級代碼覆蓋率
ModelSim的高級代碼覆蓋功能和易用性降低了利用這一寶貴驗證資源的障礙。
ModelSim高級代碼覆蓋功能為系統(tǒng)驗證提供了有價值的指標(biāo)。 所有覆蓋信息都存儲在統(tǒng)一覆蓋數(shù)據(jù)庫(UCDB)中,該數(shù)據(jù)庫用于收集和管理高效數(shù)據(jù)庫中的所有覆蓋信息。 可以使用分析代碼覆蓋率數(shù)據(jù)的覆蓋率實用程序,例如合并和測試排名。 覆蓋結(jié)果可以交互式查看,模擬后或多次模擬運行合并后查看。 代碼覆蓋度量可以按實例或設(shè)計單位報告,從而提供管理覆蓋數(shù)據(jù)的靈活性。
支持的覆蓋類型包括:
聲明報道
運行期間執(zhí)行的語句數(shù)
分行報道
影響HDL執(zhí)行控制流的表達式和case語句
條件覆蓋
將分支上的條件分解為使結(jié)果為true或false的元素
表達范圍
與條件覆蓋相同,但涵蓋并發(fā)信號分配而不是分支決策
重點關(guān)注表達
以確定覆蓋結(jié)果的表達式的每個獨立輸入的方式呈現(xiàn)表達覆蓋率數(shù)據(jù)
增強的切換覆蓋范圍
在默認模式下,計數(shù)從低到高和從高到低的轉(zhuǎn)換;在擴展模式下,計算與X的轉(zhuǎn)換
有限狀態(tài)機覆蓋
州和州的過渡覆蓋范圍
2、混合HDL仿真
ModelSim將仿真性能和容量與模擬多個模塊和系統(tǒng)以及實現(xiàn)ASIC門級別簽核所需的代碼覆蓋和調(diào)試功能相結(jié)合。 全面支持Verilog,SystemVerilog for Design,VHDL和SystemC為單語言和多語言設(shè)計驗證環(huán)境提供了堅實的基礎(chǔ)。 ModelSim易于使用且統(tǒng)一的調(diào)試和仿真環(huán)境為當(dāng)今的FPGA設(shè)計人員提供了他們不斷增長的高級功能以及使他們的工作高效的環(huán)境。
3、有效的調(diào)試環(huán)境
ModelSim調(diào)試環(huán)境為Verilog,VHDL和SystemC提供了廣泛的直觀功能,使其成為ASIC和FPGA設(shè)計的首選。
ModelSim通過智能設(shè)計的調(diào)試環(huán)境簡化了發(fā)現(xiàn)設(shè)計缺陷的過程。 ModelSim調(diào)試環(huán)境有效地顯示設(shè)計數(shù)據(jù),以便分析和調(diào)試所有語言。
ModelSim允許在保存結(jié)果的仿真后以及實時仿真運行期間使用許多調(diào)試和分析功能。例如,coverage查看器使用代碼覆蓋率結(jié)果分析和注釋源代碼,包括FSM狀態(tài)和轉(zhuǎn)換,語句,表達式,分支和切換覆蓋率。
信號值可以在源窗口中注釋并在波形查看器中查看,從而簡化了對象及其聲明之間以及訪問文件之間的超鏈接導(dǎo)航的調(diào)試導(dǎo)航。
可以在列表和波形窗口中分析競爭條件,增量和事件活動??梢暂p松定義用戶定義的枚舉值,以便更快地了解模擬結(jié)果。為了提高調(diào)試效率,ModelSim還具有圖形和文本數(shù)據(jù)流功能。
ModelSim與Mentor的旗艦?zāi)M器Questa?共享一個共同的前端和用戶界面。這使客戶可以輕松升級到Questa,因為他們需要更高的性能并支持高級驗證功能。
安裝指南
安裝激活請查看文件夾的自述文件中。激活器在虛擬機中不起作用。
在命令提示符環(huán)境中使用lmutil lmdiag命令,可以看到許可證狀態(tài)的許可證性能。在Windows 10 64位上安裝并成功激活了10.7版;也可以使用相同的破解激活版本2019.2