Example: --create-onehot-fsms

The following code snippet shows an example of the FSM encoding section in the map.rpt file.

### ### Finite State Machine Report (begin) ### ### ### 
Module apb3_slave
-----------------
Recognized state machine 'busState' with states :
    "00"   :    IDLE
    "01"   :    SETUP
    "10"   :    ACCESS

Module axi4_slave
-----------------
Recognized state machine 'busState' with states :
    "000"   :    IDLE
    "001"   :    PRE_WR
    "100"   :    PRE_RD
    "010"   :    WR
    "011"   :    WR_RESP
    "101"   :    RD