formality中No compared Unread请教？

abao123 · 发表于 2012-1-9 10:57:17

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

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

×

在做RTL2netlist的formality中，verify显示为SUCCEEDED，但是在其中有一项为No compared Unread中显示有2个。
请问下No compared Unread显示的2个对结果有无影响以及通过什么命令可以查看具体什么地方No compared Unread？
谢谢！
工具版本为：Version X-2006.03

abao123 · 发表于 2012-1-10 18:18:22

回复 2# zhq415758192
不是这个
谢谢！

Syn2012 · 发表于 2012-6-30 11:03:13

同问，请问像这种情况，check的结果显示SUCCESSED，但是确实存在NO Compared，都是一些unread、LATCG之类的，请问这种情况的formal检查结果应该怎么处理，是认为这是pass还是not pass呢？希望了解的高手指点下，谢谢！

messiwang2011 · 发表于 2012-8-3 10:35:06

同样的问题求解啊

205207033 · 发表于 2012-8-8 16:23:23

LATCH CG 必然是无法检查到的，这些如果是综合工具插进去的。
一般都会比较在意match结果的，至于unread 的点，大概看看，还是有必要让设计的人看看。一般如果verify的结果成功，都会认为是没什么问题的。

rikurika · 发表于 2013-5-23 22:34:54

回复 7# 205207033

你好，能请教为什么LatchCG肯定是没法检查的呢，我现在做出来的结果就是没有failing point,但是有很多Not Compared的点，包括有LATCG的
，LATCG为什么就不比较了呢？麻烦你啦

helte320 · 发表于 2015-3-11 16:19:57

没有说清楚问题呀！！！

mythbuster · 发表于 2019-7-11 18:07:32

205207033 发表于 2012-8-8 16:23
LATCH CG 必然是无法检查到的，这些如果是综合工具插进去的。
一般都会比较在意match结果的，至于unread 的 ...

LATCH CG是综合工具自己插入的，你的design里面并没有当然是比不过的

账号		自动登录	找回密码
密码			注册

[求助] formality中No compared Unread请教？

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

相关帖子

浏览过的版块

站长推荐 /1