[_CD6_]<dragon7.0>SmallCache>Oracle>SmallCacheInner-WriteBlocks.oracle!3

SmallCacheInner-WriteBlocks.oracle

Pradeep Sindhu May 6, 1988 11:32:38 pm PDT

TEST COMPLETE

NB: Each line corresponds to one cycle of the DynaBus clock

The state of the cache following Reset is: all x's except for signals set otherwise by the hardware

← Logic.SetOracleFileName["SmallCacheInnerTest", "SmallCacheInner-WriteBlocks"]

← SmallCacheLogic.ArrayPutState[SmallCacheLogic.cacheStateValueG]

Perform the reset sequence:

Assert Reset till x's get flushed out (the last signal appears to be RamForP, which settles 3 cycles after BCtlRamForBCWS6, which settles in cycle 6):

Pradeep Sindhu May 6, 1988 6:28:09 pm PDT

D D D n n D D B B G G I P P P P | D H B B B R S P P P P P

S A E D D S S C D L r S m C B D | B d D O S e S R F F D R

h d x F R e e y a e a S o m y a | u r a w h q t e a a a e

i d e r e r l c t n n t d d t t | s C t n a u o j u u t s

f r c e s i e l a g t o e I e a | O y a e r e p e l l a c

t e u e e a c e I t p I n S | u c O r e s O c t t h

C s t z t l t 0 n h I n e | t l u O d t u t C e

k s e e I n l | e t u O t o d

n I | O t u d u

n | u t e l

| t e

|

( 0 0 0 1 0 0 ) 0 0 0000 0 0 0 0 0 0 00 | x x xxxx x x x x x x x xx x --A

( 0 0 0 1 0 0 ) 0 0 0000 0 0 0 0 0 0 00 | x x xxxx x x x x x x x xx x

( 0 0 0 1 0 0 ) 0 0 0000 0 0 0 0 0 0 00 | x x xxxx x x x x x x x xx x --B

( 0 0 0 1 0 0 ) 0 0 0000 0 0 0 0 0 0 00 | x x xxxx x x x x x x x xx x

( 0 0 0 1 0 0 ) 0 0 0000 0 0 0 0 0 0 00 | x x xxxx x x x x x 0 x xx x --A

( 0 0 0 1 0 0 ) 0 0 0000 0 0 0 0 0 0 00 | x x xxxx x x x x x 0 x xx x

( 0 0 0 1 0 0 ) 0 0 0000 0 0 0 0 0 0 00 | x x xxxx x x x x x 0 x xx x --B

( 0 0 0 1 0 0 ) 0 0 0000 0 0 0 0 0 0 00 | x x xxxx x x x x x 0 x xx x

( 0 0 0 1 0 0 ) 0 0 0000 0 0 0 0 0 0 00 | x x xxxx x x x x x 0 x xx x --A

( 0 0 0 1 0 0 ) 0 0 0000 0 0 0 0 0 0 00 | x x xxxx x x x x x 0 x xx x

( 0 0 0 1 0 0 ) 0 0 0000 0 0 0 0 0 0 00 | x x xxxx x x x x x 0 x xx x --B

( 0 0 0 1 0 0 ) 0 0 0000 0 0 0 0 0 0 00 | x x xxxx x x x x x 0 x xx x

( 0 0 0 1 0 0 ) 0 0 0000 0 0 0 0 0 0 00 | x x xxxx x x x x x 0 x xx x --A

( 0 0 0 1 0 0 ) 0 0 0000 0 0 0 0 0 0 00 | x x xxxx x x x x x 0 x xx x

( 0 0 0 1 0 0 ) 0 0 0000 0 0 0 0 0 0 00 | x x xxxx x x x x x 0 x xx x --B

( 0 0 0 1 0 0 ) 0 0 0000 0 0 0 0 0 0 00 | x x xxxx x x x x 0 0 x xx x

( 0 0 0 1 0 0 ) 0 0 0000 0 0 0 0 0 0 00 | x x xxxx x x x x 0 0 x xx x --A

( 0 0 0 1 0 0 ) 0 0 0000 0 0 0 0 0 0 00 | x x xxxx x x x x 0 0 x xx x

( 0 0 0 1 0 0 ) 0 0 0000 0 0 0 0 0 0 00 | x x xxxx x x x x 0 0 x xx x --B

