lec的unmapped的extra points有什么分析方法吗

SGengiant · 发表于 2023-12-21 11:32:20

如题，

extra points只能自己检查rtl和网表吗，有什么命令可以分析一下吗

sogo520leo · 发表于 2023-12-21 11:32:21

对的，遇到abort是可以用lec的hier compare；也可以在flat compare中试下提高compare的effect，不过会增加run time.

SGengiant · 发表于 2023-12-21 11:49:43

还想在这里顺便请教一下各位，就是使用lec 进行compare时产生的abort point应该如何分析和解决？
用analyze abort -compare吗

SGengiant · 发表于 2023-12-21 11:53:57

SGengiant 发表于 2023-12-21 11:49
还想在这里顺便请教一下各位，就是使用lec 进行compare时产生的abort point应该如何分析和解决？
用analyze ...

我用analyze abort -compare迟迟没有输出任何信息.........

SGengiant · 发表于 2023-12-22 10:34:38

顶一下

SGengiant · 发表于 2023-12-22 17:50:59

顶一下

SGengiant · 发表于 2023-12-25 09:33:21

顶一下

AlexS · 发表于 2023-12-25 23:40:13

如果采用 DC 综合的话，应该有个 vsdc 文件给到 lec 辅助 compare

SGengiant · 发表于 2023-12-26 09:21:28

AlexS 发表于 2023-12-25 23:40
如果采用 DC 综合的话，应该有个 vsdc 文件给到 lec 辅助 compare

ok，那我找一下吧

AlexS · 发表于 2023-12-27 23:22:16

abort 问题 conformal 有时候很卡死状态，你也可以试试 svf + formality 比较试试，也许就pass了。

[求助] lec的unmapped的extra points有什么分析方法吗