版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
-
创建计数器
property check_counter;
int L_cnt;
@（posedge clk）
(
($rose(start)，L_cnt = 0)##1
(1,L_cnt = L_cnt+1)[*0:$] ##1 (L_cnt == 30) |-> (irq ==1)
);
endproperty-
可变的时钟延迟
property check_counter;
int L_cnt;
@（posedge clk）iff(!rst_n)
(
($fell(start)，L_cnt = 30)##1
(1,L_cnt = L_cnt-1)[*0:$] ##1 (L_cnt == 0) |-> (irq == 1)
);
endproperty