formality不能优化constant的reg

jingshuichen · 发表于 2011-10-11 17:21:10

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

x

问题：在做形式验证的时候，一些接常数的DFF在DC中是被优化掉的，但是在SVF中却没被优化掉，报了很多reg_constant的点，全部被rejected了？是不是应该设置什么option?
请问哪些大侠知道，请赐教！
急用！谢谢！

lucyping · 发表于 2011-10-13 17:44:04

碰到同样问题，等大侠赐教！

icfbicfb · 发表于 2011-10-13 19:46:42

最后的比较结果呢，是不是都是DFF0， DFF1 对不上？

我有个问题，最近做fm， RTL vs gate，
用svf，

然后很多都是PRESET/RESET pin 相关的flop对不上， RTL认为是带reset端的，
综合出来的reg都是不带的，因此很多flop对不上，这个怎么玩啊

pv811_len · 发表于 2013-1-4 17:23:47

对应着去检查你综合的log文件，可能有些reg被优化掉了，确实就是改变了逻辑

[求助] formality不能优化constant的reg