digraph send_command {
    READY [shape="doublecircle",label="READY\ncounter=48\nready"]
    node [shape="ellipse"]
    SEND_CRC [label="SEND_CRC\n!ready\ncrc_start=1\nto_send={2'b01,command,arguments,8'b1}"]
    DELAY [label="DELAY\ncrc_start=0"]
    WAIT_CRC [label="WAIT_CRC\nto_send[7:1]=crc"]
    SEND_DATA [label="SEND_DATA\ncounter--\nsend_sd_cmd=to_send[counter-1]"]

    READY -> READY [label="!start"]
    READY -> SEND_CRC [label="start"]

    SEND_CRC -> DELAY;

    DELAY -> WAIT_CRC;

    WAIT_CRC -> WAIT_CRC [label="!crc_ready"]
    WAIT_CRC -> SEND_DATA [label="crc_ready"]

    SEND_DATA -> SEND_DATA [label="counter!=1"]
    SEND_DATA -> READY [label="counter==0"]


}