各层级验证

Mentor Graphics提供一整套高级验证方法,它能够:

提高生产力,可预测性和品质
基于业界标准(可支持任何EDA流程)
采用最佳技术
针对SOC的整体验证问题

高级验证方法学烹饪书
唯一能够提供从系统级到寄存器级集成在同一环境中,且能有效地在各抽象层间进行对设计的验证。它同样可以让使用者能够利用功能覆盖率、受限的随机激励产生、断言以及其它高级验证技术的优点。

明导电子科技公司的高级验证方法学是第一个、真正的、从系统级到寄存器级验证方法学,它让你在设计的各个层次上使用最先进的验证技术。AVM提供所有的用类和模块编写的库,它们都是公开的。并且使用事务级模块接口作为各验证组件的通讯机制。

多层次的抽象。真正从系统级到寄存器级的验证方法学
高级验证。支持各种高级验证技术,包括受限随机激励产生,功能覆盖率和断言。
测试平台的重用。 包括大部分的例子,库以及大量文档(验证烹饪书)可以用来编写模块,可重用的测试平台。
公开资源。 公开并且没有专利的代码,任何人都可以在公开的Apache上自由地得到
标准语言。 基于标准语言,使用百分之百的标准协议语言。这样的结果就说明代码是完全可重用且代表未来趋势的。
事务级建模标准。 基于OSCI的标准,用SystemVerilog和SystemC实现,这样可以方便地连接内嵌软件和事务级模型。

下载AVM烹调书!

Assertion-Based Verification
Questa AFV (Advanced Functional Verification)
Questa SV (SystemVerilog)
0-In㈢ Assertion Synthesis
0-In Formal Verification
0-In㈢ Clock-Domain Crossing (CDC)
Testbench Automation
Questa AFV (Advanced Functional Verification)
Questa SV (SystemVerilog)
Coverage-Driven Verification
Questa AFV (Advanced Functional Verification)
Questa SV (SystemVerilog)
0-In㈢ Assertion Synthesis
0-In Formal Verification
0-In㈢ CheckerWare㈢
Verification IP
PCI Express Monitor
Universal Serial Bus Monitor
AMBA AXI Monitor
Serial Attached SCSI Monitor
Open Core Protocol Monitor
10 Gigabit Ethernet Monitor
Digital Simulation
ModelSim㈢ SE
ModelSim㈢ LE
ModelSim㈢ PE
Analog/Mixed-Signal Simulation
Advance MS
ADVance MS RF
Hardware/Software Co-Verification
Seamless
Seamless FPGA
Emulation
Veloce
VStationPRO
VStationTBX
iSolve