刘兆勇
- 作品数:2 被引量:1H指数:1
- 供职机构:哈尔滨工业大学更多>>
- 相关领域:电子电信自动化与计算机技术更多>>
- 基于VMM的外部存储器接口验证
- 随着SoC规模和复杂度的增加,功能验证变得越来越复杂,传统的验证方法很难对其进行全面的验证。本文分析了现在流行的验证技术和验证方法,并且对未来一段时间的验证技术的发展趋势进行了预测。结合验证的需要,分析了VMM验证方法中...
- 刘兆勇
- 关键词:外部存储器接口代码覆盖率
- 文献传递
- 基于VMM的外部存储器接口验证被引量:1
- 2009年
- 随着SoC规模和复杂度的增加,功能验证变得越来越复杂,传统的验证方法很难对其进行全面的验证。基于SystemVerilog语言和VMM(Verification MethodologyManual)的高级验证方法学,采用覆盖率驱动、带有约束的随机化和断言等验证方法设计验证平台,对外部存储器接口进行了功能验证。验证结果表明,此验证平台能够实时监测覆盖率,控制验证进程,优化验证事务,代码和功能覆盖率可达100%。该方法简化验证复杂度,提高验证平台的可重用性,较好地满足芯片验证需要。
- 刘兆勇王进祥李清波
- 关键词:事务级外部存储器接口