read_verilog ../top.v proc hierarchy submod -name fsm -name fsm2 synth -top top write_verilog synth.v
