📚 课程目录第4章功能覆盖率建模基础

4. 功能覆盖率建模基础：SystemVerilog covergroup、coverpoint、bin 的语法与使用

功能覆盖率，说白了就是回答一个问题：“我的测试到底有没有把设计里该走的路都走一遍？”

代码覆盖率告诉你哪些行被执行了，但功能覆盖率告诉你那些行背后的功能场景是否被覆盖到。我见过不少项目，代码覆盖率冲到 95% 以上，结果芯片一回来就挂——就是因为某些边界条件根本没测到。嗯，功能覆盖率就是来补这个窟窿的。

4.1 功能覆盖率的核心概念

在 SystemVerilog 里，我们用 covergroup 来定义一组覆盖点。每个覆盖点（coverpoint）对应一个变量或表达式，而 bin 则把变量的取值空间划分成若干个“桶”。

举个例子：

covergroup：就像一张调查问卷
coverpoint：问卷上的一个问题
bin：问题的选项

测试跑完后，工具会统计每个 bin 被命中了多少次。如果某个 bin 的命中次数是 0，那你就知道——这个场景没测到。

关键指标：功能覆盖率 = 命中过的 bin 数量 / 总 bin 数量 × 100%

注意，这里只看“是否命中过”，不看命中次数。一个 bin 命中 1 次和 1000 次，覆盖率贡献是一样的。

4.2 covergroup 的声明与实例化

先看一个最简单的例子：

// 定义一个 covergroup
covergroup cg_alu_op;
  coverpoint alu_op;  // 覆盖点：alu_op 信号
endgroup

// 在 testbench 中实例化
cg_alu_op cg_inst = new();

这里有个细节我刚开始也踩过坑——covergroup 必须实例化才能用。声明只是画了个模板，new() 才是真正创建了一个实例。如果你忘了 new，那覆盖率永远是 0。

我个人习惯把 covergroup 的实例化放在 initial 块或者类的构造函数里：

class test_base;
  cg_alu_op cg;
  
  function new();
    cg = new();
  endfunction
endclass

4.3 coverpoint 与 bin 的定义

默认情况下，SystemVerilog 会自动为 coverpoint 创建 bin。比如一个 3 位信号，自动会生成 8 个 bin（0~7）。但实际项目中，我们往往需要手动定义 bin，因为自动 bin 太粗糙了。

4.3.1 基本 bin 语法

covergroup cg_addr;
  coverpoint addr {
    bins low = {[0:63]};       // 低地址范围
    bins mid = {[64:127]};     // 中地址范围
    bins high = {[128:191]};   // 高地址范围
    bins top = {[192:255]};    // 最高地址范围
  }
endgroup

这样，256 个地址被分成了 4 个 bin。每个 bin 只要命中一次就算覆盖到了。

4.3.2 忽略与非法 bin

我在项目中遇到过一种情况：某些取值组合在设计中根本不会出现。如果不处理，这些 bin 会一直显示“未覆盖”，拉低你的覆盖率数字。

解决办法是用 ignore_bins 和 illegal_bins：

covergroup cg_state;
  coverpoint state {
    bins normal = {IDLE, READ, WRITE};
    bins error  = {ERROR};
    ignore_bins reserved = {[4:7]};  // 保留状态，不会出现
    illegal_bins undefined = {8};     // 如果出现，说明设计有 bug
  }
endgroup

注意：illegal_bins 一旦命中，仿真会直接报错退出。这适合用来捕获“不应该发生”的情况。

ignore_bins 则只是告诉工具“这个 bin 我不关心”，不会计入覆盖率统计。

4.4 交叉覆盖率（cross cover）

单个 coverpoint 只能覆盖一个信号。但很多功能场景需要多个信号组合才能描述清楚。比如：

写操作 + 地址在低范围
读操作 + 地址在高范围
写操作 + 数据全为 0

这时候就需要 cross 了：

covergroup cg_transaction;
  coverpoint op { bins ops[] = {READ, WRITE, IDLE}; }
  coverpoint addr_range {
    bins low  = {[0:127]};
    bins high = {[128:255]};
  }
  
  // 交叉覆盖：op × addr_range
  cross op, addr_range;
endgroup

这个 cross 会生成 3 × 2 = 6 个 bin。每个 bin 对应一种 (op, addr_range) 组合。

我曾经在一个总线协议验证项目里，用 cross 覆盖了“命令类型 × 地址对齐 × 突发长度”三个维度，一下子就发现了两个没测到的组合场景。你想想看，如果只靠手动写 testcase，这种组合遗漏很难发现。

4.5 bin 的高级用法

4.5.1 自动 bin 数组

coverpoint data {
  bins vals[] = {[0:255]};  // 自动生成 256 个 bin
}

注意这里的 []，它告诉工具为每个值单独创建一个 bin。适合数据值范围不大、需要精细统计的场景。

4.5.2 带条件的 bin

coverpoint addr iff (!reset) {  // 只在 reset 无效时采样
  bins range[] = {[0:255]};
}

iff 条件可以控制 coverpoint 在什么情况下才采样。我建议在复位期间、时钟未稳定等阶段加上 iff，避免采集到无效数据。

4.6 知识结构总览

下面这张图总结了本章的核心知识点：

4.7 实用技巧与避坑指南

技巧 1：用 $coverage_merge 合并多个仿真结果

跑回归测试时，每个 testcase 都会生成独立的覆盖率数据库。最后用 $coverage_merge 合并，才能得到完整的覆盖率报告。

技巧 2：合理设置 auto_bin_max

对于取值空间很大的信号（比如 32 位数据），自动 bin 会生成 40 亿个 bin——仿真器直接炸掉。设置 option.auto_bin_max = 64 可以限制自动 bin 的数量。

我曾经踩过的坑：

有一次我定义了一个 cross，包含 3 个 coverpoint，每个 coverpoint 有 10 个 bin。结果 cross 生成了 10 × 10 × 10 = 1000 个 bin。仿真跑了三天，覆盖率才 30%。后来发现大部分组合在设计中根本不会出现。解决办法是用 binsof 过滤掉无效组合：

cross op, addr, len {
  ignore_bins invalid = binsof(op) intersect {IDLE} &&
                       binsof(addr) intersect {[0:15]};
}

过滤后 bin 数量降到了 120 个，覆盖率一周内冲到了 95%。

4.8 本章小结

概念	作用	常用场景
covergroup	定义一组覆盖点	每个测试场景一个 covergroup
coverpoint	监控单个信号或表达式	状态机状态、地址范围、数据值
bin	划分取值空间	手动分组、忽略非法值
cross	组合多个 coverpoint	协议握手组合、多维度场景
ignore_bins	排除不关心的取值	保留位、未实现功能
illegal_bins	捕获不应该出现的取值	设计约束检查

功能覆盖率建模，说白了就是把设计规范翻译成可量化的 bin。你定义的 bin 越贴近功能场景，覆盖率数字就越有说服力。别贪多，先从最关键的几个 coverpoint 开始，逐步细化——这是我做了这么多年验证最深的体会。