立即断言 Immediate Assertion笔记

bk 收录于断言

2021-10-01 约 228 字预计阅读 1 分钟次阅读

1.断言类型

• 立即断言 Immediate Assertion

• 并发断言 Concurrent Assertion

• 递归断言 Deferred Assertion

2.立即断言

• 执行不消耗时间

• 可在指定位置执行

• 可以像if一样使用

3.立即断言用法

例如：

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11

always @(posedge clk)
begin
    if(a)
    begin
        @(posedge d);
        boRC: assert (b || c) 
            $display("\n", $stime, "%m assertion pass\n");
        else
            $fatal("\n", $stime, "%m assertion failed\n");
    end
end

boRC: assert声明标志，可通过%m打印出来

else : assert如果检查失败，执行else下语句，可以把assert理解为if，assert中的内容不可综合。

note:

立即断言可以在代码任何地方插入，运行到断言后立即执行，不消耗时间，不需要提供采样时钟。

目录

立即断言 Immediate Assertion笔记

1.断言类型

2.立即断言

3.立即断言用法