如果看conformal结果？

haoqimangguo

看到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

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

haoqimangguo

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

haoqimangguo

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

fengsuhong

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

lingrui77

楼主解决了么

陈世斗

每年都有人遇到这个问题，今年轮到我了，所以有人懂这个工具吗？

flyskyseu

比过了啊，都相等的，上面不是有
0 Non-equivalent point(s) reported
如果有不等的点，下面的表格里会有不等的那一行的

ywwuyifan

report verification -verbose
产report给客户