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