QuestaSim

除了庞大的设计规模以及纳入了多个嵌入式处理器和先进互连系统之外，软件场景的增长以及多平台设计所需的可配置性，致使需要一种功能验证解决方案来统一众多的验证功能。因此，通过收集覆盖率指标来制定验证计划非常重要，这些指标能够在整个验证过程中跟踪计划的进度。这种智能验证计划使工程师能够有效分配和管理资源，并随着项目进展识别趋势。

QuestaSim 仿真器通过强有力的优化算法，对 SystemVerilog、VHDL 和 SystemC 进行全局编译和仿真优化，实现了业界领先的性能和容量。利用独特的预优化和复用功能，QuestaSim 支持极快的周转速度和有效的库管理，同时保持高性能，因而能够在运行大量测试时提高回归效率。Questa Visualizer 调试环境提供高性能、高容量的调试，因而能够在运行大量测试时显著提高回归效率。

QuestaSim 的优势

• 业界领先的高性能多语言仿真器
• 高性能、高容量统一调试
• LRM 兼容的参考仿真器
• UVM、SystemVerilog、VHDL、SystemC、
  和混合语言支持
• 本地编译的单核仿真器技术
• 新一代 Visualizer 调试环境
• 代码覆盖率和功能覆盖率
• SVA 和 PSL 断言
• 智能覆盖率收敛
• 集成的验证管理
  和分析
• 先进优化模式下的仿真
• 一流的功耗分析验证技术
• 热点分析
• C 代码调试
• X 态传播动态仿真
• 实数建模 (RNM)
• 通用覆盖率数据库和流程
• 对 64 位 Linux 和 Windows 的支持