digraph iState{
    splines=polyline
    compound=true
    node [shape=Mrecord]
	edge [arrowhead=normal]

    IDLE -> WA  [label=<cached <br/>&amp; ~hit <br/>&amp; ~axi.addr_ok>]
    IDLE -> WD1 [label=<cached <br/>&amp; ~hit <br/>&amp; axi.addr_ok>]

    WA -> WD1  [label=<axi.addr_ok<br/>&amp;~axi.rvalid>]
    WA -> WD2  [label=<axi.addr_ok<br/>&amp;axi.rvalid>]
    
    WD1 -> WD2 [label="axi.rvalid"]

    WD2    -> WD3    [label=<axi.rvalid <br/>&amp; cached>]
    WD2    -> IDLE   [label=<axi.rvalid <br/>&amp; ~cached>]
    WD3    -> WD8    [style=dashed label="axi.rvalid"]
    WD8    -> REFILL [label="sync with dwState"]
    REFILL -> IDLE
}