Symbolic Netlist to Innovus-friendly Netlist
run_lc_dc.csh \rm lc_shell*.log \rm dc_shell*.log ############################### # 1 gen *.db by *.lib # for example, AND_OR_INV.db. ############################### # get asap7nm/AND_OR_INV.db lc_shell -64bit -f gen_AND_OR_INV_db.tcl > lc_shell_AND_OR_INV_db.log ############################### # 2 syn symbolic netlist to Innovus-friendly *.v by *.db ############################### # test simple circuit (MAJ1-INV-MAJ2 symbolic expression) netlist by AND_OR_INV.db dc_shell -64bit -f MAJ1-INV-MAJ2_syn_AND_OR_INV_db.tcl > dc_shell_MAJ1-INV-MAJ2_syn_AND_OR_INV_db.log… read more »