dis:assertproperty(@(posedgeclk)disableiff(reset)$rose(a)##1$rose(b)|=>c##1d)else 46 $error("Assertion failed on first assertion"); 47 48 res:assertproperty(@(posedgeclk)$rose(a)&!reset##1$rose(b)&!reset|=>c##1d)else ...