OutputAutomaton.oracle
Pradeep Sindhu June 26, 1987 11:31:59 pm PDT
Reset Sequence is:
One (?) cycle of Reset
Grant L| Send5 Send2 H5 D5 D1234ifD5 HD2 HifHD2
Reset
0 X | X X X X X X X
0 0 | X X X X X X X
Test 5 cycles packets
0 1 | 0 0 1 0 X 0 X -- Header
1 X | 1 0 0 1 8 0 X -- D1 first and tell FIFO to send data
1 X | 0 0 0 1 4 0 X -- D2
1 X | 0 0 0 1 2 0 X -- D3
1 X | 0 0 0 1 1 0 X -- D4
1 0 | X X X X X X X -- just to separate things
Test 2 cycles packets
0 0 | 0 0 0 0 X 1 1 -- Header
1 X | 0 1 0 0 X 1 0 -- Data
1 0 | X X X X X X X -- just to separate things
Test miscellaneous combinations
0 0 | 0 0 0 0 X 1 1 -- a 2 cycle packet
1 X | 0 1 0 0 X 1 0 -- Data
1 1 | 0 0 1 0 X 0 X -- a 5 cycle packet
1 X | 1 0 0 1 8 0 X -- D1 first and tell FIFO to send data
1 X | 0 0 0 1 4 0 X -- D2
1 X | 0 0 0 1 2 0 X -- D3
1 X | 0 0 0 1 1 0 X -- D4
1 0 | 0 0 0 0 X 1 1 -- a 2 cycle packet
1 X | 0 1 0 0 X 1 0 -- Data
1 X | X X X X X X X -- just to terminate
And stop
0 0 | 1 1 X X X X X