read_verilog ../top.v
prep
dff2dffe
simplemap top
synth