ArbIFSM.oracle
McCreight April 22, 1987 5:43:53 pm PDT
Last Edited by: McCreight December 4, 1987 1:41:14 pm PST
DevPriority DReq LGrantHL DGrant Reset | RqPrior[3] RqLength RqType Hold
First, reset the counters to 0.
071 0 0 0 1 | X X X X
071 0 0 0 1 | X X X X
071 0 0 0 1 | X X X X
071 0 0 0 1 | X X X X
071 0 0 0 1 | X X X X
Next, make a low-priority request,
071 2 0 0 0 | 7 1 0 0
071 0 0 0 0 | 4 1 0 0
and ACK it.
071 0 0 1 0 | 4 0 0 0
071 0 0 0 0 | 7 0 0 0
071 0 0 0 0 | 7 1 0 0
Next, make a low and a two high-priority requests,
071 2 0 0 0 | 7 1 0 0
071 3 0 0 0 | 4 1 0 0
071 3 0 0 0 | 1 0 0 0
and ACK them.
071 0 0 1 0 | 1 1 1 0
071 0 1 1 0 | 1 1 1 0
071 0 1 1 0 | 1 1 1 0
071 0 0 0 0 | 7 1 1 0
Next seize and release Hold.
071 1 0 0 0 | 7 1 0 0
071 0 0 0 0 | 7 1 0 1
071 0 0 0 0 | 7 1 0 0
Switch to FIFO mode
022 0 0 0 0 | 7 1 0 0
022 0 0 0 0 | 7 X 0 0
Make a long request, a short one, a long one, and a short one
022 3 0 0 0 | 7 X 0 0
022 2 0 0 0 | 0 X 0 0
022 3 0 0 0 | 0 1 0 0
022 2 0 0 0 | 0 1 0 0
and ACK them
022 0 0 1 0 | 0 1 0 0
022 0 0 1 0 | 0 1 0 0
022 0 0 1 0 | 0 0 0 0
022 0 0 1 0 | 0 1 0 0
022 0 0 0 0 | 7 0 0 0
Finally crash!!
022 0 0 0 0 | 6 X 0 0