( 0 0 0 1 0 0 ) 0 0 0000 0 0 0 0 0 0 00 | x x xxxx x x x x 0 0 x xx x

( 0 0 0 1 0 0 ) 0 0 0000 0 0 0 0 0 0 00 | x x xxxx x x x x 0 0 x xx x --A

( 0 0 0 1 0 0 ) 0 0 0000 0 0 0 0 0 0 00 | x x xxxx x x x x 0 0 x xx x

( 0 0 0 1 0 0 ) 0 0 0000 0 0 0 0 0 0 00 | x x xxxx x x x x 0 0 x xx x --B

( 0 0 0 1 0 0 ) 0 0 0000 0 0 0 0 0 0 00 | x x xxxx x x x x 0 0 x xx x

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 00 | x 0 xxxx 0 0 0 0 0 0 x xx x --A

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 00 | x 0 xxxx 0 0 0 0 0 0 x xx x

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 00 | x 0 xxxx 0 0 0 0 0 0 x xx x --B

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 00 | x 0 xxxx 0 0 0 0 0 0 x xx x

Check that chip Id can be read out (scan path 0):

D D D n n D D B B G G I P P P P | D H B B B R S P P P P P

S A E D D S S C D L r S m C B D | B d D O S e S R F F D R

h d x F R e e y a e a S o m y a | u r a w h q t e a a a e

i d e r e r l c t n n t d d t t | s C t n a u o j u u t s

f r c e s i e l a g t o e I e a | O y a e r e p e l l a c

t e u e e a c e I t p I n S | u c O r e s O c t t h

C s t z t l t 0 n h I n e | t l u O d t u t C e

k s e e I n l | e t u O t o d

n I | O t u d u

n | u t e l

| t e

|

