https://blog.xjtag.com/2009/08/netlist-formats/