read_verilog ../top.v
proc
fsm -encoding one-hot

synth -top top