Mentor Graphics QuestaSim 6.3f 验证工具QuestaSim是第一个基于标准的单核验证引擎,集成了一个HDL模拟器,一个约束求解器,一个判断引擎,功能覆盖,以及一个通用的用户界面。* {* o0 ]% R3 ^# k' L Y4 y
Mentor Graphics新产品Questa突破设计验证障碍 " p, o G8 ?/ ]支持SystemVerilog、VHDL、PSL以及SystemC * Q. j1 W2 R' I% Q3 Z5 L' O, C
7 K* `; A8 y% F1 AMentor Graphics宣布将推出Questa验证产品系列,这些新型验证工具支持测试平台自动化 (testbench automation)、覆盖率驱动式验证 (Coverage-Driven Verification,CDV)、以断言为基础的验证 (Assertion-Based Verification,ABV) 和事务级建模 (Transaction-Level Modeling,TLM)。 # U- `0 C' [+ \# {: f1 G8 k) v! A