代码覆盖率和功能覆盖率有什么区别？

更新时间：2026-09-21。问题驱动短答页。覆盖率方法见 代码与功能覆盖率，约束随机见 约束随机验证，验证全景见 验证。

一句话回答

代码覆盖率是工具自动数出来的「你写的 RTL 有多少被激励执行过」（哪些行、哪些分支、信号有没有 0→1 翻转、状态机状态去没去到）；功能覆盖率是验证工程师自己定义的「规格要求的各种功能场景、边界和组合是否被测到」。前者回答「代码跑没跑到」，后者回答「该测的功能测没测」，两者合在一起才构成验证闭环，100% 代码覆盖绝不等于没 bug。

核心对照

维度	代码覆盖率 code	功能覆盖率 functional
谁定义	工具自动统计	人按规格写 covergroup/coverpoint
度量对象	RTL 代码结构	设计意图、场景、配置组合
典型类型	行/语句、分支/条件、翻转(toggle)、FSM	coverpoint、cross、bin、ignore
回答的问题	这段代码跑到了吗	这个功能/边角组合测到了吗
达到 100% 含义	每行都执行过	定义的场景都发生过
与需求关系	无关，只看代码	强相关，来自验证计划

为什么 100% 代码覆盖不够

一段代码每行都被执行过，不代表所有有意义的输入组合和时序都被验证。例如 FIFO 满时再写、空时再读、读写同时命中同一地址这种交叉场景，行覆盖率可能早早 100%，但功能上从未组合触发。反过来，功能覆盖率 100% 也不能保证代码没冗余/死代码。所以两条曲线都要随回归收敛、彼此印证。

怎么落地

• 代码覆盖率：仿真器自动出报告，合并多次回归，未覆盖行要分析是激励不足还是死代码（可 waive）。
• 功能覆盖率：在 SystemVerilog 环境里用 covergroup 定义关心的字段、bin 和 cross（如「突发长度 × 响应状态 × 是否背靠背」），见 约束随机验证。
• 覆盖率驱动验证（CDV）：根据覆盖率空洞调整约束/定向用例，直到功能覆盖收敛，配合断言一起判断「行为是否正确」。

常见坑

• 只追代码覆盖率数字：跑满行覆盖就宣布验证完成，漏掉场景交叉 bug。
• 功能覆盖 bins 定义太粗：全进一个 bin，看着 100% 实则没区分边界。
• 覆盖率和检查（checker/断言）脱节：场景「发生」了却没人检查结果对不对，覆盖了也白覆盖，断言见 SVA 断言。
• 不合并多回归、不分析未覆盖项，覆盖率沦为汇报指标。
• 忽略 toggle 覆盖率：寄存器从未翻转可能暴露位宽/接线死逻辑。

总结

代码覆盖率是工具对 RTL 结构（行、分支、条件、翻转、FSM）执行情况的自动统计，回答代码跑没跑到；功能覆盖率是验证者按规格用 covergroup/cross 定义的场景与边界覆盖，回答该测的意图测没测；两者一个面向实现、一个面向需求，必须一起在回归中收敛，且覆盖率只说明「发生过」、正确性仍要靠记分板和断言来判定，因此 100% 代码覆盖从来不是验证完备的充分条件。