Victim.oracle
Pradeep Sindhu June 30, 1987 2:29:59 pm PDT
Paraminder Sahai June 29, 1987 5:23:05 pm PDT
TEST COMPLETED Feb 11, 1987 [PSS]
Modified March 17, 1987 5:36:39 pm PST to add AVct
Checked again after putting together cache top level June 30, 1987 2:29:48 pm PDT [PSS]
Signal Order is:
R x x P P P V | U V A
e E W C C C M | s i V
s n t t t t a | e c c
e C M l l l t | t t
t a c P S F c | i
m h a h r h | m
S V r f z |
e C t t V |
l a V V i |
m m i c |
Check that it resets properly:
1 x x x 0 0 ( x x x x x ) | ( x x x x x ) ( x x x x x ) x
1 x x x 0 0 ( x x x x x ) | ( x x x x x ) ( 0 0 0 0 1 ) 1
Check that LdUse works:
1 0 1 0 0 0 ( 0 0 0 0 0 ) | ( x x x x x ) ( 0 0 0 0 1 ) 1
0 0 0 0 0 0 ( 1 1 1 1 1 ) | ( x x x x x ) ( 0 0 0 0 1 ) 1
0 0 0 0 0 0 ( 0 0 0 0 0 ) | ( 1 1 1 1 1 ) ( 0 0 0 0 1 ) 1
Check that Victim clears each of the Use bits in turn
0 0 0 0 0 0 ( 0 0 0 0 0 ) | ( 1 1 1 1 0 ) ( 0 0 0 1 0 ) 1
0 0 0 0 0 0 ( 0 0 0 0 0 ) | ( 1 1 1 0 0 ) ( 0 0 1 0 0 ) 1
0 0 0 0 0 0 ( 0 0 0 0 0 ) | ( 1 1 0 0 0 ) ( 0 1 0 0 0 ) 1
0 0 0 0 0 0 ( 0 0 0 0 0 ) | ( 1 0 0 0 0 ) ( 1 0 0 0 0 ) 1
0 0 0 0 0 0 ( 0 0 0 0 0 ) | ( 0 0 0 0 0 ) ( 0 0 0 0 1 ) 1
0 0 0 0 0 0 ( 0 0 0 0 0 ) | ( 0 0 0 0 0 ) ( 0 0 0 0 1 ) 1
Turn on a few Use bits and then bump Victim by setting its Use bit
0 0 1 0 0 0 ( 0 0 0 0 0 ) | ( 0 0 0 0 0 ) ( 0 0 0 0 1 ) 1
0 0 1 0 0 0 ( 0 0 1 1 0 ) | ( 0 0 0 0 0 ) ( 0 0 0 0 1 ) 1
0 0 0 0 0 0 ( 0 0 0 0 1 ) | ( 0 0 1 1 0 ) ( 0 0 0 0 1 ) 1
0 0 0 0 0 0 ( 0 0 0 0 0 ) | ( 0 0 1 1 1 ) ( 0 0 0 0 1 ) 1
0 0 0 0 0 0 ( 0 0 0 0 0 ) | ( 0 0 1 1 0 ) ( 0 0 0 1 0 ) 1
0 0 0 0 0 0 ( 0 0 0 0 0 ) | ( 0 0 1 0 0 ) ( 0 0 1 0 0 ) 1
0 0 0 0 0 0 ( 0 0 0 0 0 ) | ( 0 0 0 0 0 ) ( 0 1 0 0 0 ) 1
0 0 0 0 0 0 ( 0 0 0 0 0 ) | ( 0 0 0 0 0 ) ( 0 1 0 0 0 ) 1
Check that Set overrides Clear
0 0 1 0 0 0 ( 0 1 0 0 0 ) | ( 0 0 0 0 0 ) ( 0 1 0 0 0 ) 1
0 0 1 0 0 0 ( 0 1 0 0 0 ) | ( 0 0 0 0 0 ) ( 0 1 0 0 0 ) 1
0 0 0 0 0 0 ( 0 1 0 0 0 ) | ( 0 1 0 0 0 ) ( 0 1 0 0 0 ) 1
0 0 0 0 0 0 ( 0 0 0 0 0 ) | ( 0 1 0 0 0 ) ( 1 0 0 0 0 ) 1
Check that FreezeVictim works
0 0 1 0 0 0 ( 0 0 0 0 0 ) | ( 0 1 0 0 0 ) ( 1 0 0 0 0 ) 1
0 0 0 0 0 0 ( 1 1 1 1 1 ) | ( 0 1 0 0 0 ) ( 1 0 0 0 0 ) 1
0 0 0 0 0 1 ( 0 0 0 0 0 ) | ( 1 1 1 1 1 ) ( 1 0 0 0 0 ) 1
0 0 0 0 0 0 ( 0 0 0 0 0 ) | ( 0 1 1 1 1 ) ( 1 0 0 0 0 ) 1
0 0 0 0 0 0 ( 0 0 0 0 0 ) | ( 0 1 1 1 1 ) ( 1 0 0 0 0 ) 1
Check that ShftVictim works (try both oldUse=0 and oldUse=1)
0 0 0 0 1 0 ( 0 0 0 0 0 ) | ( 0 1 1 1 1 ) ( 1 0 0 0 0 ) 1
0 0 0 0 0 0 ( 0 0 0 0 0 ) | ( 1 1 1 1 1 ) ( 1 0 0 0 0 ) 1
0 0 0 0 0 0 ( 0 0 0 0 0 ) | ( 0 1 1 1 1 ) ( 0 0 0 0 1 ) 1
0 0 0 0 0 0 ( 0 0 0 0 0 ) | ( 0 1 1 1 0 ) ( 0 0 0 1 0 ) 1
0 0 0 0 0 0 ( 0 0 0 0 0 ) | ( 0 1 1 0 0 ) ( 0 0 1 0 0 ) 1
0 0 0 0 1 0 ( 0 0 0 0 0 ) | ( 0 1 0 0 0 ) ( 0 1 0 0 0 ) 1
0 0 0 0 0 0 ( 0 0 0 0 0 ) | ( 0 1 0 0 0 ) ( 1 0 0 0 0 ) 1
0 0 0 0 1 0 ( 0 0 0 0 0 ) | ( 0 1 0 0 0 ) ( 1 0 0 0 0 ) 1
0 0 0 0 0 0 ( 0 0 0 0 0 ) | ( 1 1 0 0 0 ) ( 1 0 0 0 0 ) 1
0 0 0 0 1 0 ( 0 0 0 0 0 ) | ( 0 1 0 0 0 ) ( 0 0 0 0 1 ) 1
0 0 0 0 0 0 ( 0 0 0 0 0 ) | ( 0 1 0 0 1 ) ( 0 0 0 0 1 ) 1
0 0 0 0 0 0 ( 0 0 0 0 0 ) | ( 0 1 0 0 0 ) ( 0 0 0 1 0 ) 1
Check that combinations of xEnCamSel, xWtMchVCam and PCtlPartVMch other than 010 don't set the use bit
0 0 0 1 0 0 ( 0 0 0 0 0 ) | ( 0 1 0 0 0 ) ( 0 0 0 1 0 ) 1
0 0 1 1 0 0 ( 1 1 1 1 1 ) | ( 0 1 0 0 0 ) ( 0 0 0 1 0 ) 1
0 1 0 0 0 0 ( 1 1 1 1 1 ) | ( 0 1 0 0 0 ) ( 0 0 0 1 0 ) 1
0 1 0 1 0 0 ( 1 1 1 1 1 ) | ( 0 1 0 0 0 ) ( 0 0 0 1 0 ) 1
0 1 1 0 0 0 ( 1 1 1 1 1 ) | ( 0 1 0 0 0 ) ( 0 0 0 1 0 ) 1
0 1 1 1 0 0 ( 1 1 1 1 1 ) | ( 0 1 0 0 0 ) ( 0 0 0 1 0 ) 1
0 0 1 0 0 0 ( 1 1 1 1 1 ) | ( 0 1 0 0 0 ) ( 0 0 0 1 0 ) 1
0 0 0 0 0 0 ( 1 1 1 1 1 ) | ( 0 1 0 0 0 ) ( 0 0 0 1 0 ) 1
0 0 0 0 0 0 ( 0 0 0 0 0 ) | ( 1 1 1 1 1 ) ( 0 0 0 1 0 ) 1
0 0 0 0 0 0 ( 0 0 0 0 0 ) | ( 1 1 1 0 1 ) ( 0 0 1 0 0 ) 1
.