add verilog/spice generation to marina.bsh