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

扫码查看

原文链接

NETL

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

作者：

周锦锋、陈志冲、倪光南

展开 >

作者单位：

中国科学院计算技术研究所,北京,100080

关键词：

功能覆盖率仿真功能验证代码覆盖率

主办单位：

中国计算机学会

中国科学院计算技术研究所

会议名称：

中国科学院计算技术研究所第七届计算机科学与技术研究生学术讨论会

会议时间：

2002-07-13

会议地点：

四川广元

会议母体文献：

第七届计算机科学与技术研究生学术讨论会论文集

页码：

187-192

出版时间：

2002