同样的脚本设计，只有floorplan不同，会出现形式验证错误吗？

zhq415758192 · 发表于 2011-10-11 14:09:42

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

x

同样的脚本设计，只有floorplan不同，会出现形式验证错误吗？（full chip level，大小5mmX5mm，一百万门以上）

用的是encounter9.1 ，修改floorplan有时会出现fm错误，只能再修改。

对于小的设计，比如block，就不会出现fm错误。

damonzhao · 发表于 2011-10-11 15:40:05

回复 1# zhq415758192

FloorPlan和形式验证没关系吧

是不是哪里出错了？

zhq415758192 · 发表于 2011-10-11 16:16:08

回复 2# damonzhao

我也觉得fp和fm没有关系，但是只有fp不同，其他的完全一样，place后就会fm错误，而且在fm里面找不到错误的位置。

haha999 · 发表于 2011-10-11 16:50:29

找不到fm错误位置也奇怪的，找到了就能确定怎么产生的，查一下IP的端口

icfbicfb · 发表于 2011-10-11 19:52:50

scanreorder了吧， fm的时候要tie 到0的

zhq415758192 · 发表于 2011-10-11 21:27:07

回复 5# icfbicfb

scanreorder 了，test_pad=0就case成function mode了，那么还需要将scan enable设为0吗？

错误的都是在DFF的D端。

icfbicfb · 发表于 2011-10-12 00:28:12

fm有个句子叫
set_constant  XXX:/TESTMODE  0
se_constant  XXX:/SE  0

就是设成常数的意思，  不检查由于scanreorder带来的flop 错乱问题，

[讨论] 同样的脚本设计，只有floorplan不同，会出现形式验证错误吗？