可扩展验证平台新技术帮助弥合验证鸿沟

可扩展验证平台新技术帮助弥合验证鸿沟

MentorGraphics公司正式推出其可扩展验证平台，它集成了对业界最新标准的支持、新型验证工具以及“面向验证的设计”方法，最大限度缩短了需要耗费大量时间的功能验证周期，避免了昂贵的集成电路重新设计。可扩展验证平台包含了验证工具多项新的增强内容，使得验证工作尽可能在设计的最初阶段开展。可扩展验证平台以ModelSim仿真器为核心，Modelsim5.8的能力已经得到了显著扩展，为复杂的专用集成电路（ASIC）和单片系统（SoC）设计提供高速、高效的系统级验证和纠错环境。
MentorGraphics公司可扩展验证平台是全面的功能验证工具平台。该平台率先向现有和新兴的设计语言提供标准支持Verilog 2001、VHDL、SystemVerilog (3.1版本第一阶段)、SystemC 2.0.1 ( 包含 SystemC Verification Library 1.0) 以及Property Specification Language 1.0 (PSL) 。该平台还包含了新版 VStation硬件加速仿真系列Station PRO 以及新一代的测试基准硬件实现技术VStation TBX，它不仅简化了测试基准的创建，而且还能够通过硬件辅助验证的应用实现性能加速。此外， MathWorks公司推出的最新产品Link for ModelSim在业界第一个实现了Simulink 、MATLAB与HDL仿真器（Modelsim）直接连接，为快速创建及验证系统级的测试基准提供了实现的可能。
　　可扩展验证平台基于4项新产品：为业界各种标准提供最好支持的ModelSim 5.8；能够对1.6M门电路至120M门电路的设计开展验证的VStationPRO。提供从软件仿真到硬件加速所需要的可扩展testbench创建方法的VStationTBX；能够将原先针对MATLAB和 Simulink编写的大量IP与HDL验证环境连接起来的Link for ModelSim。
MentorGraphics公司的可扩展验证技术主要特点是：在所有工具之间实现可扩展。该平台包含的系列产品可以实现从HDL仿真到在线（In-Circuit）验证的全面验证解决方案，它由多个“业界最佳”技术组成：ModelSim 仿真环境、Seamless硬件/软件协同验证平台、ADVanceMS模拟/混合信号验证平台、FormalPro等效性检查以及VStation 和 Celaro硬件仿真平台等；在各提取层次之间实现可扩展性。通过采用高抽象级别的模型和事务处理程序，在设计流程的最初阶段就开始进行验证。C、C++、SystemC、SystemVerilog、MATLAB或Simulink等多种语言实现的高抽象级别原型为结构设计阶段就开展验证提供了可能，这些高抽象级别原型还可在整个设计流程中作为测试基准加以重复使用。这样就能够及早发现根本性设计错误，并及早实现低成本纠错；基于断言的验证。能够帮助设计人员迅速准确地定位错误所在。断言允许设计人员将语句嵌入设计之中，设计人员根据对某段设计的意向行为做出的假设进行说明。断言能够在错误发生时将其及时捕获，迅速明确发生错误的设计段落，从而大大简化了纠错工作。断言也可以捕获意料之外的错误，并非测试目标的代码在测试时产生不希望的动作。ModelSim环境包括的新型断言引擎能够最大限度利用PSL和SystemVerilog断言的功能。