关于SVA的问题

在SVA中怎么样避免空成功，请大家帮我解答一下，谢谢喽~
比如：信号a在之前的一段clk中需要等于1来匹配，后面的依次需要2、3、4才能匹配，但是在a为1匹配的时候，后面的就变为空成功了，在仿真工具中看起来很是吃力，所以，想避免掉这种情况，希望大家可以帮我，谢谢喽~

你在说的详细点！帮你看看

用蕴含操作符即可

这个好像在仿真选项里面有个地方可以设置的。忘记了。