Formal fail

shannon_z · 发表于前天 13:47

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

x

fail 点都在LOCKUP输入端D，RTL是1，pr网表是0，有没有大佬遇到过

omityoung · 发表于前天 15:38

dft的lockup cell 在PR时会reorder，需要dont verify

shannon_z · 发表于昨天 10:58

omityoung 发表于 2024-11-14 15:38
dft的lockup cell 在PR时会reorder，需要dont verify

感谢回复，请问怎么把fail的一次全跑出来，每次只有20个

jiangyoucoco · 发表于昨天 15:59

shannon_z 发表于 2024-11-15 10:58
感谢回复，请问怎么把fail的一次全跑出来，每次只有20个

在你fm脚本里设置：
set verfication_failing_point_limit 1000
这样子跑1000个fail才停

shannon_z · 发表于昨天 16:17

jiangyoucoco 发表于 2024-11-15 15:59
在你fm脚本里设置：
set verfication_failing_point_limit 1000
这样子跑1000个fail才停

好的，感谢

[求助] Formal fail