电子说
现看一段代码
请根据这段代码写一个assertion检查 count 每次加5。
下面是一种写法
看起来不算太复杂。
但是如果让你写一个关于fifo 不能overflow 和 underflow的assertion呢?
是不是发现很头大?
笔者发现我们验证中很多assertion 具有一些共性,比如
某个条件永远不能发生;
某个条件一直为真;
req ack的检查;
在一段时间内,某条件一直为真;
fifo的检查;
等等
这些共性的东西,能不能整理成一个assertion的lib呢?带着疑问我们收集了网上的资料,开始并没有什么收获。
大部分资料都偏向基础的assertion语法解释。
直到我们看到这份文档,笔者大概猜到这就是我们要找的东西。
这完全符合我们最初的设想,有一系列的assertion checker Library 可以供我们调用,实现一些通用的assertion检查。
回到上面第一个问题,我们要用assertion检查count按cycle每次加5怎么做?assert_increment 很好的解决了这个问题。
调用方法:
assert_increment #(0, 7, 5, 0,"ERROR: count has increased beyond allowable limit", 0, 0, 0, 1)invalid_count_increase (clk, reset_n, count);
第二个问题,fifo的underflow ,overflow的检查。可以用assert_fifo 检查。
说了这么多,很多人肯定想知道这个assertion checker library是放在哪里的。
答案是
$VCS_HOME/packages/sva/
没错,他就是VCS的 SVA checker library!
我们点开一个assert_never 看下
各个参数和说明都有,完美!
审核编辑:刘清
全部0条评论
快来发表一下你的评论吧 !