基于控制信号的RTL级功能覆盖率
功能仿真是验证硬件设计正确与否的基本手段,但是缺乏有效地量化验证程度的标尺.理想的量化标尺应该抽象到功能级,反映出一组仿真矢量能够覆盖到多少功能.绝大部分的功能在RTL的代码中表现为一组控制信号,所以,可以用控制信号的状态覆盖程度来代表仿真矢量所能达到的功能覆盖率.功能的实现往往需要复杂的控制信号,为了减少计算的复杂性,控制信号的覆盖率以Verilog HDL语言中的always块为基本单位.各个基本单位的控制信号的覆盖率的平均值,构成整个电路的功能覆盖率.对于良好的代码风格,多数情况下基于控制信号的功能覆盖率比代码覆盖率更为有效.
功能覆盖率 仿真 功能验证 代码覆盖率
周锦锋 陈志冲 倪光南
中国科学院计算技术研究所,北京,100080
国内会议
中国科学院计算技术研究所第七届计算机科学与技术研究生学术讨论会
四川广元
中文
187-192
2002-07-13（万方平台首次上网日期，不代表论文的发表时间）