RTL vs. NL formality问题请教做过的大神

日月星辰wy · 发表于 2021-8-19 10:43:42

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

x

在RTL vs NL的formal中，log里显示了svf rejected，这是读入svf没有生效的意思吗，如何解决呢？

cannot find object的问题，link是成功的；
formal结果是fail的，使用report_failing_points报告了20个fail点，但是奇怪的是，一个16bit位宽的寄存器，只有其中的3个bit报了fail点，求大神指教。

日月星辰wy · 发表于 2021-8-19 10:49:50

自己顶一个~~~

chenjing0530 · 发表于 2021-8-19 14:43:56

你看下你的formal 的版本和你的综合的版本是否不匹配，综合的版本是否高于formal.

日月星辰wy · 发表于 2021-8-19 16:27:38

chenjing0530 发表于 2021-8-19 14:43
你看下你的formal 的版本和你的综合的版本是否不匹配，综合的版本是否高于formal. ...

DC的版本和formality的版本是一致的

[求助] RTL vs. NL formality问题请教做过的大神