|
|||||
|
|
| 功能覆盖率驱动的TAU/MVBC模块验证* | |
| 作者姓名： | 姚爱红 吴剑 张智钧 |
| 作者单位： | 哈尔滨工程大学,计算机科学与技术学院,哈尔滨,150001 |
| 基金项目： | 中央高校基本科研业务费专项资金资助项目（HEUCF100606） |
| 摘 要： | 本文基于验证方法学(VMM),使用硬件验证语言搭建分层可复用的TAU/MVBC验证环境,利用功能覆盖率结果对随机激励生成器进行导向,同时使用断言覆盖未达到的边角情况,在合理的时间内达到了预定的覆盖率要求。结果表明,覆盖率导向的带约束随机激励生成方法通过提高对覆盖率贡献较大的小概率事件出现的次数,有效地提高了验证效率。 |
| 关 键 词： | 功能覆盖率 验证方法学 报文分析单元 System Verilog |
| 收稿时间： | 2010-10-14 |
| 修稿时间： | 2011-03-14 |
| 本文献已被 万方数据 等数据库收录！ | |
| 点击此处可从《计算机应用研究》浏览原始摘要信息 | |
| 点击此处可从《计算机应用研究》下载全文 | |