覆盖率 100% 为什么还可能漏 bug？
更新时间：2026-09-21。问题驱动短答页。覆盖率概念见 代码与功能覆盖率，约束随机见 constrained random，形式验证见 形式验证，断言见 SVA。
一句话回答
覆盖率衡量的是“有没有走到/采到”，不是“走到时有没有检查对”。代码覆盖率 100% 只说明每行代码、每个翻转/条件在仿真里被执行过；功能覆盖率 100% 只说明你在 covergroup 里预先定义的那些场景组合都被随机命中过。两者都不保证这些情况下输出被正确核对。因此可能漏 bug：scoreboard/checker 缺失或太弱（走过了但没人比对）、参考模型本身错了（错的期望被当成对）、coverpoint 漏定义了关键组合（没想到的场景永远不计入覆盖率）、边界/非法/背靠背/X/复位恢复等场景没建模、或断言不足没抓住协议违例。覆盖率是“必要不充分”条件，收敛要和检查器质量、断言、定向 corner case 和评审一起做。
两类覆盖率各说明什么
| 类型 | 100% 含义 | 不说明什么 |
|---|---|---|
| 代码覆盖率(line/toggle/cond/FSM) | RTL 被执行/翻转过 | 结果对不对 |
| 功能覆盖率(covergroup/cross) | 你定义的点被命中 | 定义是否完整、是否被检查 |
典型“高覆盖漏 bug”
- 没有 checker：随机激励把 FSM 所有状态跑遍（覆盖率满），但没有 scoreboard，错误输出无人发现。
- 检查太弱：只看 valid，不看数据内容或时序，数据错也过。
- 参考模型错：predictor 和 DUT 犯同样的错，比对永远一致，见 UVM scoreboard。
- coverpoint 不全：没写的 cross（如“满+写+溢出中断同时”）不在分母里，永远“100%”。
- 边界/异常缺失：空读、满写、背靠背、复位中途、X 传播、协议非法组合没建模。
- 采样点错位：在错误时刻采样，掩盖真实行为。
- toggle 只看 0→1 没看回 1→0，或复位默认值虚高翻转覆盖。
正确的收敛（coverage closure）
- 先**验证计划(vPlan)**列清特性/场景，再映射到 covergroup、断言和定向用例。
- 覆盖率空洞 → 调约束/加种子去填；填不上的分析是不可达还是约束问题。
- 同时确保每个关键场景都有对应检查：scoreboard + SVA 协议断言，见 SVA。
- 用形式验证穷尽证明某些属性（FIFO 满空、仲裁、X 传播），见 形式验证。
- 保留定向 corner case / bug hunting 用例，不只靠随机刷覆盖率。
- 评审 covergroup 和 checker，而不是只追百分比。
常见坑
- 把覆盖率当 KPI 数字，忽视检查器完备性。
- 用不可达 bin 凑满或随意 ignore 空洞。
- 参考模型从 RTL 反推，复制了同样的 bug。
- 功能覆盖率点由一个人闭门定义、缺少设计评审。
总结
覆盖率回答“场景是否被执行/命中”，而正确性由 checker/参考模型/断言回答；代码覆盖率满只代表 RTL 被跑过，功能覆盖率满只代表你想到并定义的组合被命中，二者都无法发现“没被检查”“期望模型错”或“压根没想到去建模”的 bug。覆盖率是收敛的必要而非充分条件，必须以完善的验证计划、强 scoreboard 与 SVA、形式补证和定向 corner case 共同支撑，100% 才真正有意义。