Verilog Netlist Writer (SNAP-15)   Gate-level verilog netlist writer from the database interface.