RCamInterlockCtl.oracle
Pradeep Sindhu June 30, 1987 11:15:47 pm PDT
TEST COMPLETED March 3, 1987 6:20:20 pm PST [PSS]
Revised and retested April 15, 1987 10:18:51 am PDT
Checked again after putting together cache top level June 30, 1987 11:15:43 pm PDT [PSS]
NB: Each line is one cycle
Reset Sequence: x's get flushed out by BCycle0 and friends
Check that x's get flushed out in the right number of cycles, and check RPValid (which is combinatorial):
F B B B B B B M M D A P P P P | R x x x x x x x R
o C C C C C C y y e R C C C C | P E C R L D E P C
r t y y y y y R M M M t t t t | V n S d d r n a a
c l c c c c c B a a  l l l l | a C C R R R C r m
e R l l l l l R p p  E C R E | l a m C C C a t F
I P e e e e e p R R  n S d n | i m d a a a m R o
O V 0 1 2 3 4 l p p  C C R R | d S  m m m S M r
M a      y l l  a m C C |  e   W B e c P
i l       y y  m d a a |  l   R L l h
s i       1 1  S  m m |  E    
m d          e   S |  x    
a           l   e |  t    
t           E   l |
 
0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 | 0 x x 0 0 0 0 0 0
0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 | 1 x x 0 1 1 0 0 0
1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 | 1 0 x 0 0 0 0 0 0
1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 | 1 0 0 0 0 0 0 0 1
0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 | 0 0 0 0 0 0 0 0 1
Check PSide Signals:
F B B B B B B M M D A P P P P | R x x x x x x x R
o C C C C C C y y e R C C C C | P E C R L D E P C
r t y y y y y R M M M t t t t | V n S d d r n a a
c l c c c c c B a a  l l l l | a C C R R R C r m
e R l l l l l R p p  E C R E | l a m C C C a t F
I P e e e e e p R R  n S d n | i m d a a a m R o
O V 0 1 2 3 4 l p p  C C R R | d S  m m m S M r
M a      y l l  a m C C |  e   W B e c P
i l       y y  m d a a |  l   R L l h
s i       1 1  S  m m |  E    
m d          e   S |  x    
a           l   e |  t    
t           E   l |
 
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | 0 0 0 0 0 0 0 0 1
0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 | 0 0 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 0 0 1
0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 | 0 0 2 0 0 0 0 0 1
0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 | 0 0 3 0 0 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 0 0 1
Check BSide Signals:
F B B B B B B M M D A P P P P | R x x x x x x x R
o C C C C C C y y e R C C C C | P E C R L D E P C
r t y y y y y R M M M t t t t | V n S d d r n a a
c l c c c c c B a a  l l l l | a C C R R R C r m
e R l l l l l R p p  E C R E | l a m C C C a t F
I P e e e e e p R R  n S d n | i m d a a a m R o
O V 0 1 2 3 4 l p p  C C R R | d S  m m m S M r
M a      y l l  a m C C |  e   W B e c P
i l       y y  m d a a |  l   R L l h
s i       1 1  S  m m |  E    
m d          e   S |  x    
a           l   e |  t    
t           E   l |
Other than MyRBRply and DeMapRply 
0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 | 0 0 0 0 0 0 0 0 0
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 | 0 0 0 0 1 1 0 0 0
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 0 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 0 0 0 1 0 0 0 0 0 0 0 0 | 0 0 0 0 0 0 0 0 1
MyRBRply with ARM
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 1 0 0 0 1 0 0 0 0 0 0 0 | 0 0 0 0 1 1 0 0 0
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 0 0 0 0 1 0 1 0 0 1 0 0 0 0 | 0 0 0 0 0 0 0 0 1
0 0 0 0 0 0 1 1 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 1 3 0 0 0 0 0 1
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | 0 1 3 0 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 0 0 0 1
MyRBRply no ARM
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 1 0 0 0 1 0 0 0 0 0 0 0 | 0 0 0 0 1 1 0 0 0
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 0 0 0 0 1 0 1 0 0 0 0 0 0 0 | 0 0 0 0 0 0 0 0 1
0 0 0 0 0 0 1 1 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 1 1 0 0 0 0 0 1
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | 0 1 1 0 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 0 0 0 1
DeMapRply
0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 | 0 0 0 0 0 0 0 0 0
0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 | 0 0 0 0 1 1 0 1 0
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 0 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 0 0 0 1 0 0 0 0 0 0 0 0 | 0 0 0 0 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 0 0 0 1
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | 0 0 0 0 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 0 0 0 1
MyMapRply1
0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 | 0 0 0 0 0 0 0 0 0
0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 | 0 0 0 1 1 1 0 0 0
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 0 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 0 0 0 1 0 0 0 0 0 0 0 0 | 0 0 0 0 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 0 0 0 1
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 | 0 0 0 0 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 0 0 0 1
.