fsm_map - mapping FSMs to basic logic#

yosys> help fsm_map#
fsm_map [selection]
This pass translates FSM cells to flip-flops and logic.