低功耗的形式验证DFF通不过的问题【已解决】

guozhujun1 · 发表于 2012-11-30 09:46:49

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

x

本帖最后由 guozhujun1 于 2012-12-9 10:06 编辑

请教一个关于formality验证基于UPF的低功耗设计的问题，就是我在DC综合和RTL进行形式验证时，所有的保持寄存器都通不过。不知道该怎么处理。期待高手指教，急切！多谢！

sunrisewu · 发表于 2012-11-30 14:34:03

你在fm的scripts里面load_upf了吗？要ref和impl都要load才行。
最好把svf也读进来。
没道理不过的。

guozhujun1 · 发表于 2012-11-30 16:02:27

本帖最后由 guozhujun1 于 2012-11-30 16:03 编辑

没有过，不知道为什么，能否给予帮助啊，你说的我都有操作，但是就是所有的寄存器都不能过。

guozhujun1 · 发表于 2012-11-30 16:19:56

你在fm的scripts里面load_upf了吗？要ref和impl都要load才行。
最好把svf也读进来。
没道理不过的。
sunrisewu 发表于 2012-11-30 14:34

登录/注册后可看大图

要是你有做过这方面的设计，能否给予我一些帮助，毕业论文全靠他了！

shajingwang · 发表于 2015-12-18 21:17:32

回复 4# guozhujun1

楼主是怎么解决的呢能否说下方法！

shajingwang · 发表于 2016-4-27 17:07:41

回复 4# guozhujun1
请问楼主解决了吗？

[求助] 低功耗的形式验证DFF通不过的问题【已解决】