第4章：SVA内置函数实战

各位同学，今天我们来聊聊SVA内置函数。说实话，我刚接触SystemVerilog断言那会儿，看到$rose、$fell这些函数，觉得不就是边沿检测嘛，有啥好学的？结果在实际项目中，这些函数用好了，能帮你省下大量调试时间。用不好，嗯…你可能得加班到深夜。

4.1 边沿检测三兄弟：$rose、$fell、$stable

这三个函数，我习惯叫它们「边沿检测三兄弟」。它们的作用很简单：检测信号的变化。

• $rose(信号)：检测信号从0到1的跳变。说白了就是上升沿。
• $fell(信号)：检测信号从1到0的跳变。也就是下降沿。
• $stable(信号)：检测信号是否保持稳定不变。

你可能会问：「直接用posedge和negedge不就行了？」嗯，这里有个关键区别：$rose和$fell是在时钟沿采样时判断的，而posedge是事件触发的。我举个例子你就明白了：

// 错误用法：在always块里用$rose
always @(posedge clk) begin
  if ($rose(sig))  // 这其实可以，但容易混淆
    ...
end

// 正确用法：在断言里用$rose
property p_rise;
  @(posedge clk) $rose(sig) |-> ##1 data == 1;
endproperty

我在项目中遇到过一位同事，他把$rose写在组合逻辑里，结果仿真死活不通过。后来发现，$rose只能在时钟采样上下文中使用，不能独立于时钟事件。

4.2 穿越时空的$past

$past函数，我个人觉得是SVA里最实用的函数之一。它能让你「看到」信号在N个时钟周期前的值。

// 基本用法：检查信号在1个时钟周期前是否为高
property p_past_example;
  @(posedge clk) $rose(req) |-> $past(ack) == 0;
endproperty

// 带时钟沿参数的用法
$past(signal, 2, posedge clk)  // 2个时钟周期前的值

你想想看，如果没有$past，你要怎么检查「请求之前应答必须是低」？你可能得写一堆寄存器来保存历史值。有了$past，一行代码搞定。

4.3 位宽检查利器：$onehot和$onehot0

做总线协议验证的同学，这两个函数你们一定用得上。$onehot检查是否只有一个位为1，$onehot0检查是否最多只有一个位为1（允许全0）。

// 检查地址总线是否只有一个位为高
property p_onehot_addr;
  @(posedge clk) $onehot(addr_bus);
endproperty

// 检查状态机编码是否合法
property p_state_encoding;
  @(posedge clk) $onehot0(state);
endproperty

我记得有一次调试一个AHB总线协议，从设备总是返回错误响应。查了两天，最后发现是地址译码逻辑出了问题，地址总线同时有两个位为高。如果当时用了$onehot断言，半小时就能定位问题。

4.4 未知态检测：$isunknown

这个函数，说白了就是检查信号里有没有X或Z态。在门级仿真中特别有用。

// 检查数据总线是否有未知态
property p_no_x_on_data;
  @(posedge clk) not ($isunknown(data_bus));
endproperty

// 更实用的写法：在复位释放后检查
property p_no_x_after_reset;
  @(posedge clk) $fell(rst_n) |-> ##1 not ($isunknown(data_bus));
endproperty

我曾经在一个SoC项目中，门级仿真跑了一整天，最后发现是因为某个模块的输入端口悬空了，导致数据总线上出现X态。从那以后，我养成了一个习惯：在所有关键数据路径上都加上$isunknown断言。

4.5 其他实用内置函数

这里特别提一下$sampled。我在调试一个跨时钟域设计时，发现断言总是随机失败。后来用$sampled替代直接信号引用，问题就解决了。原因很简单：$sampled返回的是时钟沿采样点的值，而不是当前仿真时间点的值，避免了竞争。

4.6 实战组合：一个完整的断言示例

好了，理论讲完了，我们来看一个实际项目中的例子。假设我们要验证一个握手协议：

// 握手协议断言
property p_handshake;
  @(posedge clk)
  // 请求上升沿时，应答必须为低
  $rose(req) |-> ($past(ack) == 0) and
                 // 数据不能有未知态
                 not ($isunknown(data)) and
                 // 数据总线必须为onehot编码
                 $onehot(data);
endproperty

assert_handshake: assert property(p_handshake)
  else $error("握手协议违规：时间=%0t", $time);

这个断言同时使用了$rose、$past、$isunknown和$onehot。你想想看，如果没有这些内置函数，你要写多少Verilog代码才能实现同样的功能？

最后说一句：不要为了用函数而用函数。我见过有人在一个断言里塞了七八个$past，结果可读性极差。合适的才是最好的。

这张图把本章的知识体系串起来了。从边沿检测到历史值查询，到位宽检查再到未知态检测，每个函数都有自己的用武之地。而实战中，我们往往需要组合使用它们。

可可精品资料库