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设计与调试
评论