Verilog中什么是断言？

断言就是在我们的程序中插入一句代码，这句代码只有仿真的时候才会生效，这段代码的作用是帮助我们判断某个条件是否满足（例如某个数据是否超出了范围），如果条件不满足（数据超出了范围），就会报错。

以下面这一段代码为例：

module Example;
    reg       enable;
    reg [7:0] data;
always @(posedge clk) begin
    if (enable) begin
        assert(data <= 10) else $error("Data exceeds maximum value.");
        // 其他操作
    end
end
endmodule
1
2
3
4
5
6
7
8
9
10

这段代码中的assert(data <= 10) else $error(“Data exceeds maximum value.”)，它的作用是，在仿真的时候，如果data<=10条件不满足的时候，会生成一个错误消息“Data exceeds maximum value”。如果是在硬件上实际运行，这段代码不会生效。

Verilog中断言使用assert关键字表示，语法如下：

assert(condition) else $error("Error message");
//condition 是判断条件
//Error message 是你设置的报错提示
1
2
3