如何用formality产生eco脚本

14052011 · 发表于 2012-9-3 11:09:52

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

x

最近做的一个design，formality挂掉了，大概70个点有问题吧，
想用formality trace出来的结果做eco，但是对工具不是很熟悉。
请问大家平时都怎么用formality产生eco脚本的？
小弟在此谢过~~

papertiger · 发表于 2012-9-3 14:28:01

没听说过则种做法，为什么呢？

14052011 · 发表于 2012-9-3 15:26:10

回复 2# papertiger

就是想问问，formality能不能自动产生eco的脚本。我现在都是根据自己trace的结果来手动写eco脚本
感觉太麻烦了~~所以想问问大家平时都怎么做的~

14052011 · 发表于 2012-9-3 15:26:11

回复 2# papertiger

就是想问问，formality能不能自动产生eco的脚本。我现在都是根据自己trace的结果来手动写eco脚本
感觉太麻烦了~~所以想问问大家平时都怎么做的~

陈涛 · 发表于 2012-9-3 16:09:02

好像不行，cadence conformal可以

papertiger · 发表于 2012-9-3 16:52:16

逻辑上也没明白啊。
formality 是对比两个netlist 是否相同。
而eco 就可以直接读netlist ，自动修改的，为啥要走formality 这条路线？
难道是rtl change？

14052011 · 发表于 2012-9-3 19:47:32

回复 5# 陈涛

谢陈版主，我用conform试试~~

14052011 · 发表于 2012-9-3 19:49:22

回复 6# papertiger

就是PR之后的netlist和RTL比，出现了failure，所以想用eco来对PR的database做些修改
不用重新在跑一边PR了，节省时间嘛~

pv811_len · 发表于 2013-1-4 17:02:14

没听说过这种做法，工具没那么智能吧

messiwang2011 · 发表于 2013-2-27 13:55:02

学习中好好学习

[求助] 如何用formality产生eco脚本