formality不能优化constant的reg

smilyrong · 发表于 2011-6-10 18:16:55

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

x

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

jiancongwoo · 发表于 2011-6-10 21:26:04

把svf文件加fm里头。就可以跑过去了。

smilyrong · 发表于 2011-6-13 10:13:38

回复 2# jiancongwoo

svf是加了的，而且是保存正确的svf!

jiancongwoo · 发表于 2011-6-13 11:06:07

回复 3# smilyrong
工具的版本。
dc的版本比fm新，还是旧？

nufang · 发表于 2011-6-13 11:16:57

问下svf是什么文件，做什么用的？

smilyrong · 发表于 2011-6-13 11:44:38

回复 4# jiancongwoo

版本也是相同的，都是09版的！

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