generate与assertion


资料来源:

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

(2) 

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