![](https://img-blog.csdnimg.cn/20201014180756724.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
SV
文章平均质量分 80
日拱半卒
这个作者很懒,什么都没留下…
展开
-
【SVA基础】
之前的assert、assume和cover都是非阻塞的方式,即它们本身并不会阻塞后续的语句,然而,expect则是一种阻塞的property使用方式;同assert语句的调用方式类似,它也可以使用在function和task中,同时也可以引用静态变量或者动态变量。expect的语法同assert一致,不过它会等待property执行通过,才会执行后续的语句;评估其后续算子序列;简单来看,可以使用wait语句的地方,既可以使用expect语句;,这些系统函数也可以用在一般的过程语句块和赋值语句中。原创 2023-08-30 17:39:11 · 149 阅读 · 0 评论 -
【SV_时钟块】
SV中的时钟块困惑原创 2023-07-04 21:46:46 · 732 阅读 · 0 评论