功能覆盖率的建模
1、以验证计划为起点,编写可以仿真的功能覆盖率模型;
2、在验证平台中采样变量和表达式的值(coverpoint);
触发条件
当验证平台 triger(触发)trans_ready事件时,采样 CovPort
event trans_ready;
covergroup CovPort@(trans_ready);
coverpoint ifc.cb.port; // Measure coverage
endgroup
定义覆盖点:信号和表达式
采样数据:任何收集覆盖信息
1、在覆盖点中指定了变量和表达式,SystemVerilog创建了一组bins,用于记录采样到的数值;
2、bins是一个功能覆盖率的衡量单位;
3、在每次仿真结束时,生成的数据库包含了采样后所有的bins;
4、EDA分析工具可以读取这个数据库,生成一个覆盖率报告,报告中包含了设计中哪一部分被覆盖,以及总的覆盖数值;