各位对encounter9.1印象如何？我感觉不太稳定啊！

zhq415758192 · 发表于 2011-9-14 16:07:56

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

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

x

现在用encounter9.1做PR，出现一奇怪现象：

同样的脚本，仅仅改变一下floorplan，有时会出现形式验证过不了。（netlist 比对netlist）

真是怪了。

在formality中又难以找到具体错误的原因。

但是做小模块时，怎么改变布局也不会出现形式验证错误。

就是在做SOC chip时会出现形式验证过不了的情况。

各位是否有过这种经历？

icfbicfb · 发表于 2011-9-14 20:46:20

floorplan 和formal没关系啊，错在哪里？
scan chain reorder了么，你是chip level是吧

9.1 出来2年了，问题不大，现在都10.1了

zhq415758192 · 发表于 2011-9-15 08:42:32

我也认为floorplan和formal没有关系的，
scan chain reorder了，

是chip level的，做block level时怎么改变布局，也没有出现过formal问题。

就是chip level 会有问题。

hawkz · 发表于 2011-9-15 09:43:57

从Formal工具的报错来看，到底是什么没有匹配上？

zhq415758192 · 发表于 2011-9-15 11:30:13

回复 2# icfbicfb

有很多fail point： DFF （D），latch （EN），memory的CEN 端。

icfbicfb · 发表于 2011-9-15 20:54:24

你 set_constant 0 SE/EN 端了么，在formal里面

tie到0 ， lec里面也设一样

zhq415758192 · 发表于 2011-9-15 21:00:24

设置了，今天小改动了floorplan， formal又ok了。

tuguoping1989 · 发表于 2014-3-8 20:38:30

正在学习汇总

gnoc · 发表于 2014-3-10 10:08:24

8.1都不稳定，何况更高版本乎。

[求助] 各位对encounter9.1印象如何？我感觉不太稳定啊！

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

相关帖子

浏览过的版块

站长推荐 /1