What is a netlist in vlsi