新聞中心

EEPW首頁 > 模擬技術 > 設計應用 > ModelSim功能及使用入門

ModelSim功能及使用入門

作者: 時間:2012-03-26 來源:網絡 收藏
模塊的信號,便于設計調試;

  *支持加密IP;

  *集成的 C調試器,支持 用C 語言完成測試平臺和模塊;支持64位的OS;

ModelSim功能及使用入門

  設計流程:

  

ModelSim功能及使用入門

   Coverage驗證:

  

ModelSim功能及使用入門
ModelSim功能及使用入門

  QuestaSim是第一個基于標準的單核驗證引擎,集成了一個HDL模擬器,一個約束求解器,一個判斷引擎,覆蓋,以及一個通用的用戶界面。

  主要特點:

  *內建單內核仿真器支持SystemVerilog、Verilog、VHDL、PSL以及SystemC。

  *內建約束解釋器支持Constrained-Random激勵生成,以實現Testbench-Automation;

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

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

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

  *支持用SystemVerilog和SystemC實現高層次Testbench設計與調試



關鍵詞: ModelSim 功能

評論


相關推薦

技術專區(qū)

關閉