解读

国内数字验证面试里，"断言"是验证工程师必须掌握的核心武器。面试官问这道题，并不是想听背诵定义，而是想确认三件事：

1. 你是否能把两种断言的"执行模型"讲清楚——一个像 if 语句，一个像持续监控的进程；
2. 你是否知道它们在什么阶段、什么对象上采样信号；
3. 你是否能在实际验证环境里正确选型、调试、收敛。
   回答时务必用"场景+机制+波形"三板斧，让面试官一听就知道你亲手写过断言、调过波形、追过 bug。

知识点

1. 立即断言（immediate assertion）

   • 语法：assert (boolean_expr) else $error(...);
   • 执行时机：仿真事件队列中遇到该语句的"当前仿真时间"立即求值，零延迟。
   • 采样对象：只能看到"当前时间"的变量值，无法回溯过去或预测将来。
   • 使用场景：task/function 内部做参数合法性检查、force/release 后做一致性确认、覆盖率收集时做快速异常报警。
   • 失败行为：同一仿真时间点立即触发，可配 $fatal/$error/$warning，仿真可停可不停。

2. 并发断言（concurrent assertion）

   • 语法：assert property (@(posedge clk) disable iff (!rst_n) A |-> ##[1:3] B);
   • 执行模型：仿真开始后即启动独立监控线程，持续观察时序；每个时钟沿根据采样协议重新评估。
   • 采样机制：按"SystemVerilog 调度区间"PREPONED 区域采样，屏蔽同一时钟沿的 NBA 竞争，保证可综合、可形式验证。
   • 时间跨度：支持多周期、时序窗口、重复匹配、蕴含等复杂属性，可描述协议级行为。
   • 失败行为：断言失败会在"观察区"报告，可对接 UVM 错误计数器，也可生成 VCD/FSDB 的 assertion 窗口波形，便于调试。

3. 关键差异速记

   • 触发方式：立即=遇到即算；并发=时钟沿采样。
   • 时间概念：立即只看"此刻"；并发可跨越"过去-未来"。
   • 调度区域：立即在 ACTIVE/INACTIVE 区执行；并发在 PREPONED 采样、OBSERVED 区评估。
   • 可综合/形式验证：立即不可综合，仅用于仿真；并发可被主流形式工具（VC Formal、Questa Formal）识别并做属性检查。
   • 调试手段：立即失败只能看 log；并发失败可自动记录起始点、匹配路径、反例波形。

答案

立即断言像"瞬时体检"，遇到语句立刻计算布尔表达式，失败立即报警，常用于函数级参数检查；它没有时间轴概念，也无法描述跨周期时序。
并发断言像"24 小时心电监护"，在指定时钟沿采样信号，持续评估时序属性，可描述协议中的延迟、握手、保持等要求；失败时能提供时钟级反例波形，支持形式验证。
二者核心区别：执行时机（立即 vs 时钟沿）、时间跨度（单点 vs 多周期）、采样机制（当前值 vs PREPONED 区）、验证手段（仿真日志 vs 形式+波形）。

拓展思考

1. 在 UVM 环境中，立即断言常被封装在 check_xxx() 函数里，用于 scoreboard 内部数据一致性快速检查；并发断言则绑定到 interface 或 virtual interface，作为"协议检查器"与参考模型并行运行，失败时通过 uvm_report_catcher 自动计入 error counter，实现与测试用例的 pass/fail 联动。
2. 面对门级网表仿真，若出现因时钟门控导致并发断言采样沿缺失，可用 "assert final" 或 "assert #0" 做补充，但需牺牲部分时序精度；此时立即断言可作为白盒补丁，快速拦截 X 传播。
3. 形式验证收敛时，立即断言无法被工具识别，必须改写为并发属性；注意把组合环路、多时钟域路径拆分为独立属性，配合 disable iff 规避复位未知态，才能拿到干净的空证（vacuous pass）报告。