基于VMM的外部存储器接口验证

摘要：

随着SoC规模和复杂度的增加,功能验证变得越来越复杂,传统的验证方法很难对其进行全面的验证.基于SystemVerilog语言和VMM(Verification Methodology Manual)的高级验证方法学,采用覆盖率驱动、带有约束的随机化和断言等验证方法设计验证平台,对外部存储器接口进行了功能验证.验证结果表明,此验证平台能够实时监测覆盖率,控制验证进程,优化验证事务,代码和功能覆盖率可达100%.该方法简化验证复杂度,提高验证平台的可重用性,较好地满足芯片验证需要.

关键词：VMM验证方法学、事务级、覆盖率驱动、外部存储器接口

所属期刊栏目：30

分类号：TN92

在线出版日期：2009-11-03（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：1-4