NanDigits Gates On the Fly (GOF) 5.2刚刚发布

chenfengrugao

美国NanDigits刚刚发布了芯片ECO利器－Gates On the Fly (GOF) 5.2

新特性：            

• 至顶向下ECO，不需要再指定ECO的子模块名
• 新增全局的逻辑等价性检查（LEC）功能
• 新增API：‘fix_design’

gatesonthefly52-64-bits.tar.gz (5.62 MB, 下载次数: 54 )

2017-2-9 13:07 上传

点击文件名下载附件
GOF5.2 64位安装包

gatesonthefly52.tar.gz (5.47 MB, 下载次数: 32 )

2017-2-9 13:08 上传

点击文件名下载附件
GOF5.2 32位安装包

也可以到这里下载http://www.nandigits.cn/download.php

点这里免费申请试用License

ab3028

Thank you.

chenfengrugao

大家在申请License的时候请提供真实有效的服务器MAC地址哦，不然没法产生合法的License

chenfengrugao

昨天申请license的网页遇到点技术问题，现在已经修复。大家可以正常申请license了。

sjsjo

能跟Conformal ECO比吗？

chenfengrugao

回复 5# sjsjo

易用性、丰富的api超过cadence conformal eco。
eco使用的最少spare cell资源，与conformal eco相当。不少case也是优于conformal。
打折后的license价格只是conformal eco的零头。

但GOF做超大网表eco花费时间比conformal长一些。GOF对于中等网表速度还可以。超大网表建议使用GOF的partial eco模式。

icaway

好，竞争是好东西

sjsjo

回复 7# icaway

说得太对了，竞争才有低价格好服务。要没有AMD，Intel CPU用不起

icaway

楼主，工具里的LEC 能用吗？

chenfengrugao

回复 9# icaway


    GOF里的LEC功能能用。

LEC功能主要有两个作用：
1. 做ECO之前自动对比做出PR网表和Re-synthesis网表的差异。
2. 做完ECO后，检查ECO后的PR网表和Re-synthesis网表是否等价。

举个例子：
use strict;
undo_eco;
my $econame = "eco" . `date +%y%m%d`;
chomp($econame);
set_log_file("$econame.log");
setup_eco($econame);

# Read libs and designs
read_library("../../stdlib/XXX_1P8V_25C.lib");

set_noexact_pin_match('\bIN\d+\b');

read_design('-ref', '../data/xxx_resyn.v');
read_design('-imp', '../data/xxx_pr.v');

set_top("digital_top");
fix_design;    #做ECO                        
my $noneq = LEC;   #做完ECO检查是否等价

if($noneq){
report_eco();
write_verilog("../data/xxx_pr_eco.v");
write_soce("enc_eco1.tcl");
}else{
    print "LEC check: failed\n";
}

exit;


部分log如下：
# Check Logic Equvalence on module digital_top                  
NONEQ: Instance u_xxxctrl_top/u_spi2xxx/spi_start_reg                        
NONEQ: Instance u_xxxctrl_top/u_spi2xxx/spi_di2_dly_reg_0_                        
NONEQ: Instance u_xxxctrl_top/u_spi2xxx/spi_di2_dly_reg_1_                        
NONEQ: Instance u_xxxctrl_top/u_spi2xxx/spi_di2_dly_reg_2_                        
NONEQ: Instance u_xxxctrl_top/u_spi2xxx/spi_di2_dly_reg_3_                        
NONEQ: Instance u_xxxctrl_top/u_spi2xxx/spi_di2_dly_reg_4_                        
NONEQ: Instance u_xxxctrl_top/u_spi2xxx/spi_di2_dly_reg_5_                        
NONEQ: Instance u_xxxctrl_top/u_spi2xxx/spi_di_dly_reg_10_                        
NONEQ: Instance u_xxxctrl_top/u_spi2xxx/spi_di_dly_reg_11_                        
NONEQ: Instance u_xxxctrl_top/u_spi2xxx/spi_di_dly_reg_12_                        
NONEQ: Instance u_xxxctrl_top/u_spi2xxx/spi_di_dly_reg_13_                        
NONEQ: Instance u_xxxctrl_top/u_spi2xxx/spi_di_dly_reg_14_                        
NONEQ: Instance u_xxxctrl_top/u_spi2xxx/spi_di_dly_reg_15_                        
NONEQ: Instance u_xxxctrl_top/u_spi2xxx/spi_di_dly_reg_16_                        
NONEQ: Instance u_xxxctrl_top/u_spi2xxx/spi_di_dly_reg_17_                        
NONEQ: Instance u_xxxctrl_top/u_spi2xxx/spi_di_dly_reg_6_                        
NONEQ: Instance u_xxxctrl_top/u_spi2xxx/spi_di_dly_reg_7_                        
NONEQ: Instance u_xxxctrl_top/u_spi2xxx/spi_di_dly_reg_8_                        
NONEQ: Instance u_xxxctrl_top/u_spi2xxx/spi_di_dly_reg_9_                        
Total 4300 points have been compared, 4281 equivalent, 19 non-equivalent
MODULE digital_top is NOT EQUIVALENT
...
# Run LEC on module digital_top
Total 4300 points have been compared, 4300 equivalent, 0 non-equivalent
MODULE digital_top is EQUIVALENT
ECO Report for 'eco170119'