【SVA】assertion局部变量的应用

最新推荐文章于 2023-07-14 17:37:59 发布

lbt_dvshare

最新推荐文章于 2023-07-14 17:37:59 发布

阅读量1k

点赞数

分类专栏： SVA

本文链接：https://blog.csdn.net/lbt_dvshare/article/details/102743392

版权

SVA 专栏收录该内容

4 篇文章 0 订阅

订阅专栏

创建计数器

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