[_CD6_]<dragon7.0>SmallCache>Oracle>OutputAutomaton.oracle!1

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