20 lines
654 B
Plaintext
20 lines
654 B
Plaintext
digraph iState{
|
|
splines=polyline
|
|
compound=true
|
|
node [shape=Mrecord]
|
|
edge [arrowhead=normal]
|
|
|
|
IDLE -> WA [label=<cached <br/>& ~hit <br/>& ~axi.addr_ok>]
|
|
IDLE -> WD1 [label=<cached <br/>& ~hit <br/>& axi.addr_ok>]
|
|
|
|
WA -> WD1 [label=<axi.addr_ok<br/>&~axi.rvalid>]
|
|
WA -> WD2 [label=<axi.addr_ok<br/>&axi.rvalid>]
|
|
|
|
WD1 -> WD2 [label="axi.rvalid"]
|
|
|
|
WD2 -> WD3 [label=<axi.rvalid <br/>& cached>]
|
|
WD2 -> IDLE [label=<axi.rvalid <br/>& ~cached>]
|
|
WD3 -> WD8 [style=dashed label="axi.rvalid"]
|
|
WD8 -> REFILL [label="sync with dwState"]
|
|
REFILL -> IDLE
|
|
} |