US6792579B2 - Spice to Verilog Netlist Translator and Design Methods Using Spice to Verilog and Verilog to Spice Translation