verilog_defaults -push -pop
read_verilog
proc
write_verilog synth.v