如何用formality产生eco脚本

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

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

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

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

好像不行，cadence conformal可以

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

谢陈小编，我用conform试试

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

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

学习中 好好学习