Lava.Netlist