Hi friends
i have five benchmark circuit's namely s9234, s5378, s13207, s15850, s38584, s35932... How to convert this benchmark circuits to spice net list.. and which software can be used to done this conversion.
I think you can find them in the verilog format. If you get them in verilog format, perform synthesis and get the verilog gate-level netlist. Once you have netlist, you can write your own perl or python or tcl script to do the conversion or use the commercial tools such as suggested in the following threads