发布时间：2014-05-06

1 简介 随着设计的复杂程度不断增加，要求把更多的资源放到验证上，不但要求验证能够覆盖所有的功能，还希望能够给出大量的异常情况来检查DUT对应异常的处理状态，这在传统测试方法下往往是难以实现的。此外，设计不断地重用，而验证也希望能够重用一样的验证模块，这就催生了层次化的验证方法。Synopsys的 VMM验证方法学提供了基于SystemVerilog的验证方法，包括了有约束...

发布时间：2012-03-01

1．引言 芯片验证(VerificatiON)越来越像是软件而不是硬件工作。这点已逐渐成为业界的共识。 本文以软件工程的视角切入，分析中科院计算所某片上系统(SoC)项目的验证平台，同时也介绍当前较为流行的验证方法，即以专门的验汪语言结合商用的验证模型，快速建立测试平台(test-bench)并在今后的项目中重用(reuse)之。 文中提及的高级验证语言、方法学、...

发布时间：2011-12-17

芯片验证越来越像是软件而不是硬件工作，这点已逐渐成为业界的共识。本文以软件工程的视角切入，分析中科院计算所某片上系统( SoC )项目的验证平台，同时也介绍当前较为流行的验证方法，即以专门的验证语言结合商用的验证模型，快速建立测试平台(Test-bench)并在今后的项目中重用。 本文提及的高级验证语言、方法学、验证基本库和仿真模型，这一套方法在近几年中正逐渐被业界广为采用。...

发布时间：2007-05-14

　中文版《SystemVerilog 验证方法学》由北京航空航天大学出版社发行 　　 美国加利福尼亚及中国北京，2007年5月14日 ——全球领先的电子设计自动化（EDA）软件工具领导厂商Synopsys今天宣布，由ARM 和 Synopsys 公司推出的SystemVerilog 验证方法学（VMM）被中国主要电子公司采用，用于开发先进验证环境。Synopsys 还宣布，...

发布时间：2007-03-06

新一代VMM解决方案为成熟的VMM 方法集增加了验证计划、应用和自动控制功能 全球领先的电子设计自动化（EDA）软件工具领导厂商Synopsys日前宣布，应用其扩展的业界领先的VMM方法，帮助产品开发团队更有效地定义、测量并实现他们的验证目标。新一代VMM解决方案可通过三个新的部分实现更高的验证生产效率，即VMM Planner、VMM Applications和VMM A...