AfterFifo.oracle
Louis Monier December 15, 1987 11:49:08 am PST
-- Reset IGrant DataAv AccessError Cmd DevID Ad Data / IRequest IHeaderOut IDataOut Pop
-- vp must be 7 MOD 16 to be accepted
-- deviceID=3
R G DA E c dId Address Data  / R H DataOut    Pop
1 0 0 0 0 3FF FFFFFFFF FFFFFFFF | X X XXXXXXXXXXXXXXXX X  -- reset
1 0 0 0 0 3FF FFFFFFFF FFFFFFFF | X X XXXXXXXXXXXXXXXX X  -- reset
1 0 0 0 0 3FF FFFFFFFF FFFFFFFF | X X XXXXXXXXXXXXXXXX X  -- reset
1 0 0 0 0 3FF FFFFFFFF FFFFFFFF | X X XXXXXXXXXXXXXXXX X  -- reset
0 0 0 0 0 3FF FFFFFFFF FFFFFFFF | X X XXXXXXXXXXXXXXXX X  -- end of reset
-- WRITE ALL REGISTERS With BIOWrite
0 0 1 0 2 3FF 53800001 00000000 | 0 0 XXXXXXXXXXXXXXXX 0  -- Data Available
0 0 1 0 2 3FF 53800001 00000000 | 0 0 XXXXXXXXXXXXXXXX 1  -- BIOWrite: SharedPattern ← 0; pop
0 0 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 0 XXXXXXXXXXXXXXXX 0  -- idle
0 0 1 0 2 3FF 53800002 0003F000 | 0 0 XXXXXXXXXXXXXXXX 0  -- Data Available
0 0 1 0 2 3FF 53800002 0003F000 | 0 0 XXXXXXXXXXXXXXXX 1  -- BIOWrite: SharedMask ← 3F000; pop
0 0 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 0 XXXXXXXXXXXXXXXX 0  -- idle
0 0 1 0 2 3FF 53800003 00000100 | 0 0 XXXXXXXXXXXXXXXX 0  -- Data Available
0 0 1 0 2 3FF 53800003 00000100 | 0 0 XXXXXXXXXXXXXXXX 1  -- BIOWrite: BypassPattern ← 100; pop
0 0 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 0 XXXXXXXXXXXXXXXX 0  -- idle
0 0 1 0 2 3FF 53800004 00000F00 | 0 0 XXXXXXXXXXXXXXXX 0  -- Data Available
0 0 1 0 2 3FF 53800004 00000F00 | 0 0 XXXXXXXXXXXXXXXX 1  -- BIOWrite: BypassMask ← F00; pop
0 0 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 0 XXXXXXXXXXXXXXXX 0  -- idle
0 0 1 0 2 3FF 53800005 00000000 | 0 0 XXXXXXXXXXXXXXXX 0  -- Data Available
0 0 1 0 2 3FF 53800005 00000000 | 0 0 XXXXXXXXXXXXXXXX 1  -- BIOWrite: BypassBase ← 0; pop
0 0 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 0 XXXXXXXXXXXXXXXX 0  -- idle
0 0 1 0 2 3FF 53800006 00000007 | 0 0 XXXXXXXXXXXXXXXX 0  -- Data Available
0 0 1 0 2 3FF 53800006 00000007 | 0 0 XXXXXXXXXXXXXXXX 1  -- BIOWrite: VPPattern ← 7; pop
0 0 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 0 XXXXXXXXXXXXXXXX 0  -- idle
0 0 1 0 2 3FF 53800007 0000000F | 0 0 XXXXXXXXXXXXXXXX 0  -- Data Available
0 0 1 0 2 3FF 53800007 0000000F | 0 0 XXXXXXXXXXXXXXXX 1  -- BIOWrite: VPMask ← F; pop
0 0 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 0 XXXXXXXXXXXXXXXX 0  -- idle
0 0 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 0 XXXXXXXXXXXXXXXX 0  -- idle
0 0 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 0 XXXXXXXXXXXXXXXX 0  -- idle
0 0 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 0 XXXXXXXXXXXXXXXX 0  -- idle
0 0 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 0 XXXXXXXXXXXXXXXX 0  -- idle
-- WRITE REG
0 0 1 0 1 3FF 53800000 0000FFFF | 0 0 XXXXXXXXXXXXXXXX 0  -- Data Available
0 0 1 0 1 3FF 53800000 0000FFFF | 0 0 XXXXXXXXXXXXXXXX 1  -- IOWrite: aid ← -1; pop
0 0 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 0 XXXXXXXXXXXXXXXX 0  -- may request
0 0 0 0 0 3FF FFFFFFFF FFFFFFFF | 3 0 XXXXXXXXXXXXXXXX 0  -- request
0 0 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 0 XXXXXXXXXXXXXXXX 0  -- load reply
0 1 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 0 XXXXXXXXXXXXXXXX 0  -- grant; reply packet latched
0 1 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 1 99FF800053800000 0  -- header out
0 0 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 0 XXXXXXXXXXXXXXXX 0  -- data out
-- WRITE REG WITh ERROR
0 0 1 1 1 3FF 53800000 00002BAD | 0 0 XXXXXXXXXXXXXXXX 0  -- Data Available
0 0 1 1 1 3FF 53800000 00002BAD | 0 0 XXXXXXXXXXXXXXXX 1  -- IOWrite: aid ← 2BAD, but should not write; pop
0 0 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 0 XXXXXXXXXXXXXXXX 0  -- may request
0 0 0 0 0 3FF FFFFFFFF FFFFFFFF | 3 0 XXXXXXXXXXXXXXXX 0  -- request
0 0 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 0 XXXXXXXXXXXXXXXX 0  -- load reply
0 1 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 0 XXXXXXXXXXXXXXXX 0  -- grant; reply packet latched
0 1 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 1 9DFF800053800000 0  -- header out
0 0 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 0 XXXXXXXX00C00001 0  -- data out
-- READ REG
0 0 1 0 0 3FF 53800000 00000000 | 0 0 XXXXXXXXXXXXXXXX 0  -- Data Available
0 0 1 0 0 3FF 53800000 00000000 | 0 0 XXXXXXXXXXXXXXXX 1  -- IORead: aid; pop
0 0 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 0 XXXXXXXXXXXXXXXX 0  -- may request
0 0 0 0 0 3FF FFFFFFFF FFFFFFFF | 3 0 XXXXXXXXXXXXXXXX 0  -- request
0 0 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 0 XXXXXXXXXXXXXXXX 0  -- load reply
0 1 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 0 XXXXXXXXXXXXXXXX 0  -- grant; reply packet latched
0 1 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 1 89FF800053800000 0  -- header out
0 0 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 0 XXXXXXXXXXXXFFFF 0  -- data out: aid=-1
-- DIRECT MAPPING
0 0 1 0 6 3FF A7B6CFFF 0000FFFF | 0 0 XXXXXXXXXXXXXXXX 0  -- Data Available
0 0 1 0 6 3FF A7B6CFFF 0000FFFF | 0 0 XXXXXXXXXXXXXXXX 1  -- Map: aid=-1; pop
0 0 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 0 XXXXXXXXXXXXXXXX 0  -- may request
0 0 0 0 0 3FF FFFFFFFF FFFFFFFF | 3 0 XXXXXXXXXXXXXXXX 0  -- request
0 0 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 0 XXXXXXXXXXXXXXXX 0  -- load reply
0 1 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 0 XXXXXXXXXXXXXXXX 0  -- grant; reply packet latched
0 1 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 1 E9FF8000A7B6CC0C 0  -- header out: rp=vp, flags=1100
0 0 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 0 XXXXXXXXXXXXXXXX 0  -- data out
-- READ ENTRY (DIRECT MAPPING)
0 0 1 0 0 3FF 5302C00D 00000000 | 0 0 XXXXXXXXXXXXXXXX 0  -- Data Available
0 0 1 0 0 3FF 5302C00D 00000000 | 0 0 XXXXXXXXXXXXXXXX 1  -- IORead: aid=-1; pop
0 0 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 0 XXXXXXXXXXXXXXXX 0  -- may request
0 0 0 0 0 3FF FFFFFFFF FFFFFFFF | 3 0 XXXXXXXXXXXXXXXX 0  -- request
0 0 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 0 XXXXXXXXXXXXXXXX 0  -- load reply
0 1 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 0 XXXXXXXXXXXXXXXX 0  -- grant; reply packet latched
0 1 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 1 89FF80005302C00D 0  -- header out
0 0 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 0 000000000B00340C 0  -- data out: rp=vp, flags=1100
-- WRITE AID
0 0 1 0 1 3FF 53800000 00000007 | 0 0 XXXXXXXXXXXXXXXX 0  -- Data Available
0 0 1 0 1 3FF 53800000 00000007 | 0 0 XXXXXXXXXXXXXXXX 1  -- IOWrite: aid ← 7; pop
0 0 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 0 XXXXXXXXXXXXXXXX 0  -- may request
0 0 0 0 0 3FF FFFFFFFF FFFFFFFF | 3 0 XXXXXXXXXXXXXXXX 0  -- request
0 0 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 0 XXXXXXXXXXXXXXXX 0  -- load reply
0 1 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 0 XXXXXXXXXXXXXXXX 0  -- grant; reply packet latched
0 1 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 1 99FF800053800000 0  -- header out
0 0 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 0 XXXXXXXXXXXXXXXX 0  -- data out
-- WRITE ENTRY IN CACHE
0 0 1 0 1 3FF 534010AB ABCD0003 | 0 0 XXXXXXXXXXXXXXXX 0  -- Data Available
0 0 1 0 1 3FF 534010AB ABCD0003 | 0 0 XXXXXXXXXXXXXXXX 1  -- IOWrite: vp=010AB, aid=7; pop
0 0 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 0 XXXXXXXXXXXXXXXX 0  -- may request
0 0 0 0 0 3FF FFFFFFFF FFFFFFFF | 3 0 XXXXXXXXXXXXXXXX 0  -- request
0 0 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 0 XXXXXXXXXXXXXXXX 0  -- load reply
0 1 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 0 XXXXXXXXXXXXXXXX 0  -- grant; reply packet latched
0 1 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 1 99FF8000534010AB 0  -- header out
0 0 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 0 XXXXXXXXXXXXXXXX 0  -- data out
-- READ ENTRY FROM CACHE
0 0 1 0 0 3FF 530010AB 00000000 | 0 0 XXXXXXXXXXXXXXXX 0  -- Data Available
0 0 1 0 0 3FF 530010AB 00000000 | 0 0 XXXXXXXXXXXXXXXX 1  -- IORead: aid=7; pop
0 0 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 0 XXXXXXXXXXXXXXXX 0  -- may request
0 0 0 0 0 3FF FFFFFFFF FFFFFFFF | 3 0 XXXXXXXXXXXXXXXX 0  -- request
0 0 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 0 XXXXXXXXXXXXXXXX 0  -- load reply
0 1 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 0 XXXXXXXXXXXXXXXX 0  -- grant; reply packet latched
0 1 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 1 89FF8000530010AB 0  -- header out
0 0 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 0 00000000ABCD0003 0  -- data out: rp, flags
-- READ ENTRY FROM CACHE WITH MISMATCH
0 0 1 0 0 3FF 5300AB10 00000000 | 0 0 XXXXXXXXXXXXXXXX 0  -- Data Available
0 0 1 0 0 3FF 5300AB10 00000000 | 0 0 XXXXXXXXXXXXXXXX 1  -- IORead: aid=7; pop
0 0 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 0 XXXXXXXXXXXXXXXX 0  -- may request
0 0 0 0 0 3FF FFFFFFFF FFFFFFFF | 3 0 XXXXXXXXXXXXXXXX 0  -- request
0 0 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 0 XXXXXXXXXXXXXXXX 0  -- load reply
0 1 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 0 XXXXXXXXXXXXXXXX 0  -- grant; reply packet latched
0 1 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 1 8DFF80005300AB10 0  -- header out
0 0 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 0 XXXXXXXX00C00007 0  -- data out: rp, flags
0 0 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 0 XXXXXXXXXXXXXXXX 0  -- idle
0 0 0 0 0 3FF FFFFFFFF FFFFFFFF | 0 0 XXXXXXXXXXXXXXXX 0  -- idle
.