求助带UPF Formality跑不过

南波湾001 · 发表于 2025-2-28 11:38:27

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

×

求助各位，综合netlist和rtl比LEC，在formality里面如果ref和imp都加上UPF就比对失败，失败原因是power switch out globally unmatched，但是不加UPF能过，该怎么办

这是加的var

登录/注册后可看大图

南波湾001 · 发表于 2025-3-4 09:49:58

观察到的现象是很多DFF的SD接口value不一样，ref是1，imp是0

zymthb · 发表于 2025-3-5 11:36:54

去掉UPF，power 改用vclp验证

Jashy · 发表于 2025-3-5 15:41:47

不带upf 验证，power switch 后端还没加上呢

账号		自动登录	找回密码
密码			注册

[求助] 求助带UPF Formality跑不过