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

学习

卷柏

有同学在rtl到mbist rtl阶段的FM验证里，因为读入upf而发生failed吗？不读入upf或者读入upf后对iso en设置constant 0/1都能过，看逻辑图是在dft control signal上设的固定值在工具根据upf推测出的iso上没有传播下去，比如iso in是 c0，在iso en未使能的情况下，iso out的pattern是0而非c0，0和c0工具貌似认为不一样？就出现了很多failed点，有大佬见过这种情况吗？

马奔

卷柏 发表于 2024-12-20 22:41
有同学在rtl到mbist rtl阶段的FM验证里，因为读入upf而发生failed吗？不读入upf或者读入upf后对iso en设置c ...

遇到了相同问题，请问最后是用哪种方式解的