formality debug求助

似水如烟 · 发表于 2014-7-25 17:21:10

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

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

x

本帖最后由似水如烟于 2014-7-25 17:30 编辑

能提供点debug方法的资料也可以。遇到的问题是：
ref中一个寄存器sel端口的值为c1，而impl对应端口的值为0，引起了matched但failing verification的情况。
想问下，这种情况应该怎么来debug。
是要顺着信号一步步追下去，看哪里不一样吗？
补充：
在submodule时，这个cells是可以验证过的，但在top时却验证失败。

AstPower · 发表于 2014-7-29 06:36:09

这个cell 对外部产生影响吗？sel 端口是常数时，逻辑可以简化，可以简化成什么样子？

[求助] formality debug求助

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

相关帖子

站长推荐 /1