关于SVA的问题

北边西西 · 发表于 2011-10-20 23:49:36

您需要登录才可以下载或查看，没有账号？注册

x

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

ekoyosta · 发表于 2012-11-22 15:13:24

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

lmz05 · 发表于 2012-11-22 20:27:45

用蕴含操作符即可

s19812500 · 发表于 2012-11-22 23:41:50

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

[求助] 关于SVA的问题