基于控制信号的RTL级功能覆盖率

摘要

功能仿真是验证硬件设计正确与否的基本手段,但是缺乏有效地量化验证程度的标尺.理想的量化标尺应该抽象到功能级,反映出一组仿真矢量能够覆盖到多少功能.绝大部分的功能在RTL的代码中表现为一组控制信号,所以,可以用控制信号的状态覆盖程度来代表仿真矢量所能达到的功能覆盖率.功能的实现往往需要复杂的控制信号,为了减少计算的复杂性,控制信号的覆盖率以Verilog HDL语言中的always块为基本单位.各个基本单位的控制信号的覆盖率的平均值,构成整个电路的功能覆盖率.对于良好的代码风格,多数情况下基于控制信号的功能覆盖率比代码覆盖率更为有效.