Formality 验证lowpower syn deisgn时到底要不要把UPF load 进来

金角大王G

update:
未解之谜+1, design update 最新版后（相当于design 完整度接近90%），我随便试了下将verification_force_upf_supplies_on  设为false 后load_upf 跑了版FM，竟然滑溜溜的pass 了。。。
哎呦我去，难道还与design quality、完整度有关？？？

目前：
1，load_upf , verification_force_upf_supplies_on false pass；
2， load_upf， 只check PST ALL_ON， PASS；
3，no load_upf, set_constrant to all_iso_en in Implemention  design, pass~
4, based on  item3. with no_pg_lib, pass
先结这题，也算是一个不错的思考了~

夜明猪呵呵

syn2post netlist需要load_upf吗？post网表含有很多物理单元，这块是否需要关注呢

金角大王G

夜明猪呵呵 发表于 2024-8-14 15:22
syn2post netlist需要load_upf吗？post网表含有很多物理单元，这块是否需要关注呢

1， 理论上那些phy_cell 不影响FM 对比结果；
2， 因为pre_net 与post_net 均有lowpower cell，个人觉得你load_upf or not load， FM 均会pass

moe2977

学习