Error-[CNST-XZSVE] Constraint X/Z state value error

许晴125 · 发表于 2022-10-29 00:14:47

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

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

x

req_min_addr 是logic类型的，在constraint的求解过程中报了Error-[CNST-XZSVE] Constraint X/Z state value error的错误，之前遇见的constraint问题绝大部分都是solver求解错误，第一次遇见这个报错，是什么原因引起的？

求大神赐教。

许晴125 · 发表于 2022-10-29 00:19:55

写了个demo尝试了一下，就是constrain中用到的非rand/randc修饰的变量的时候，一定不能是x/z态，必须是0/1的确定态。

[求助] Error-[CNST-XZSVE] Constraint X/Z state value error

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

站长推荐 /2