SVA & Function Coverage

1、SVA中的 $使用：

1、无限制的delay

2、连续的delay

3、request-grant 协议

4、multi hreading  导致错误

 

2、前置是条件，后置直接为0.

 

 

 

 

版权声明：本文为littleMa原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://www.cnblogs.com/littleMa/p/8571080.html