如果看conformal结果？

haoqimangguo · 发表于 2020-4-23 15:44:51

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

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

x

看到log里面有很多unmapped 和 unreachable 的point，用report_compare_data -class nonequivalent 语句来报告，得到的结果如下：

0 Non-equivalent point(s) reported
0 compared point(s) reported
================================================================================
Compared points PO DFF DLAT BBOX Total
--------------------------------------------------------------------------------
Equivalent 473 10133 3 2 10611
================================================================================

没有报Non-equivalent point

那到底这个formal验证过了没有呢？

haoqimangguo · 发表于 2020-4-23 16:23:09

用什么命令来看最终比较结果，如何看呢？ conformal新人，请指教，谢谢。

haoqimangguo · 发表于 2020-4-26 14:44:44

有人么有人么。。。。。。

haoqimangguo · 发表于 2020-4-28 15:49:32

我孜孜不倦的还是想问问这个问题

report_compare_data -class nonequivalent 来看最后到底过没有过到底对不对？
还是有其他的语句？怎么看结果？
没有报出nonequivalent ，但是有很多unmaping point ,算不算过了？

fengsuhong · 发表于 2022-7-13 11:37:31

同问，怎么看not mapped具体信息

lingrui77 · 发表于 2023-10-9 17:42:49

楼主解决了么

[求助] 如果看conformal结果？

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

浏览过的版块

站长推荐 /2