请教Formality 中debug failed point碰到的问题

lucyping · 发表于 2011-10-28 11:27:02

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

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

x

目前在用Formality ，verify failed, debug verified 的 point, 诊断结论是svf中有些guidance command rejected.
重新查看formality.log, 发现在使用svf文件是，报过error: unknown command 'guide_mark'。
不知道这两种信息是否关联，如何解决呢？请大侠帮忙解答。谢谢！

icfbicfb · 发表于 2011-10-28 15:39:38

我也碰过， svf加载的时候缺省有可能 rejected ， compare的时候，

rtl 比gate特别难做

li_qian_nan · 发表于 2012-12-24 10:43:26

请问怎么解决的啊，现在formality也遇到同样的问题了，请指教！多谢

manxxxxx · 发表于 2012-12-25 00:38:42

回复 1# lucyping

之前遇到过类似问题，我解决的办法是DC版本和fm版本保持一之，比如DC用12版的，那fm也用12版的。。

风中微笑009 · 发表于 2014-2-7 15:26:33

我也是换版本，问题就解决了。

lihongpengtd · 发表于 2018-2-2 16:07:35

学习了～

xingyun666666 · 发表于 2018-2-5 10:33:45

回复 2# icfbicfb

请问版主？意思就是如果synop家工具的版本日期不一致，有些命令是不识别的？必须用一套一致日期的？

VICKY_EE · 发表于 2018-11-9 11:22:05

我的版本一致了，还是有这个问题。请教一下各位，会是什么原因呢？

[求助] 请教Formality 中debug failed point碰到的问题

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

相关帖子

站长推荐 /1