求助：sva的问题？

yuanpin318 · 发表于 2010-7-18 21:26:09

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

您需要登录才可以下载或查看，没有账号？注册

x

谁能简化下面的sva?

always @(posedge CLK)
  if (a == 1)
begin
   if (cnt <3)
      begin
         cnt ++;
      end
      else
         begin
            check_en <= 1;
         end
   end
  else
begin
   cnt <= 0;
   check_en = 0;
end

assert property @(posedge clk) (check_en |-> b == 0);

总想第一个always可以用sva简化，但不知怎么做，高手请指教。

nangua001 · 发表于 2010-7-22 18:04:34

不知道，帮顶

whxqq · 发表于 2010-7-22 18:14:56

assert property @(posedge clk) a ##3 check_en;

hi_johnson · 发表于 2010-9-2 11:11:33

assert property @(posedge clk) (!a) |=> (check_en == 0 && cnt == 0);
assert property @(posedge clk) (a && cnt == 3) |=> check_en;

[求助] 求助：sva的问题？

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

相关帖子

站长推荐 /3