Mentor新版ModelSim仿真器支持多种先进验证方法
(2004-10-15) 来自：电子工程专辑 阅读687次
Mentor Graphics宣布推出新版ModelSim仿真器，以及从近期收购的0-In Design Automation处获得的先进验证技术，从而扩展其可升级验证(Scalable Verification)解决方案。
通过ModelSim 6.0仿真器和0-In产品线，Mentor Graphics公司目前可支持大部分先进验证方法。该公司的可升级验证平台支持基于声明(assertion-based)的验证和覆盖驱动(coverage-driven)验证流，以及验证IP，从而为工程师提供了比现有方法更快实现验证的技术。
这种可升级验证解决方案以ModelSim仿真环境为中心，提供了对Verilog 2001、VHDL、PSL、SystemC和SystemVerilog的支持。
ModelSim 6.0仿真器还具有实用覆盖能力，允许工程技术人员跟踪其验证效果。将声明与实用覆盖相结合即可实现覆盖驱动验证，从而使设计人员能够利用测试反馈制定其后续测试的目标，提高验证效率和效果。
明导推出“可伸缩”验证平台
(2003-11-4) 来自：电子工程专辑 阅读403次
明导科技公司将推出采用新技术开发支持可验证性设计的可伸缩验证平台。明导声称由此率先全面支持Verilog 2001、仿真交易级测试平台生成及到Matlab和Simulink的HDL链接。
该公司设计验证及测试分部副总裁兼总经理Robert Hum表示，明导的验证用户如今能在许多抽象级上工作，用Matlab启动算法设计，再往下进行无缝硬件/软件协同设计、VStation模拟及ModelSim HDL仿真。
定于11月交货的ModelSim 5.8版本率先支持Accellera的SystemVerilog 3.1标准，包括Hum所称的“生产力特性”，内含文献、用户定义类型、枚举数据类型、结构及联合、动态阵列、端口连接及接口。
ModelSim 5.8还全面支持SystemVerilog的前任Verilog 2001。但该工具不包含SystemVerilog 3.1声明，这项支持将于明年推出。ModelSim 5.8添加了一个内置的“声明引擎”，与Accellera的特性规范语言(PSL)1.0版本一起工作。
ModelSim 5.8 起价为4,495美元。该工具的另一部分VStation Pro起价为30万美元
