read_verilog ../top.v
write_spice sp.sp
write_verilog synth.v