电子产品世界

　　*支持加密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设计与调试

1 2 3