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

Functional coverage driven verification for TAU/MVBC

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

This paper described a functional coverage driven verification environment for TAU/MVBC.According to the verification methodology manual for SystemVerilog,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.