有关formal 的问题

formal经常会出现很多NoT Compared的点。
除掉Dont verify，那么NoT Compared中的Constant reg 不需要比较么?另外什么情况下，会有Unread的点。求教。

........
自己帮顶。

Constant reg在网表里被优化掉了，所以不需要比，应该是这样的吧。

不是的，这些reg都是有的

fad ads W