UPF flow在FM验证不通

kanikanixjj

最近在一个项目中需要用到UPF对几个SRAM进行power shutdown处理，power domain很简单，需要断电的只是SRAM模块，所以power  switch和isolation cell都是添加在TOP domain里，all domain的voltage value都是一样的。
（不过是第一次使用UPF，全程是查资料来写的，现在是担心自己有什么漏掉的，希望得到有经验的大神们帮忙指点一下）
DC FLOW:综合出来的网表中，ISO cell也是成功添加的，check_mv_design报告没有关于power domain或者power switch的warning、error。
FM FLOW：读入了UPF+RTL和UPF'+NETLIST 一直提示如下：

希望能得到有经验的大神们指点一二，感激不尽！

sdlyyuxi

回复 1# kanikanixjj

刚做了类似的项目，不同的是我们用的是lec，跑下来没问题。看你这个error感觉像是lib不全或者tech cell的upf缺失？？