做upf，dc综合出来的netlist，替换了一个level shift，formality还是过了

saicom · 发表于 2015-1-16 15:07:00

set_level_shifter in2 -domain wfifo/PD -applies_to inputs -rule high_to_low -location self
set_level_shifter out2 -domain wfifo/PD -applies_to outputs -rule low_to_high -location parent
加了这两句还是报一样的warning

korchagin · 发表于 2015-1-16 23:54:21

回复 10# icfbicfb

UPF不熟，但是记得level shift不是根据电压定义自己加的么，不像isolation什么的还需要设置啊

icfbicfb · 发表于 2015-1-17 08:06:02

回复 11# saicom

加了这个，再做fm 试验，结果如何呢，

saicom · 发表于 2015-1-19 14:13:16

和不加一样
netlist和netlist的比较还是会过
而用ddc的话，换input的level shift可以检测到错误，不过换output的还是检测不到错误
两种比较都有load upf

icfbicfb · 发表于 2015-1-19 14:46:08

有可能是mvrc， mvsim这种工具才有差别吧，
当然我觉得fm也该有差别的，因为毕竟fm好用些

saicom · 发表于 2015-1-19 16:40:11

会不会是fm不用读library，所以没有cell的power信息呢
而ddc里面有dc做综合的设置，有保留library的信息

taotao_ic · 发表于 2015-1-20 20:15:37

这个问题不是formaility干的事情。这属于结构性检查。需要用cadence的clp 或者synopsys的mvrc

zhangyuxiebin · 发表于 2015-12-16 17:45:02

fomality是不是认为level shifter为buf，所以检查不出来区别

flyloop · 发表于 2019-9-11 17:34:07

学习一下,马上要碰到此类问题了

mess12345 · 发表于 2019-9-17 09:13:53

这个form比不出来的，需要另外一个工具检查，用vc_lp进行电压功能的检查

[求助] 做upf，dc综合出来的netlist，替换了一个level shift，formality还是过了

站长推荐 /2