4、序列操作符：重叠与非重叠蕴含、时序操作符 ##n、重复操作符 [*n]、[=n]、[->n]

好，咱们今天聊点硬核的。序列操作符这块，说白了就是SVA（SystemVerilog Assertion）里最常用的“武器库”。你写断言，本质上就是在描述一个时序行为——什么时候该发生什么，什么时候不该发生。我刚开始学SVA的时候，最头疼的就是这些操作符之间的细微差别。尤其是重叠和非重叠蕴含，看着像，用起来完全两码事。

咱们一个一个来拆。

4.1 重叠蕴含 vs 非重叠蕴含

先看两个最基础的蕴含操作符：|-> 和 |=> 。

• a |-> b：重叠蕴含。意思是：如果a在某个时钟沿成立，那么同一个时钟沿b也必须成立。
• a |=> b：非重叠蕴含。意思是：如果a在某个时钟沿成立，那么下一个时钟沿b必须成立。

嗯，这里要注意。很多新手会搞混，觉得“重叠”就是同时发生。其实没错，但你要理解这个“同时”指的是同一个时钟周期。我见过一个项目，验证工程师写了个 req |-> gnt，结果仿真一直报错。为什么？因为设计里gnt是下一个周期才拉高的。这就是典型的用错了蕴含类型。

举个例子：

// 重叠蕴含：当valid拉高时，同一拍ready必须为高
property p_ready_overlap;
  @(posedge clk) valid |-> ready;
endproperty

// 非重叠蕴含：当valid拉高时，下一拍ready必须为高
property p_ready_nonoverlap;
  @(posedge clk) valid |=> ready;
endproperty

我个人习惯是：如果信号之间有组合逻辑关系，用重叠蕴含；如果是流水线关系，用非重叠蕴含。你想想看，流水线里数据传一拍，怎么可能同一拍就出来结果？

4.2 时序操作符 ##n

接下来是 ##n，这个太常用了。它表示“延迟n个时钟周期”。

语法很简单：

• a ##1 b：a成立后，下一个时钟沿b必须成立。
• a ##2 b：a成立后，下下个时钟沿b必须成立。
• a ##0 b：a和b在同一个时钟沿成立（相当于重叠蕴含的另一种写法）。

我在项目中遇到过一个问题：写了一个 req ##2 gnt，结果仿真发现gnt有时候在第2拍，有时候在第3拍才来。后来一查，设计里有个握手协议，gnt的拉高取决于内部仲裁，不是固定延迟。所以 ##n 只适合固定延迟的场景，可变延迟你得用 s_eventually 或者 within 操作符。

// 固定延迟2拍
property p_fixed_delay;
  @(posedge clk) write_en |=> ##2 data_valid;
endproperty

// 可变延迟1~3拍
property p_variable_delay;
  @(posedge clk) write_en |=> ##[1:3] data_valid;
endproperty

4.3 重复操作符 [*n]、[=n]、[->n]

重复操作符是处理“连续发生”或“重复发生”场景的利器。三个操作符长得像，但语义完全不同。

操作符	含义	典型场景
[*n]	连续重复n次	burst传输、连续时钟周期
[=n]	非连续重复n次（中间可间隔任意周期）	中断请求、事件计数
[->n]	非连续重复n次，且最后一次发生后立即结束	握手完成、状态机跳转

咱们一个一个说。

4.3.1 [*n] 连续重复

a[*3] 表示a连续成立3个时钟周期。注意是“连续”，中间不能断。

// 连续3拍valid为高
property p_burst;
  @(posedge clk) start |=> valid[*3] ##1 done;
endproperty

这个在AHB/AXI的burst传输里特别常见。我记得有一次写AXI验证环境，需要检查burst传输过程中数据不能断。用 valid[*4] 就搞定了，简单粗暴。

4.3.2 [=n] 非连续重复

a[=3] 表示a总共发生3次，但中间可以隔任意多个周期。最后一次发生后，序列结束。

举个例子：你有一个中断信号，它可能拉高3次，但每次拉高之间间隔不确定。用 irq[=3] 就能描述这个行为。

// 中断信号irq总共拉高3次，中间可间隔任意周期
property p_irq_three_times;
  @(posedge clk) start |=> irq[=3] ##1 ack;
endproperty

我曾经踩过一个坑：用 [*n] 去检查中断，结果仿真一直报错。后来才意识到中断不是连续的，应该用 [=n]。嗯，这个坑我记忆犹新。

4.3.3 [->n] 非连续重复（带结尾标记）

a[->3] 和 a[=3] 很像，也是非连续重复。区别在于：[->n] 要求最后一次发生后，序列立即结束，中间不能有额外的周期。

说白了，[=n] 是“发生了n次就行，最后一次之后你爱干嘛干嘛”，而 [->n] 是“发生了n次，而且最后一次之后我马上要看到下一个事件”。

// 握手信号handshake拉高3次后，下一拍必须看到done
property p_handshake_done;
  @(posedge clk) start |=> handshake[->3] ##1 done;
endproperty

4.4 知识体系总览

为了让你更直观地理解这些操作符之间的关系，我画了一张图。你可以把它当作本章的“地图”。

4.5 实战建议

说了这么多，最后给几条我自己的经验：

1. 先想清楚时序关系：写断言之前，先在纸上画个波形图。确定是同一拍还是下一拍，是连续还是非连续。
2. 多用可变延迟：除非你100%确定延迟是固定的，否则用 ##[1:3] 比 ##2 更安全。我见过太多因为延迟多了一拍导致断言误报的案例。
3. 重复操作符别用混：[*n] 和 [=n] 的区别，说白了就是“连续”和“不连续”。你想想看，burst传输用 [*n]，中断计数用 [=n]，握手完成用 [->n]。记不住的话，就记住这三个场景。
4. 仿真验证一下：写完之后，跑几个波形看看。断言通过了不代表你写对了，可能只是没触发到边界条件。

好了，序列操作符就聊到这儿。这些东西看着多，用熟了其实就那么几个套路。下一章咱们聊聊更高级的序列组合——相信我，掌握了这些基础，后面的内容你会学得飞快。