eMMC transfer state.jssm

machine_name      : "eMMC Transfer Mode";
machine_version   : 1.0.0;
machine_reference : ["https://www.design-reuse.com/news_img/20101001_2.gif",
                     "https://www.design-reuse.com/articles/24546/functional-fsm-paths-coverage-systemverilog.html"];

machine_author    : "John Haugeland <stonecypher@gmail.com>";
machine_license   : MIT;

jssm_version      : >= 5.0.0;
graph_layout      : dot;



NotInTransferMode 'CMD3' -> StandByState;

StandByState 'CMD5'         -> SleepState;
StandByState 'CMD40'        -> WaitIrqState;
StandByState 'CMD4,9,10,39' -> StandByState;
StandByState 'CMD7'         -> TransferState;

SleepState 'CMD5' -> StandByState;

WaitIrqState 'Any bit on bus' -> StandByState;

TransferState 'CMD7'                     -> StandByState;
TransferState 'CMD8,11,17,18,30,56r'     -> SendingDataState;
TransferState 'CMD16,23,35,36'           -> TransferState;
TransferState 'CMD19'                    -> BusTestState;
TransferState 'CMD20,24,25,26,27,42,56w' -> ReceiveDataState;
TransferState 'CMD6,28,29,38'            -> ProgrammingState;

SendingDataState 'CMD7'  -> StandByState;
SendingDataState 'CMD12' -> TransferState;

BusTestState 'CMD14' -> TransferState;

ReceiveDataState 'CMD12 or End' -> ProgrammingState;

ProgrammingState 'CMD24,25' -> ReceiveDataState;
ProgrammingState 'Complete' -> TransferState;
ProgrammingState 'CMD7'     -> DisconnectState;

DisconnectState 'CMD7'     -> ProgrammingState;
DisconnectState 'Complete' -> StandByState;

original was