好久没有发文了，主要是最近忙于最pre layout func eco 。 好在是最后成功做完了。confomal的表现真的是让我激动万分。
事情是这样的。项目pr已经 sta快要结束了。这时候设计这边突然发现了func bug。 重新syn-> dft- > pr 已经来不及了。不得不启动func eco。
其实fm eco流程我用的蛮熟的。讲道理应该问题不大，恰恰就在这最应该没问题的点上最后出了问题。
fm 可以成功的做出来rtl2syn syn2dft dft2layout 的netlist 恰恰在 验证阶段
syn2dft 时候比对网表比对不出来。G2G 13个abort 点 ， 无论是fm还是confomal都是13 abort
fm情况就是一直挂机abort 。然后退出回报给你inconclusive ， 结果不确定。
然后上conformal一开始其实也一样。后来换了hier compare也还是不行最后重新切点比过了
上脚本
关键点在于add_compare_points
add_partition_points -abort_cone -all >>这一步很长时间对abort区域重新切点
我们来看看log
对abort点重新切分
run_partiton_compare 把除了abort点之外的compare点清掉
用analyze_abort 清掉 abort点 >> 如果不切分直接analyze abort是清不掉的
最后再call compare 清掉剩下的点
最后的结果所有abort清干净了。
conform不得不说真的是最厉害的形式验证工具，没有之一