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