IOBDynaBusReception.oracle
Jean-Marc Frailong April 21, 1987 10:58:34 am PDT
This file assumes that the DevNum is set externally to 05H and that FifoFull is grounded. It is closely derived form IOBHeaderDecoder.oracle and contains almost all of its tests.
Reminder on Cmd field (:5:) values:
8 IOReadRequest  9 IOReadReply
A IOWriteRequest  B IOWriteReply
C BIOWriteRequest  D BIOWriteReply
Reminder on address field structure (32 LSB):
Large: (DevType:4: = 2/3) (DevNum:4: = 5) (SubAddr:24:)
Medium: (DevType:8: = 2) (DevNum:8: = 50) (SubAddr:16:)
Outputs:
Reset (0), HeaderCycleIn (0), Cmd (5), Address (47)
Inputs:
NewRqst (0), IORange (0)
Reset HdrCycleIn Cmd Address | NewRqst IORange -- Comment
Test of the IOB DynaBus reception cell
Reset sequence
1 0 00 000000000000 | X X -- Unknown state
1 0 00 000000000000 | 0 0 -- Unknown state
1 0 00 000000000000 | 0 0 -- Unknown state
1 0 00 000000000000 | 0 0 -- Unknown state
1 0 00 000000000000 | 0 0 -- Unknown state
1 0 00 000000000000 | 0 0 -- Unknown state
1 0 00 000000000000 | 0 0 -- Reset state
0 0 00 000000000000 | 0 0 -- Check nothing happens when releasing Reset
0 0 00 000000000000 | 0 0 -- Check nothing happens when releasing Reset
Check reception decoding
Check large address space decoding
0 1 08 000005000000 | 0 0 -- Incorrect large address
0 1 08 000015000000 | 0 0 -- Incorrect large address
0 1 08 000025000000 | 0 0 -- Byte large address
0 1 08 000035000000 | 1 0 -- Half-word large address
0 1 08 000045000000 | 1 0 -- Full-word large address
0 1 08 000085000000 | 1 0 -- Incorrect large address
0 1 08 000020000000 | 0 0 -- Incorrect DevNum for large address
0 1 08 000021000000 | 0 0 -- Incorrect DevNum for large address
0 1 08 000022000000 | 0 0 -- Incorrect DevNum for large address
0 1 08 000024000000 | 0 0 -- Incorrect DevNum for large address
0 1 08 000028000000 | 0 0 -- Incorrect DevNum for large address
0 0 00 000000000000 | 0 0 -- must not be received
Check medium address space decoding
0 1 08 000000500000 | 0 0 -- Incorrect medium address
0 1 08 000001500000 | 0 0 -- Incorrect medium address
0 1 08 000002500000 | 0 0 -- Medium address
0 1 08 000003500000 | 1 1 -- Incorrect medium address
0 1 08 000004500000 | 0 0 -- Incorrect medium address
0 1 08 000008500000 | 0 0 -- Incorrect medium address
0 1 08 000002000000 | 0 0 -- Incorrect DevNum for medium address
0 1 08 000002100000 | 0 1 -- Incorrect DevNum for medium address
0 1 08 000002200000 | 0 1 -- Incorrect DevNum for medium address
0 1 08 000002400000 | 0 1 -- Incorrect DevNum for medium address
0 1 08 000002800000 | 0 1 -- Incorrect DevNum for medium address
0 1 08 000002510000 | 0 1 -- Check 4 LSB of DevNum unused for medium
0 1 08 000002520000 | 1 1 -- Check 4 LSB of DevNum unused for medium
0 1 08 000002540000 | 1 1 -- Check 4 LSB of DevNum unused for medium
0 1 08 000002580000 | 1 1 -- Check 4 LSB of DevNum unused for medium
0 0 00 000000000000 | 1 1 -- must be received
Check Cmd decoding
0 1 00 000025000000 | 0 0 -- Incorrect command
0 1 01 000025000000 | 0 0 -- Incorrect command
0 1 02 000025000000 | 0 0 -- Incorrect command
0 1 03 000025000000 | 0 0 -- Incorrect command
0 1 04 000025000000 | 0 0 -- Incorrect command
0 1 05 000025000000 | 0 0 -- Incorrect command
0 1 06 000025000000 | 0 0 -- Incorrect command
0 1 07 000025000000 | 0 0 -- Incorrect command
0 1 08 000025000000 | 0 0 -- Correct command
0 1 09 000025000000 | 1 0 -- Incorrect command
0 1 0A 000025000000 | 0 0 -- Correct command
0 1 0B 000025000000 | 1 0 -- Incorrect command
0 1 0C 000025000000 | 0 0 -- Correct command
0 1 0D 000025000000 | 1 0 -- Incorrect command
0 1 0E 000025000000 | 0 0 -- Incorrect command
0 1 0F 000025000000 | 0 0 -- Incorrect command
0 1 10 000025000000 | 0 0 -- Incorrect command
0 1 11 000025000000 | 0 0 -- Incorrect command
0 1 12 000025000000 | 0 0 -- Incorrect command
0 1 14 000025000000 | 0 0 -- Incorrect command
0 1 18 000025000000 | 0 0 -- Incorrect command
0 0 00 000000000000 | 0 0 -- must not be received
Check Address MSBs to 0
0 1 08 000025000000 | 0 0 -- Correct Addr MSB
0 1 08 000125000000 | 1 0 -- Incorrect Addr MSB
0 1 08 000225000000 | 0 0 -- Incorrect Addr MSB
0 1 08 000425000000 | 0 0 -- Incorrect Addr MSB
0 1 08 000825000000 | 0 0 -- Incorrect Addr MSB
0 1 08 001025000000 | 0 0 -- Incorrect Addr MSB
0 1 08 002025000000 | 0 0 -- Incorrect Addr MSB
0 1 08 004025000000 | 0 0 -- Incorrect Addr MSB
0 1 08 008025000000 | 0 0 -- Incorrect Addr MSB
0 1 08 010025000000 | 0 0 -- Incorrect Addr MSB
0 1 08 020025000000 | 0 0 -- Incorrect Addr MSB
0 1 08 040025000000 | 0 0 -- Incorrect Addr MSB
0 1 08 080025000000 | 0 0 -- Incorrect Addr MSB
0 1 08 100025000000 | 0 0 -- Incorrect Addr MSB
0 1 08 200025000000 | 0 0 -- Incorrect Addr MSB
0 1 08 400025000000 | 0 0 -- Incorrect Addr MSB
0 0 00 000000000000 | 0 0 -- must not be received
Check HdrCycleIn
0 0 08 000025000000 | 0 0 -- No header, won't decode properly
0 0 00 000000000000 | 0 0 -- must not be received
.