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