( 0 1 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 00 | x 0 xxxx 0 0 0 0 0 0 x xx x --A

( 1 1 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 00 | x 0 xxxx 0 0 0 0 0 0 x xx x

( 0 1 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 00 | x 0 xxxx 0 0 0 0 0 0 x xx x --B

( 1 1 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 00 | x 0 xxxx 0 0 0 0 0 0 x xx x

( 0 1 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 00 | x 0 xxxx 0 0 0 0 0 0 x xx x --A

( 1 1 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 00 | x 0 xxxx 0 0 0 0 0 0 x xx x

( 0 0 0 1 1 0 ) 1 0 0000 0 0 0 0 0 0 00 | 0 0 xxxx 0 0 0 0 0 0 x xx x --B

( 1 0 0 1 1 0 ) 1 0 0000 0 0 0 0 0 0 00 | 1 0 xxxx 0 0 0 0 0 0 x xx x

( 0 0 0 1 1 0 ) 1 0 0000 0 0 0 0 0 0 00 | 1 0 xxxx 0 0 0 0 0 0 x xx x --A

( 1 0 0 1 1 0 ) 1 0 0000 0 0 0 0 0 0 00 | 0 0 xxxx 0 0 0 0 0 0 x xx x

( 0 0 0 1 1 0 ) 1 0 0000 0 0 0 0 0 0 00 | 0 0 xxxx 0 0 0 0 0 0 x xx x --B

( 1 0 0 1 1 0 ) 1 0 0000 0 0 0 0 0 0 00 | 1 0 xxxx 0 0 0 0 0 0 x xx x

( 0 0 0 1 1 0 ) 1 0 0000 0 0 0 0 0 0 00 | 1 0 xxxx 0 0 0 0 0 0 x xx x --A

( 1 0 0 1 1 0 ) 1 0 0000 0 0 0 0 0 0 00 | 0 0 xxxx 0 0 0 0 0 0 x xx x

( 0 0 0 1 1 0 ) 1 0 0000 0 0 0 0 0 0 00 | 0 0 xxxx 0 0 0 0 0 0 x xx x --B

( 1 0 0 1 1 0 ) 1 0 0000 0 0 0 0 0 0 00 | 0 0 xxxx 0 0 0 0 0 0 x xx x

( 0 0 0 1 1 0 ) 1 0 0000 0 0 0 0 0 0 00 | 0 0 xxxx 0 0 0 0 0 0 x xx x --A

( 1 0 0 1 1 0 ) 1 0 0000 0 0 0 0 0 0 00 | 0 0 xxxx 0 0 0 0 0 0 x xx x

( 0 0 0 1 1 0 ) 1 0 0000 0 0 0 0 0 0 00 | 0 0 xxxx 0 0 0 0 0 0 x xx x --B

( 1 0 0 1 1 0 ) 1 0 0000 0 0 0 0 0 0 00 | 1 0 xxxx 0 0 0 0 0 0 x xx x

( 0 0 0 1 1 0 ) 1 0 0000 0 0 0 0 0 0 00 | 1 0 xxxx 0 0 0 0 0 0 x xx x --A

( 1 0 0 1 1 0 ) 1 0 0000 0 0 0 0 0 0 00 | 0 0 xxxx 0 0 0 0 0 0 x xx x

( 0 0 0 1 1 0 ) 1 0 0000 0 0 0 0 0 0 00 | 0 0 xxxx 0 0 0 0 0 0 x xx x --B

( 1 0 0 1 1 0 ) 1 0 0000 0 0 0 0 0 0 00 | 1 0 xxxx 0 0 0 0 0 0 x xx x

( 0 0 0 1 1 0 ) 1 0 0000 0 0 0 0 0 0 00 | 1 0 xxxx 0 0 0 0 0 0 x xx x --A

( 1 0 0 1 1 0 ) 1 0 0000 0 0 0 0 0 0 00 | 0 0 xxxx 0 0 0 0 0 0 x xx x

( 0 0 0 1 1 0 ) 1 0 0000 0 0 0 0 0 0 00 | 0 0 xxxx 0 0 0 0 0 0 x xx x --B

( 1 0 0 1 1 0 ) 1 0 0000 0 0 0 0 0 0 00 | 1 0 xxxx 0 0 0 0 0 0 x xx x

( 0 0 0 1 1 0 ) 1 0 0000 0 0 0 0 0 0 00 | 1 0 xxxx 0 0 0 0 0 0 x xx x --A

( 1 0 0 1 1 0 ) 1 0 0000 0 0 0 0 0 0 00 | 1 0 xxxx 0 0 0 0 0 0 x xx x

( 0 0 0 1 1 0 ) 1 0 0000 0 0 0 0 0 0 00 | 1 0 xxxx 0 0 0 0 0 0 x xx x --B

( 1 0 0 1 1 0 ) 1 0 0000 0 0 0 0 0 0 00 | 1 0 xxxx 0 0 0 0 0 0 x xx x

( 0 0 0 1 1 0 ) 1 0 0000 0 0 0 0 0 0 00 | 1 0 xxxx 0 0 0 0 0 0 x xx x --A

( 1 0 0 1 1 0 ) 1 0 0000 0 0 0 0 0 0 00 | 0 0 xxxx 0 0 0 0 0 0 x xx x

( 0 0 0 1 1 0 ) 1 0 0000 0 0 0 0 0 0 00 | 0 0 xxxx 0 0 0 0 0 0 x xx x --B

( 1 0 0 1 1 0 ) 1 0 0000 0 0 0 0 0 0 00 | 1 0 xxxx 0 0 0 0 0 0 x xx x

( 0 0 0 1 1 0 ) 1 0 0000 0 0 0 0 0 0 00 | 1 0 xxxx 0 0 0 0 0 0 x xx x --A

( 1 0 0 1 1 0 ) 1 0 0000 0 0 0 0 0 0 00 | 0 0 xxxx 0 0 0 0 0 0 x xx x

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 00 | x 0 xxxx 0 0 0 0 0 0 x xx x --B

( 1 0 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 00 | x 0 xxxx 0 0 0 0 0 0 x xx x

Shift In MyId (scan path 1) (Recall that MyId is only one bit so only one bit needs to be shifted in):

D D D n n D D B B G G I P P P P | D H B B B R S P P P P P

S A E D D S S C D L r S m C B D | B d D O S e S R F F D R

h d x F R e e y a e a S o m y a | u r a w h q t e a a a e

i d e r e r l c t n n t d d t t | s C t n a u o j u u t s

f r c e s i e l a g t o e I e a | O y a e r e p e l l a c

t e u e e a c e I t p I n S | u c O r e s O c t t h

C s t z t l t 0 n h I n e | t l u O d t u t C e

k s e e I n l | e t u O t o d

n I | O t u d u

n | u t e l

| t e

|

( 0 1 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 00 | x 0 xxxx 0 0 0 0 0 0 x xx x --A

( 1 1 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 00 | x 0 xxxx 0 0 0 0 0 0 x xx x

( 0 1 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 00 | x 0 xxxx 0 0 0 0 0 0 x xx x --B

( 1 1 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 00 | x 0 xxxx 0 0 0 0 0 0 x xx x

( 0 1 0 1 1 1 ) 0 0 0000 0 0 0 0 0 0 00 | x 0 xxxx 0 0 0 0 0 0 x xx x --A

( 1 1 0 1 1 1 ) 0 0 0000 0 0 0 0 0 0 00 | x 0 xxxx 0 0 0 0 0 0 x xx x

( 0 0 0 1 1 1 ) 1 0 0000 0 0 0 0 0 0 00 | x 0 xxxx 0 0 0 0 0 0 x xx x --B

( 1 0 0 1 1 1 ) 1 0 0000 0 0 0 0 0 0 00 | 1 0 xxxx 0 0 0 0 0 0 x xx x

( 0 0 0 1 1 1 ) 1 0 0000 0 0 0 0 0 0 00 | 1 0 xxxx 0 0 0 0 0 0 x xx x --A

( 0 0 0 1 1 0 ) 1 0 0000 0 0 0 0 0 0 00 | 1 0 xxxx 0 0 0 0 0 0 x xx x

( 0 0 0 1 1 0 ) 1 0 0000 0 0 0 0 0 0 00 | 1 0 xxxx 0 0 0 0 0 0 x xx x --B

( 0 0 0 1 1 0 ) 1 0 0000 0 0 0 0 0 0 00 | 1 0 xxxx 0 0 0 0 0 0 x xx x

SmallCacheInner-WriteBlocks:

NB: Our chip's Id=1, so Id in packet must be 0 to indicate a Foreign device

WriteBlockReply-Foreign-Miss

( 0 0 0 1 1 0 ) 0 0 1234 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x --A

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x --B

( 0 0 0 1 1 0 ) 0 1 1878 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x

WriteBlockReply-Foreign-Miss

( 0 0 0 1 1 0 ) 0 0 5555 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x --A

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x --B

( 0 0 0 1 1 0 ) 0 1 1820 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x

WriteBlockReply-Foreign-Hit (hits line 1, but shouldn't do anything)

( 0 0 0 1 1 0 ) 0 0 2212 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x --A

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x --B

( 0 0 0 1 1 0 ) 0 0 18D8 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x

WriteBlockReply-Foreign-Hit (hits line 6, but shouldn't do anything)

( 0 0 0 1 1 0 ) 0 0 1117 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x --A

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x --B

( 0 0 0 1 1 0 ) 0 1 1028 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x

WriteBlockRequest-Foreign-Miss

( 0 0 0 1 1 0 ) 0 0 1111 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x --A

( 0 0 0 1 1 0 ) 0 0 2222 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x

( 0 0 0 1 1 0 ) 0 0 3333 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x --B

( 0 0 0 1 1 0 ) 0 0 4444 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x --A

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x --B

( 0 0 0 1 1 0 ) 0 1 1078 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x

WriteBlockRequest-Foreign-Miss

( 0 0 0 1 1 0 ) 0 0 4444 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x --A

( 0 0 0 1 1 0 ) 0 0 3333 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x

( 0 0 0 1 1 0 ) 0 0 2222 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x --B

( 0 0 0 1 1 0 ) 0 0 1111 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x --A

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x --B

( 0 0 0 1 1 0 ) 0 1 1038 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x

WriteBlockRequest-Foreign-Hit (line 0-should update the line)

( 0 0 0 1 1 0 ) 0 0 0111 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x --A

( 0 0 0 1 1 0 ) 0 0 1010 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x

( 0 0 0 1 1 0 ) 0 0 2020 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x --B

( 0 0 0 1 1 0 ) 0 0 3037 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x --A

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x --B

( 0 0 0 1 1 0 ) 0 1 10D0 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x

WriteBlockRequest-Foreign-Hit (line 7-should update the line and clear the owner bit)

( 0 0 0 1 1 0 ) 0 0 1117 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x --A

( 0 0 0 1 1 0 ) 0 0 2278 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x

( 0 0 0 1 1 0 ) 0 0 1372 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x --B

( 0 0 0 1 1 0 ) 0 0 1876 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x --A

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x --B

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x --A

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x --B

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x --A

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x --B

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x

Check that the lines got updated:

PReadHit[50]:

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 8 0 50 | x 0 xxxx 0 0 0 0 0 0 x xx x --A

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 8 0 50 | x 0 xxxx 0 0 0 0 0 0 x xx x

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 8 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x --B

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x 11 x

PReadHit[51]:

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 8 0 51 | x 0 xxxx 0 0 0 0 0 0 x xx x --A

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 8 0 51 | x 0 xxxx 0 0 0 0 0 0 x xx x

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 8 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x --B

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x 17 x

PReadHit[52]:

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 8 0 52 | x 0 xxxx 0 0 0 0 0 0 x xx x --A

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 8 0 52 | x 0 xxxx 0 0 0 0 0 0 x xx x

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 8 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x --B

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x 22 x

PReadHit[53]:

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 8 0 53 | x 0 xxxx 0 0 0 0 0 0 x xx x --A

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 8 0 53 | x 0 xxxx 0 0 0 0 0 0 x xx x

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 8 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x --B

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x 78 x

PReadHit[54]:

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 8 0 54 | x 0 xxxx 0 0 0 0 0 0 x xx x --A

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 8 0 54 | x 0 xxxx 0 0 0 0 0 0 x xx x

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 8 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x --B

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x 13 x

PReadHit[55]:

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 8 0 55 | x 0 xxxx 0 0 0 0 0 0 x xx x --A

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 8 0 55 | x 0 xxxx 0 0 0 0 0 0 x xx x

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 8 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x --B

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x 72 x

PReadHit[56]:

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 8 0 56 | x 0 xxxx 0 0 0 0 0 0 x xx x --A

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 8 0 56 | x 0 xxxx 0 0 0 0 0 0 x xx x

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 8 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x --B

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x 18 x

PReadHit[57]:

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 8 0 57 | x 0 xxxx 0 0 0 0 0 0 x xx x --A

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 8 0 57 | x 0 xxxx 0 0 0 0 0 0 x xx x

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 8 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x --B

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x 76 x

PReadHit[38]:

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 8 0 38 | x 0 xxxx 0 0 0 0 0 0 x xx x --A

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 8 0 38 | x 0 xxxx 0 0 0 0 0 0 x xx x

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 8 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x --B

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x 01 x

PReadHit[39]:

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 8 0 39 | x 0 xxxx 0 0 0 0 0 0 x xx x --A

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 8 0 39 | x 0 xxxx 0 0 0 0 0 0 x xx x

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 8 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x --B

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x 11 x

PReadHit[3A]:

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 8 0 3A | x 0 xxxx 0 0 0 0 0 0 x xx x --A

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 8 0 3A | x 0 xxxx 0 0 0 0 0 0 x xx x

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 8 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x --B

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x 10 x

PReadHit[3B]:

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 8 0 3B | x 0 xxxx 0 0 0 0 0 0 x xx x --A

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 8 0 3B | x 0 xxxx 0 0 0 0 0 0 x xx x

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 8 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x --B

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x 10 x

PReadHit[3C]:

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 8 0 3C | x 0 xxxx 0 0 0 0 0 0 x xx x --A

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 8 0 3C | x 0 xxxx 0 0 0 0 0 0 x xx x

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 8 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x --B

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x 20 x

PReadHit[3D]:

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 8 0 3D | x 0 xxxx 0 0 0 0 0 0 x xx x --A

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 8 0 3D | x 0 xxxx 0 0 0 0 0 0 x xx x

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 8 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x --B

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x 20 x

PReadHit[3E]:

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 8 0 3E | x 0 xxxx 0 0 0 0 0 0 x xx x --A

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 8 0 3E | x 0 xxxx 0 0 0 0 0 0 x xx x

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 8 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x --B

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x 30 x

PReadHit[3F]:

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 8 0 3F | x 0 xxxx 0 0 0 0 0 0 x xx x --A

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 8 0 3F | x 0 xxxx 0 0 0 0 0 0 x xx x

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 8 0 xx | x 0 xxxx 0 0 0 0 0 0 x xx x --B

( 0 0 0 1 1 0 ) 0 0 0000 0 0 0 0 0 0 xx | x 0 xxxx 0 0 0 0 0 0 x 37 x

The state of the cache at this point should be: SmallCacheArrayStateValues.cacheStateValueH

The state of the cache at this point should be: SmallCacheArrayStateValues.cacheStateValueH

.