功能覆盖率驱动的TAU/MVBC模块验证*

本文基于验证方法学(VMM)，使用硬件验证语言搭建分层可复用的TAU/MVBC验证环境，利用功能覆盖率结果对随机激励生成器进行导向，同时使用断言覆盖未达到的边角情况，在合理的时间内达到了预定的覆盖率要求。结果表明，覆盖率导向的带约束随机激励生成方法通过提高对覆盖率贡献较大的小概率事件出现的次数，有效地提高了验证效率。

Functional coverage driven verification for TAU/MVBC

This paper describes a functional coverage driven verification environment for TAU/MVBC. According to the verification methodology manual (VMM) for System Verilog, a layered reusable verification environment was developed together with a final coverage report summary. Constrained random stimulus generation technique was applied to narrow down the input vector space and to improve functional coverage in a reasonable time. Assertions were utilized 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.