覆盖率导向的WTB控制器功能验证方法

摘要：

随着单芯片集成度的迅速提高,硬件验证在系统设计中占有越来越重要的地位.仅由设计者完成的模块级验证已经不能够保障流片成功率,需要在验证方法学指导下采用多种先进有效的验证技术和工具,帮助设计者尽可能早地发现和修改设计缺陷.本文详细介绍了在验证方法学VMM指导下,基于IEC61375-1标准的规定,设计分层次的验证环境,对绞线式列车总线控制器进行RTL和参考模型联合仿真的功能验证技术.通过可重用VMM库和随机化函数及基于断言的验证方法,编写高效、可重用的验证平台,以提高验证效率和覆盖率.实验表明,采用覆盖率导向的验证方法可有效地减少验证工作量和验证时间,提高验证质量.

关键词：功能验证、验证方法学、覆盖率、断言、WTB控制器

所属期刊栏目：32

分类号：TP312(计算技术、计算机技术)

资助基金：中央高校基本科研业务费专项资金项目HEUCFl00606

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

页数：共5页

页码：531-535