关于formality 匹配失败怎么debug的问题（已解决）

strivenbu

最近一直困在这里 别的同事FM都没问题 就我这个block有问题 这是拿icc之后和icc之前的对比的结果。一直查不出什么原因。这是是带DFT的，是不是要对setup特殊设置呢，有懂的大牛希望指点指点啊，还需要什么图我再放上来分析这是最后的结果：
********************************* Verification Results ***************************
Verification FAILED
-------------------
Reference design: r:/WORK/core_block_d
Implementation design: i:/WORK/core_block_d
107504 Passing compare points
1998 Failing compare points
0 Aborted compare points
2489 Unverified compare points
----------------------------------------------------------------------------------------
Matched Compare Points     BBPin    Loop   BBNet   Cut    Port     DFF     LAT   TOTAL
----------------------------------------------------------------------------------------
Passing (equivalent)        4095             0       0       0     522    99339    3548  107504
Failing (not equivalent)          1             0      0       0       0       1741     256      1998
Unverified                       1835            0       0       0      32        618         4      2489
     

**********************************************************************
0

A1985

先看看，库读对没？svf对没？dft disable 没？这个基本要保证。其次查看，这些比对的point的逻辑锥找一下，问题，不行可以，从low--》hight的方法来debug。每步成功，就设置interface。。。。。。

abao123

scan_out要设置为dont_verify_point
set_case_analyse需要设置为功能模式
scan_en需要设置为dft disable

strivenbu

回复 2# A1985


   你好 我这个flow跟别的人一样的 所以基本上可以保证库读对了，svf也需要吗，我只知道svf是综合后有的东西 这里没用到这个。。

strivenbu

回复 4# abao123


   还请指点这些东西设置在哪里呢。是在formality的setup里么？

strivenbu

回复 3# zhq415758192


   我也不明白为啥会verify faild  呵呵

abao123

回复 6# strivenbu
match之前

龙溪小泮

别光用脚本啊，在gui下面直接看啊，

liqiang998

我是在do file里设置的

sunny_hua

回复 1# strivenbu


把SVF加上试试，不加SVF确实会出现挺多问题的。。。但是又好像听过有人说，不加SVF才能验证的更彻底。
不过我每次都加了，就没问题