第4章 表达式覆盖率与有限状态机覆盖率：核心概念、原理机制、实战要点

在验证收敛评估中，只统计“代码执行了多少行”远不足以证明设计行为被充分观测。表达式覆盖率关注条件表达式与赋值表达式在值域空间中的覆盖程度，FSM覆盖率关注有限状态机的状态、迁移与路径是否被完整激活。本章从工程视角拆解两类覆盖率的定义、采集原理、收敛判断与常见误区。

4.1 问题背景

复杂控制逻辑中，大多数 Bug 来自表达式边界值判断错误与状态机非法跳转。传统语句覆盖率遇到以下场景会失效：

• if (a && b) 中 a 为假时 b 未被求值，但语句已执行；
• 状态机某个迁移从未被激活，但状态寄存器整体覆盖率达到 100%；
• 仲裁逻辑中表达式组合爆炸，而验证用例只命中少量取值组合。

因此，需要引入面向表达式行为与状态空间行为的覆盖度量，作为验证收敛的形式化判据。

4.2 核心概念

下图给出表达式覆盖率与 FSM 覆盖率在验证收敛链路中的位置：

1. 表达式覆盖率

表达式覆盖率以“表达式取值空间”为观测对象，衡量仿真过程中表达式是否覆盖了所有关心的取值状态。常见子类包括：

• 条件覆盖率（Condition Coverage）：每个条件子表达式的 TRUE/FALSE 是否均被观测；
• 表达式覆盖率（Expression Coverage）：整个表达式结果的真/假是否被覆盖；
• 位覆盖（Toggle Coverage）：信号每一位是否发生过 0→1 与 1→0；
• 等式/边界覆盖：关系运算符 ==、>=、< 等边界取值是否被观测。

2. FSM 覆盖率

FSM 覆盖率以“状态空间”为观测对象，衡量设计中的有限状态机是否被充分探索。核心指标包括：

• 状态覆盖率（State Coverage）：已进入状态数 / 状态总数；
• 迁移覆盖率（Transition Coverage）：被激活迁移数 / 全部迁移数；
• 迁移对覆盖率（Transition Pair Coverage）：连续两跳迁移组合是否被覆盖；
• 循环路径覆盖率：状态机闭环路径经历次数，用于发现死锁与滞留。

4.3 原理机制

两类覆盖率虽然观测对象不同，但采集链路相似：

• 静态仪器化：由仿真工具在 RTL 或 C 模型中的表达式、状态寄存器插入探针；
• 动态采样：仿真器在每次表达式求值或状态变化时更新覆盖率数据库；
• 碰撞合并：多组 test 的覆盖率数据按状态/表达式签名合并去重；
• 收敛报告：覆盖率增量低于阈值时，可判定当前验证场景进入饱和。

表达式覆盖率计算模型：

EC = 已覆盖的表达式取值组合数 / 表达式总取值组合数 × 100%

条件示例：if ((a && b) || (c >= d))
取值组合：
  a=0,b=x,c=d   → 短路，表达式为 0
  a=1,b=1       → 表达式为 1
  a=1,b=0,c=d   → 取 c 与 d 的关系
  边界：c == d, c == d+1, c == d-1

FSM 覆盖率计算模型：

状态覆盖率   = 已访问状态数 / 状态总数 × 100%
迁移覆盖率   = 已激活迁移数 / 迁移总数 × 100%
迁移对覆盖率 = 已激活迁移对 / 全部合法迁移对 × 100%

典型工具化流程：

vcs -sverilog -cm expr+fsm -cm_node -f filelist.f -top top_module
simv -cm expr+fsm -cm_log simv.log
urg -dir simv.vdb -report coverage_report

4.4 处理流程步骤

在一个验证迭代中，表达式覆盖率与 FSM 覆盖率遵循以下工程链路：

1. 解析设计：提取表达式列表、状态寄存器、状态编码；
2. 定义覆盖模型：圈定关键表达式与关键 FSM；
3. 插入覆盖率探针：通过编译选项或覆盖率 API 完成；
4. 运行回归测试：收集多组 test 的覆盖率事件；
5. 合并覆盖率数据库：去重、合并、按层级聚合；
6. 分析未覆盖项：定位仍为 0 的状态或表达式取值；
7. 生成收敛报告：检查增量、饱和度与趋势。

4.5 案例说明

案例 A：表达式覆盖率定位短路逻辑漏洞

设计代码：

if ((sel == 2'b10) && (data > threshold)) begin
  flag = 1;
end

仿真中若 sel 一直不为 2'b10，语句覆盖率看“进入 if 判断”是 100%，表达式覆盖率却显示 (data > threshold) 的 TRUE 分支为 0%。这说明测试激励从未验证关键数据比较路径，需要补充定向用例。

案例 B：FSM 覆盖率发现未激活迁移

以 4 状态、6 迁移的状态机为例：

状态：IDLE, WAIT, DONE, ERROR
迁移：IDLE->WAIT, WAIT->DONE, DONE->IDLE,
     WAIT->ERROR, ERROR->IDLE, IDLE->ERROR

若回归后状态覆盖率为 100%，迁移覆盖率为 83%，说明 WAIT->ERROR 迁移从未被激活。该迁移往往对应“等待超时写入错误寄存器”的异常路径，属于典型边界风险场景。

4.6 覆盖维度对比总结

对比项	表达式覆盖率	FSM 覆盖率
观测对象	条件表达式、赋值表达式、位翻转	状态寄存器、迁移使能条件
典型度量	条件覆盖、表达式覆盖、边界覆盖	状态覆盖、迁移覆盖、迁移对覆盖
数据采集方式	表达式求值探针	状态跳转采样
收敛信号	表达式取值组合覆盖饱和	迁移与迁移对覆盖不再增长
典型工具	VCS -cm expr、Cadence 相关覆盖插件	VCS -cm fsm、Synopsys 覆盖率合并工具

4.7 常见误区提醒

4.8 工程实践清单