计算机应用研究2011，Vol.28Issue(4)：1352-1355,4.DOI:10.3969/j.issn.1001-3695.2011.04.043
功能覆盖率驱动的TAU/MVBC模块验证
Functional coverage driven verification for TAU/MVBC
摘要
Abstract
This paper described a functional coverage driven verification environment for TAU/MVBC.According to the verification methodology manual for System Verilog, developed a layered reusable verification environment together with a final coverage report summary.Applied constrained random stimulus generation technique to narrow down the input vector space and to improve functional coverage in a reasonable time.Utilized assertions to cover function points which could rarely be covered by random combinations of input signals.The practice results show that the coverage driven verification technique can efficiently improve the verification efficiency by deliberately increasing the occurrence chance of the small probability event.关键词
功能覆盖率/验证方法学/报文分析单元/SystemVerilogKey words
functional coverage/ verification methodology manual/ telegram analysis unit/ SystemVerilog分类
信息技术与安全科学引用本文复制引用
姚爱红,吴剑,张智钧..功能覆盖率驱动的TAU/MVBC模块验证[J].计算机应用研究,2011,28(4):1352-1355,4.基金项目
中央高校基本科研业务费专项资金资助项目(HEUCF100606) （HEUCF100606）
