Synopsys扩展VMM方法以实现更高功能性验证的生产效率
——
VMM Planner提升验证可视性和可预测性
验证计划和跟踪经常是一个 ad-hoc 过程，它基于电子数据表、文件、报告、日志文件和电子邮件的采集，因此可能出现对验证真实状态不完整或不精确的评估，增加验证收敛中意外延迟的风险。
VMM Planner可帮助验证团队系统地捕捉正在验证设计中的一个特征层，同时配合相关的覆盖、测试、所有权和时间
表数据，形成一个可执行的验证计划，以解决上述问题。VMM Planner可提取和上滚各种验证结果，如代码和功能覆盖、形式和动态断言、测试通过/失败数据，成为一个有注释的计划，为准确、客观而透明的验证进展评估予以分享。
VMM Applications加速测试工作台的创建
VMM Applications可提供一系列高水平功能，进一步缩短寄存器和存储器等普通设计元件的测试工作台创建时间。这些新应用软件建立在VMM标准库的基础之上，是《SystemVerilog语言验证方法手册》中定义的一组基本构建模块。基本的VMM Applications包括：
寄存器抽象层，可通过自动生成测试来迅速而简便地管理成千上万芯片配置寄存器的验证。
硬件抽象层，创建VMM测试工作台，可以迅速被配置为目标仿真或硬件辅助验证平台。
可重用环境构成，有助于创建验证子系统，无需进行系统级修改即可再度使用
存储器分配管理器，可对潜在的存储缓冲器容量和地址错误进行测试。
赛普拉斯半导体公司(Cypress Semiconductor)验证经理Tim Houlihan 表示：“我们已经看到采用Synopsys VMM方法集后所获得的高验证生产效率。我们将 VMM 寄存器抽象层应用软件用在我们的 West Bridge Antioch 芯片上，比传统的 ad-hoc 寄存器验证方法节省了两个月的时间。内置的bit-bash测试尤其适用于寄存器设置改变后所需的再次验证。”
EVE USA 公司总经理Lauro Rizzati 表示：“VMM 硬件抽象层应用软件提供了一种易于使用的高带宽方法，可将先进的测试工作台与高性能加速器和仿真器连接在一起。利用EVE ZeBu仿真器和Synopsys VCS 解决方案之间硬件抽象层的交易层接口，我们可以实现每秒500MB以上的数据传输率。”
VMM Automation提高验证用户生产效率
VMM Automation可提供多种自动工具和功能，以提高验证用户的生产效率。VMM SystemC™ 交易层接口在VMM 测试工作台和SystemC 参考模型之间提供了高性能连接。VMM Compliance Checker可根据《SystemVerilog语言验证方法手册》中的规则和指南分析验证环境，提供一种简单的方法来实现可互操作和可重用的验证组件。
评论