Netlist generation program