新型仿真技术问世，可广泛支持SystemVerilog语言标准
上网时间 : 2005年05月23日
http://www.eetchina.com/ART_8800 ... fed6cdcc906e02372a4
打 印 版 推 荐 给 同 仁 发 送 查 询
两家
验证工具供应商明导资讯(Mentor Graphics)与Axiom Design Automation公司日前宣称研制出新型仿真技术，能提供对新兴SystemVerilog语言标准的广泛支持。
明导的Questa产品基于单核
验证引擎，集成了HDL仿真器、约束解算器(constraint solver)、断言引擎、功能覆盖及通用用户接口。Questa仅支持SystemVerilog语言，而Questa高级功能
验证(AFV)可支持多种语言。
前身为@HDL公司的Axiom公司在其形式分析产品基础上推出MPSim，这种SystemVerilog仿真器瞄准多CPU工作站。据称这种新技术具有动态分割(dynamic partitioning)、存储一致性(memory coherency)及存储定位(memory localization)功能。
据明导设计
验证测试分部副总裁兼总经理Robert Hum称，明导的ModelSim仿真器已被添加了一些SystemVerilog支持功能，但Questa在ModelSim仿真引擎的基础上增加了断言引擎、约束解算器和覆盖引擎，可使断言与
测试平台联系起来，从而以更直接的方式进行覆盖驱动的
验证。Hum表示，明导将继续销售并支持ModelSim产品。
Questa产品内有一个称为QuestaSim的内核，据Hum称，它率先集成了仿真、断言、约束随机
测试平台及覆盖驱动的
验证，比“仿真底板”方法性能及集成度更好。
SystemVerilog在单核
验证解决方案内整合了新兴的IEEEP1800标准，包括设计结构、
测试平台结构、断言和直接编程接口。Questa AFV增加了对VHDL、特性规范语言(PSL)及SystemC的支持。Questa SystemVerilog及Questa AFV将在第二季度交付，分别起价2.8万与4.2万美元。对于ModelSim用户可提供升级路径。
Axiom的 MPSim据称比竞争对手方案运行速度快3到6倍。能加快调试速度的MPSim多CPU版本起价为每年4.25万美元。
