有关formal 的问题

205207033 · 发表于 2012-1-31 13:06:40

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

x

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

205207033 · 发表于 2012-1-31 22:11:30

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

keelinx · 发表于 2012-2-2 11:19:49

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

205207033 · 发表于 2012-2-2 11:26:54

不是的，这些reg都是有的

ngovanphuc · 发表于 2012-12-11 19:56:52

fad ads

W

[求助] 有关formal 的问题