功能覆盖率基础知识第一讲，功能覆盖率的建模（covergroup、coverpoint、bins）

功能覆盖率的建模

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分析工具可以读取这个数据库，生成一个覆盖率报告，报告中包含了设计中哪一部分被覆盖，以及总的覆盖数值；

采样数据：私有