how to convert benchmark circuit into netlist?

[itsprabhucbe]

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.

 

[tariq786]

what is the format of these benchmark circuits?

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

https://www.edaboard.com/threads/69923/

https://www.cadence.com/Community/forums/p/13538/22422.aspx

Hope this helps