新型仿真技术问世,可广泛支持SystemVerilog语言标准

两家验证工具供应商明导资讯(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万美元。