read_verilog ../top.v
proc
dff2dffe
write_verilog -v synth.v