read_verilog ../top.v

proc
opt -full
synth -top top

write_verilog synth.v