SystemVerilog Assertions应用指南 Chapter1.39将SVA与设计连接
有两种方法可以将SVA检验器连接到设计中。(1)在模块(module)定义中内建或者内联检验器。(2)将检验器与模块、模块的实例或者一个模块的多个实例绑定。有的工程师不喜欢在设计中加任何验证代码。在这种情况下,在外部绑定SVA检验器是很好的选择。SVA代码可以内建在模块定义中的任何地方。下面的例子显示了内联在模块中的SVA。moduleinline(clk,a,b,d1,d2,d);inputlo