3、代码覆盖率基础：行覆盖率、翻转覆盖率、条件覆盖率、状态机覆盖率、代码覆盖率与功能覆盖率的区别

各位同学，今天我们来聊聊代码覆盖率。说实话，这是每个验证工程师入行第一天就会接触的概念。但你真的懂它吗？我见过太多人把代码覆盖率当成「交差工具」——跑一下，100%了，完事。嗯，这里我要泼盆冷水：代码覆盖率达标，不代表你的验证就做完了。

我个人习惯把代码覆盖率叫做「白盒视角」。它看的是你的RTL代码有没有被「执行到」。说白了，它只关心代码跑没跑，不关心功能对不对。这一点，大家一定要先刻在脑子里。

3.1 行覆盖率（Line Coverage）

行覆盖率是最基础的。它统计的是：每一行代码，有没有被至少执行过一次。

举个例子：

always_ff @(posedge clk or negedge rst_n) begin
    if (!rst_n) begin
        cnt <= 0;
    end else if (en) begin
        cnt <= cnt + 1;
    end
end

这段代码有三行「有效执行行」：复位赋值、使能递增、以及隐含的else（保持）。如果测试只给了复位，那行覆盖率只有33%。

我在项目中遇到过一件事：有个同事行覆盖率做到了100%，但功能测试根本没跑完。为什么？因为他的testbench里有个bug，导致某些分支根本没进入，但行覆盖率工具把「代码行存在」就算覆盖了。嗯，这是个坑。

3.2 翻转覆盖率（Toggle Coverage）

翻转覆盖率比行覆盖率更进一步。它统计的是：每个信号位，有没有从0变1、从1变0。

你想想看，行覆盖率只关心代码行被执行，但信号的值变化呢？比如一个控制寄存器，你只写了0x00，没写过0xFF。行覆盖率可能100%，但翻转覆盖率可能只有50%。

我曾经吃过这个亏：一个DMA控制器的配置寄存器，测试只写了启动值，没写过停止值。行覆盖率100%，但翻转覆盖率只有一半。结果流片回来，DMA停不下来...从那以后，我养成了检查翻转覆盖率的习惯。

3.3 条件覆盖率（Condition Coverage）

条件覆盖率，说白了就是看你的if-else、case等分支条件，每个子条件有没有被覆盖到。

看这个例子：

if (a && b) begin
    // do something
end

行覆盖率只看这行有没有执行。但条件覆盖率会拆开看：a=0时执行了吗？b=0时执行了吗？a=1,b=1时执行了吗？

我建议你特别注意条件覆盖率。为什么？因为很多bug就藏在「组合条件」里。比如你写了个 if (ready && valid)，测试只给了ready=1,valid=1的情况。那ready=0或valid=0的情况呢？行覆盖率可能100%，但条件覆盖率可能只有25%。

3.4 状态机覆盖率（FSM Coverage）

状态机覆盖率是专门针对有限状态机的。它统计三件事：

• 状态覆盖：每个状态有没有进入过
• 转移覆盖：每个状态转移有没有发生过
• 序列覆盖：连续的状态转移序列有没有出现过

我个人觉得，状态机覆盖率是代码覆盖率里「含金量」最高的。为什么？因为状态机往往是设计的核心控制逻辑，一旦状态跳转错了，整个芯片就乱套了。

举个例子：一个简单的UART接收状态机，有IDLE、START、DATA、STOP四个状态。如果测试只给了正常接收，那IDLE→START→DATA→STOP这条路径覆盖了。但START→IDLE（起始位错误）呢？STOP→IDLE（停止位错误）呢？这些异常转移很容易被忽略。

3.5 代码覆盖率与功能覆盖率的区别

好了，终于到了最关键的部分。代码覆盖率和功能覆盖率，到底有什么区别？

我用一句话总结：代码覆盖率看「代码跑没跑」，功能覆盖率看「功能测没测」。

你想想看：

• 代码覆盖率是白盒的，它看的是RTL代码本身
• 功能覆盖率是灰盒/黑盒的，它看的是设计规范里的功能点

举个例子：一个FIFO，深度16。代码覆盖率可以做到100%——所有行都执行了，所有条件都覆盖了。但功能覆盖率呢？你可能只测了写满、读空，没测「写半满时读」的场景。功能覆盖率可能只有60%。

对比项	代码覆盖率	功能覆盖率
关注点	代码是否被执行	功能是否被验证
来源	RTL代码自动提取	验证工程师手动定义
目标	通常追求100%	根据风险决定目标
局限性	不保证功能正确	可能遗漏边界情况
我的建议	作为「最低门槛」	作为「验证质量」

最后说一句：代码覆盖率是「防守」，功能覆盖率是「进攻」。防守做不好，你连基本盘都保不住；但只防守不进攻，你永远发现不了深层次的bug。两者相辅相成，缺一不可。

下一章，我会讲如何用SystemVerilog的covergroup来构建功能覆盖率模型。到时候咱们再细聊。