Gates On the Fly, Netlist ECO 自动化工具 V4.1， 不需LICENSE

icaway

同意楼上

dfcan

我有一个ECO，参考Netlist 有新模块，但是有一ERROR
(E-067B) Sequential instance 'uconnew/cnt_reg[0]'  ...
AstPower 发表于 2014-4-8 11:49

                               
登录/注册后可看大图

建议把新模块Flatten掉，这样还可能省一些Gates, 因为已有的逻辑可能可以代替新的逻辑。如果用新模块加vmacro 选项，整个模块会加到ECO Netlist中去。

AstPower

多谢指点，有空试试 flatten 方式。我现在还在做 vmacro, 还是有点问题。

AstPower

undo_eco();
setup_eco("cmp_eco");
read_library("/lib/hvt65.lib");
read_library("/lib/svt65.lib");
read_design("-imp", "/net/cmp_gen.v");
read_design("-ref", "/net/cmp_gen_syn.v");
read_library("-vmacro", "/net/vmacro0.v");
fix_modules("cmp_gen");
report_eco;
check_design();
write_verilog("cmp_gen_eco.v");
以上是脚本，大牛指点哪里有问题。ECO一直出错，E-067B

dfcan

顺序错了，应该是
read_library("/lib/hvt65.lib");
read_library("/lib/svt65.lib");
read_library("-vmacro", "/net/vmacro0.v");
read_design("-imp", "/net/cmp_gen.v");
read_design("-ref", "/net/cmp_gen_syn.v");

AstPower

啊，低级错误。现在好了，谢谢！

kerl_cui

多谢分享！ 当下来学习学习！！

vjrao

有没有一个简单的GOF脚本，把Netlist中的 NOR2BX1 都换成 NOR2X1+INVX1
NOR2BX1有一个Input是反向的。譬如，

NOR2BX1 U1（.AN(n10), .B(n11), .Y(n12);
转换成
INVX1 Uinv(.A(n10), .Y(n10inv));
NOR2X1 U1(.A(n10inv), .B(n11), .Y(n12));

NOR2BX1有成千上万个，没法手工做。

dfcan

试试这个
my @cells = get_cells("-hier", "-ref", "NAND2BX1");
foreach my $cell (@cells){
  my $net = get_net_of("$cell/AN");
  new_net("invof_$net", "INVX1", "", "$net");
  change_gate($cell, "NAND2X2", ".A(invof_$net)");
}

vjrao

谢谢这段code，本来想用纯Perl来实现，发现用GOF更方便。加了一个exist_wire检测，不然会出错
my @cells = get_cells("-hier", "-ref", "NAND2BX1");
foreach my $cell (@cells){
  my $net = get_net_of("$cell/AN");
  if(exist_wire("invof_$net")==0){  
      new_net("invof_$net", "INVX1", "", "$net");
   }
  change_gate($cell, "NAND2X2", ".A(invof_$net)");
}