formality不能优化constant的reg

smilyrong · 发表于 2011-6-10 17:22:00

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

x

问题：在做形式验证的时候，一些接常数的DFF在DC中是被优化掉的，但是在FV中却没被优化掉，为什么呢？是不是应该设置什么option?
请问哪些大侠知道，请赐教！
急用！谢谢！

jjftt · 发表于 2011-6-10 19:28:26

formality 只是验证工具，如何会优化？

smilyrong · 发表于 2011-6-13 10:11:54

回复 2# jjftt

验证也要首先将rtl转换成门级的才能验证啊

hover99 · 发表于 2011-6-13 18:19:01

DC综合的时候会产生一个svf文件，会记录下来dc是如何优化的，把这个文件load到formality即可。

smilyrong · 发表于 2011-6-15 10:09:58

回复 4# hover99

svf文件是正确保存并正确应用到fv中的，现在的问题是rtl里边相关的一些冗余的器件在fv中没被优化掉！

he013119 · 发表于 2011-6-22 15:31:43

來學習學習

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