generate与assertion

资料来源:

(1) 硅芯思见：【86】SVA中的延迟 (qq.com)

(2) 16-在属性中使用形参,在属性中使用局部变量,以及在序列匹配时调用子程序 - 蚕食鲸吞 - 博客园 (cnblogs.com)

1.generate与带形参的assertion的联合使用