SVA & Function Coverage 1、SVA中的 $使用： 1、无限制的delay 2、连续的delay 3、request-grant 协议 4、multi hreading 导致错误 2、前置是条件，后置直接为0. 相关文章：