
<<Ram.oracle>>
    <<Pradeep Sindhu July 6, 1987 3:29:17 pm PDT>>
    <<Paraminder Sahai July 20, 1987 4:19:02 pm PDT>>

<<TEST COMPLETED February 23, 1987 1:23:49 pm PST [PSS]>>
<<Checked after putting together cache top level July 5, 1987 4:05:12 pm PDT>>
<<>>
<<Note that clock supplied to circuit is half the speed of the oracle clock, so that one "cycle" corresponds to two lines in this 
file.>>
<<>>
<<The cache parameters assumed are:>>
<<numBitsPerByte: 2, numBytesPerWord: 4, numCyclesPerLine: 1, numLines: 4>>
<<>>
<<The Signal Order is:>>
<<Select0 Select1 RdRam WtRam SelWdData ByteSel WdAdrs WdWtData BlkWtData  | WdRdData BlkRdData LdSORdLatch Bit nBit>>
<<>>
<<Check that x's get flushed out of the control part on the 4th cycle (the timing of other control signals is at most this long):
>>
0 0    0 0    0    0 0    00    0000    |    xx    xxxx    x    xxxx xxxx    -- (2)
0 0    0 0    0    0 0    00    0000    |    xx    xxxx    x    xxxx xxxx

0 0    0 0    0    0 0    00    0000    |    xx    xxxx    x    xxxx xxxx
0 0    0 0    0    0 0    00    0000    |    xx    xxxx    0    xxxx xxxx


-- Check Block Writes:
-- First write different values into the 8 lines
-- Line0-0:
-- Actually xByteSel needn't be high for block writes because the ByteSel line within the
-- ram interface is high whenever the SelBlkData line is high (i.e. xSelWdData is low)
0 0    0 1    0    F 0    00    0000    |    xx    xxxx    0    xxxx xxxx --  do the write
0 0    0 1    0    F 0    00    0000    |    xx    xxxx    0    FFFF FFFF -- check precharge

1 0    0 0    0    0 0    00    ABCD    |    xx    xxxx    1    xxxx xxxx
1 0    0 0    0    0 0    00    ABCD    |    xx    xxxx    1    xxxx xxxx

1 0    0 0    0    0 0    00    ABCD    |    xx    xxxx    1    xxxx xxxx
0 0    0 0    0    0 0    00    ABCD    |    xx    xxxx    0    xxxx xxxx

-- Line0-1:
0 0    0 1    0    F 0    00    0000    |    xx    xxxx    0    xxxx xxxx --  do the write
0 0    0 1    0    F 0    00    0000    |    xx    xxxx    0    FFFF FFFF -- check precharge

0 1    0 0    0    0 0    00    BCDA    |    xx    xxxx    1    xxxx xxxx
0 1    0 0    0    0 0    00    BCDA    |    xx    xxxx    1    xxxx xxxx

0 1    0 0    0    0 0    00    BCDA    |    xx    xxxx    1    xxxx xxxx
0 0    0 0    0    0 0    00    BCDA    |    xx    xxxx    0    xxxx xxxx

-- Line1-0:
0 0    0 1    0    F 0    00    0000    |    xx    xxxx    0    xxxx xxxx --  do the write
0 0    0 1    0    F 0    00    0000    |    xx    xxxx    0    FFFF FFFF -- check precharge

2 0    0 0    0    0 0    00    CDAB    |    xx    xxxx    1    xxxx xxxx
2 0    0 0    0    0 0    00    CDAB    |    xx    xxxx    1    xxxx xxxx

2 0    0 0    0    0 0    00    CDAB    |    xx    xxxx    1    xxxx xxxx
0 0    0 0    0    0 0    00    CDAB    |    xx    xxxx    0    xxxx xxxx

-- Line1-1:
0 0    0 1    0    F 0    00    0000    |    xx    xxxx    0    xxxx xxxx --  do the write
0 0    0 1    0    F 0    00    0000    |    xx    xxxx    0    FFFF FFFF -- check precharge

0 2    0 0    0    0 0    00    ADCB    |    xx    xxxx    1    xxxx xxxx
0 2    0 0    0    0 0    00    ADCB    |    xx    xxxx    1    xxxx xxxx

0 2    0 0    0    0 0    00    ADCB    |    xx    xxxx    1    xxxx xxxx
0 0    0 0    0    0 0    00    ADCB    |    xx    xxxx    0    xxxx xxxx

-- Line2-0:
0 0    0 1    0    F 0    00    0000    |    xx    xxxx    0    xxxx xxxx --  do the write
0 0    0 1    0    F 0    00    0000    |    xx    xxxx    0    FFFF FFFF -- check precharge

4 0    0 0    0    0 0    00    0123    |    xx    xxxx    1    xxxx xxxx
4 0    0 0    0    0 0    00    0123    |    xx    xxxx    1    xxxx xxxx

4 0    0 0    0    0 0    00    0123    |    xx    xxxx    1    xxxx xxxx
0 0    0 0    0    0 0    00    0123    |    xx    xxxx    0    xxxx xxxx

-- Line2-1:
0 0    0 1    0    F 0    00    0000    |    xx    xxxx    0    xxxx xxxx --  do the write
0 0    0 1    0    F 0    00    0000    |    xx    xxxx    0    FFFF FFFF -- check precharge

0 4    0 0    0    0 0    00    4567    |    xx    xxxx    1    xxxx xxxx
0 4    0 0    0    0 0    00    4567    |    xx    xxxx    1    xxxx xxxx

0 4    0 0    0    0 0    00    4567    |    xx    xxxx    1    xxxx xxxx
0 0    0 0    0    0 0    00    4567    |    xx    xxxx    0    xxxx xxxx

-- Line3-0:
0 0    0 1    0    F 0    00    0000    |    xx    xxxx    0    xxxx xxxx --  do the write
0 0    0 1    0    F 0    00    0000    |    xx    xxxx    0    FFFF FFFF -- check precharge

8 0    0 0    0    0 0    00    FFFF    |    xx    xxxx    1    xxxx xxxx
8 0    0 0    0    0 0    00    FFFF    |    xx    xxxx    1    xxxx xxxx

8 0    0 0    0    0 0    00    FFFF    |    xx    xxxx    1    xxxx xxxx
0 0    0 0    0    0 0    00    FFFF    |    xx    xxxx    0    xxxx xxxx

-- Line3-1:
0 0    0 1    0    F 0    00    0000    |    xx    xxxx    0    xxxx xxxx --  do the write
0 0    0 1    0    F 0    00    0000    |    xx    xxxx    0    FFFF FFFF -- check precharge

0 8    0 0    0    0 0    00    0000    |    xx    xxxx    1    xxxx xxxx
0 8    0 0    0    0 0    00    0000    |    xx    xxxx    1    xxxx xxxx

0 8    0 0    0    0 0    00    0000    |    xx    xxxx    1    xxxx xxxx
0 0    0 0    0    0 0    00    0000    |    xx    xxxx    0    xxxx xxxx

-- Then verify that the values written can be read back
-- Line0-0:
0 0    1 0    0    0 0    00    0000    |    xx    xxxx    0    xxxx xxxx -- do the read
0 0    1 0    0    0 0    00    0000    |    xx    xxxx    0    FFFF FFFF -- check precharge

1 0    0 0    0    0 0    00    0000    |    xx    ABCD    1    ABCD 5432
1 0    0 0    0    0 0    00    0000    |    xx    ABCD    1    ABCD 5432

1 0    0 0    0    0 0    00    0000    |    xx    ABCD    1    ABCD 5432
0 0    0 0    0    0 0    00    0000    |    xx    ABCD    0    XXXX XXXX

-- Line0-1:
0 0    1 0    0    0 0    00    0000    |    xx    ABCD    0    xxxx xxxx -- do the read
0 0    1 0    0    0 0    00    0000    |    xx    ABCD    0    FFFF FFFF -- check precharge

0 1    0 0    0    0 0    00    0000    |    xx    BCDA    1    BCDA 4325
0 1    0 0    0    0 0    00    0000    |    xx    BCDA    1    BCDA 4325

0 1    0 0    0    0 0    00    0000    |    xx    BCDA    1    BCDA 4325
0 0    0 0    0    0 0    00    0000    |    xx    BCDA    0    xxxx xxxx

-- Line1-0:
0 0    1 0    0    0 0    00    0000    |    xx    BCDA    0    xxxx xxxx -- do the read
0 0    1 0    0    0 0    00    0000    |    xx    BCDA    0    FFFF FFFF -- check precharge

2 0    0 0    0    0 0    00    0000    |    xx    CDAB    1    CDAB 3254
2 0    0 0    0    0 0    00    0000    |    xx    CDAB    1    CDAB 3254

2 0    0 0    0    0 0    00    0000    |    xx    CDAB    1    CDAB 3254
0 0    0 0    0    0 0    00    0000    |    xx    CDAB    0    xxxx xxxx

-- Line1-1:
0 0    1 0    0    0 0    00    0000    |    xx    CDAB    0    xxxx xxxx -- do the read
0 0    1 0    0    0 0    00    0000    |    xx    CDAB    0    FFFF FFFF -- check precharge

0 2    0 0    0    0 0    00    0000    |    xx    ADCB    1    ADCB 5234
0 2    0 0    0    0 0    00    0000    |    xx    ADCB    1    ADCB 5234

0 2    0 0    0    0 0    00    0000    |    xx    ADCB    1    ADCB 5234
0 0    0 0    0    0 0    00    0000    |    xx    ADCB    0    xxxx xxxx

-- Line2-0:
0 0    1 0    0    0 0    00    0000    |    xx    ADCB    0    xxxx xxxx -- do the read
0 0    1 0    0    0 0    00    0000    |    xx    ADCB    0    FFFF FFFF -- check precharge

4 0    0 0    0    0 0    00    0000    |    xx    0123    1    0123 FEDC
4 0    0 0    0    0 0    00    0000    |    xx    0123    1    0123 FEDC

4 0    0 0    0    0 0    00    0000    |    xx    0123    1    0123 FEDC
0 0    0 0    0    0 0    00    0000    |    xx    0123    0    xxxx xxxx

-- Line2-1:
0 0    1 0    0    0 0    00    0000    |    xx    0123    0    xxxx xxxx -- do the read
0 0    1 0    0    0 0    00    0000    |    xx    0123    0    FFFF FFFF -- check precharge

0 4    0 0    0    0 0    00    0000    |    xx    4567    1    4567 BA98
0 4    0 0    0    0 0    00    0000    |    xx    4567    1    4567 BA98

0 4    0 0    0    0 0    00    0000    |    xx    4567    1    4567 BA98
0 0    0 0    0    0 0    00    0000    |    xx    4567    0    xxxx xxxx

-- Line3-0:
0 0    1 0    0    0 0    00    0000    |    xx    4567    0    xxxx xxxx -- do the read
0 0    1 0    0    0 0    00    0000    |    xx    4567    0    FFFF FFFF -- check precharge

8 0    0 0    0    0 0    00    FFFF    |    xx    FFFF    1    FFFF 0000
8 0    0 0    0    0 0    00    FFFF    |    xx    FFFF    1    FFFF 0000

8 0    0 0    0    0 0    00    FFFF    |    xx    FFFF    1    FFFF 0000
0 0    0 0    0    0 0    00    FFFF    |    xx    FFFF    0    xxxx xxxx

-- Line3-1:
0 0    1 0    0    0 0    00    0000    |    xx    FFFF    0    xxxx xxxx -- do the read
0 0    1 0    0    0 0    00    0000    |    xx    FFFF    0    FFFF FFFF -- check precharge

0 8    0 0    0    0 0    00    0000    |    xx    0000    1    0000 FFFF
0 8    0 0    0    0 0    00    0000    |    xx    0000    1    0000 FFFF

0 8    0 0    0    0 0    00    0000    |    xx    0000    1    0000 FFFF
0 0    0 0    0    0 0    00    0000    |    xx    0000    0    xxxx xxxx


<<-- Check word writes (we only check two words):>>
<<-- Write a zero to Line0-0 word 0 then read it back to check that word reads work>>
<<-- Line0-0 Word0:>>
0 0    0 1    1    F 0    00    0000    |    xx    xxxx    0    xxxx xxxx -- do the write
0 0    0 1    1    F 0    00    0000    |    xx    xxxx    0    FFFF FFFF -- check precharge

1 0    0 0    0    0 0    00    0000    |    xx    xxxx    1    xxxx xxxx
1 0    0 0    0    0 0    00    0000    |    xx    xxxx    1    xxxx xxxx

1 0    0 0    0    0 0    00    0000    |    xx    xxxx    1    xxxx xxxx
0 0    0 0    0    0 0    00    0000    |    xx    xxxx    0    xxxx xxxx

<<-- Line0-0 Word0:>>
0 0    1 0    1    0 0    00    0000    |    xx    xxxx    0    xxxx xxxx -- do the read
0 0    1 0    1    0 0    00    0000    |    xx    xxxx    0    FFFF FFFF -- check precharge

1 0    0 0    0    0 0    00    0000    |    00    xxxx    1    xxxx xxxx
1 0    0 0    0    0 0    00    0000    |    00    xxxx    1    xxxx xxxx

1 0    0 0    0    0 0    00    0000    |    00    xxxx    1    xxxx xxxx
0 0    0 0    0    0 0    00    0000    |    00    xxxx    0    xxxx xxxx

<<-- Now verify that only the word written has changed>>
<<-- Line0-0:>>
0 0    1 0    0    0 0    00    0000    |    xx    xxxx    0    xxxx xxxx -- do the read
0 0    1 0    0    0 0    00    0000    |    xx    xxxx    0    FFFF FFFF -- check precharge

1 0    0 0    0    0 0    00    0000    |    xx    0145    1    0145 FEBA
1 0    0 0    0    0 0    00    0000    |    xx    0145    1    0145 FEBA

1 0    0 0    0    0 0    00    0000    |    xx    0145    1    0145 FEBA
0 0    0 0    0    0 0    00    0000    |    xx    0145    0    XXXX XXXX

<<-- Line0-1:>>
0 0    1 0    0    0 0    00    0000    |    xx    0145    0    xxxx xxxx -- do the read
0 0    1 0    0    0 0    00    0000    |    xx    0145    0    FFFF FFFF -- check precharge

0 1    0 0    0    0 0    00    0000    |    xx    BCDA    1    BCDA 4325
0 1    0 0    0    0 0    00    0000    |    xx    BCDA    1    BCDA 4325

0 1    0 0    0    0 0    00    0000    |    xx    BCDA    1    BCDA 4325
0 0    0 0    0    0 0    00    0000    |    xx    BCDA    0    xxxx xxxx

<<-- Line1-0:>>
0 0    1 0    0    0 0    00    0000    |    xx    BCDA    0    xxxx xxxx -- do the read
0 0    1 0    0    0 0    00    0000    |    xx    BCDA    0    FFFF FFFF -- check precharge

2 0    0 0    0    0 0    00    0000    |    xx    CDAB    1    CDAB 3254
2 0    0 0    0    0 0    00    0000    |    xx    CDAB    1    CDAB 3254

2 0    0 0    0    0 0    00    0000    |    xx    CDAB    1    CDAB 3254
0 0    0 0    0    0 0    00    0000    |    xx    CDAB    0    xxxx xxxx

<<-- Line1-1:>>
0 0    1 0    0    0 0    00    0000    |    xx    CDAB    0    xxxx xxxx -- do the read
0 0    1 0    0    0 0    00    0000    |    xx    CDAB    0    FFFF FFFF -- check precharge

0 2    0 0    0    0 0    00    0000    |    xx    ADCB    1    ADCB 5234
0 2    0 0    0    0 0    00    0000    |    xx    ADCB    1    ADCB 5234

0 2    0 0    0    0 0    00    0000    |    xx    ADCB    1    ADCB 5234
0 0    0 0    0    0 0    00    0000    |    xx    ADCB    0    xxxx xxxx

<<-- Line2-0:>>
0 0    1 0    0    0 0    00    0000    |    xx    ADCB    0    xxxx xxxx -- do the read
0 0    1 0    0    0 0    00    0000    |    xx    ADCB    0    FFFF FFFF -- check precharge

4 0    0 0    0    0 0    00    0000    |    xx    0123    1    0123 FEDC
4 0    0 0    0    0 0    00    0000    |    xx    0123    1    0123 FEDC

4 0    0 0    0    0 0    00    0000    |    xx    0123    1    0123 FEDC
0 0    0 0    0    0 0    00    0000    |    xx    0123    0    xxxx xxxx

<<-- Line2-1:>>
0 0    1 0    0    0 0    00    0000    |    xx    0123    0    xxxx xxxx -- do the read
0 0    1 0    0    0 0    00    0000    |    xx    0123    0    FFFF FFFF -- check precharge

0 4    0 0    0    0 0    00    0000    |    xx    4567    1    4567 BA98
0 4    0 0    0    0 0    00    0000    |    xx    4567    1    4567 BA98

0 4    0 0    0    0 0    00    0000    |    xx    4567    1    4567 BA98
0 0    0 0    0    0 0    00    0000    |    xx    4567    0    xxxx xxxx

<<-- Line3-0:>>
0 0    1 0    0    0 0    00    0000    |    xx    4567    0    xxxx xxxx -- do the read
0 0    1 0    0    0 0    00    0000    |    xx    4567    0    FFFF FFFF -- check precharge

8 0    0 0    0    0 0    00    FFFF    |    xx    FFFF    1    FFFF 0000
8 0    0 0    0    0 0    00    FFFF    |    xx    FFFF    1    FFFF 0000

8 0    0 0    0    0 0    00    FFFF    |    xx    FFFF    1    FFFF 0000
0 0    0 0    0    0 0    00    FFFF    |    xx    FFFF    0    xxxx xxxx

<<-- Line3-1:>>
0 0    1 0    0    0 0    00    0000    |    xx    FFFF    0    xxxx xxxx -- do the read
0 0    1 0    0    0 0    00    0000    |    xx    FFFF    0    FFFF FFFF -- check precharge

0 8    0 0    0    0 0    00    0000    |    xx    0000    1    0000 FFFF
0 8    0 0    0    0 0    00    0000    |    xx    0000    1    0000 FFFF

0 8    0 0    0    0 0    00    0000    |    xx    0000    1    0000 FFFF
0 0    0 0    0    0 0    00    0000    |    xx    0000    0    xxxx xxxx
<<>>
<<-- Write FF to Line2-1 Word 1 and check that just that word got written>>
<<-- Line2-1 Word1:>>
0 0    0 1    1    F 1    00    0000    |    xx    xxxx    0    xxxx xxxx -- do the write
0 0    0 1    1    F 1    00    0000    |    xx    xxxx    0    FFFF FFFF -- check precharge

0 4    0 0    0    0 0    FF    0000    |    xx    xxxx    1    xxxx xxxx
0 4    0 0    0    0 0    FF    0000    |    xx    xxxx    1    xxxx xxxx

0 4    0 0    0    0 0    FF    0000    |    xx    xxxx    1    xxxx xxxx
0 0    0 0    0    0 0    FF    0000    |    xx    xxxx    0    xxxx xxxx

<<-- Read Line2-1 Word 1 and check that we read FF>>
<<-- Line2-1 Word1:>>
0 0    1 0    1    0 1    00    0000    |    xx    xxxx    0    xxxx xxxx -- do the write
0 0    1 0    1    0 1    00    0000    |    xx    xxxx    0    FFFF FFFF -- check precharge

0 4    0 0    0    0 0    00    0000    |    FF    xxxx    1    xxxx xxxx
0 4    0 0    0    0 0    00    0000    |    FF    xxxx    1    xxxx xxxx

0 4    0 0    0    0 0    00    0000    |    FF    xxxx    1    xxxx xxxx
0 0    0 0    0    0 0    00    0000    |    FF    xxxx    0    xxxx xxxx

<<-- Verify that only the word written has changed>>
<<-- Line0-0:>>
0 0    1 0    0    0 0    00    0000    |    xx    xxxx    0    xxxx xxxx -- do the read
0 0    1 0    0    0 0    00    0000    |    xx    xxxx    0    FFFF FFFF -- check precharge

1 0    0 0    0    0 0    00    0000    |    xx    0145    1    0145 FEBA
1 0    0 0    0    0 0    00    0000    |    xx    0145    1    0145 FEBA

1 0    0 0    0    0 0    00    0000    |    xx    0145    1    0145 FEBA
0 0    0 0    0    0 0    00    0000    |    xx    0145    0    XXXX XXXX

<<-- Line0-1:>>
0 0    1 0    0    0 0    00    0000    |    xx    0145    0    xxxx xxxx -- do the read
0 0    1 0    0    0 0    00    0000    |    xx    0145    0    FFFF FFFF -- check precharge

0 1    0 0    0    0 0    00    0000    |    xx    BCDA    1    BCDA 4325
0 1    0 0    0    0 0    00    0000    |    xx    BCDA    1    BCDA 4325

0 1    0 0    0    0 0    00    0000    |    xx    BCDA    1    BCDA 4325
0 0    0 0    0    0 0    00    0000    |    xx    BCDA    0    xxxx xxxx

<<-- Line1-0:>>
0 0    1 0    0    0 0    00    0000    |    xx    BCDA    0    xxxx xxxx -- do the read
0 0    1 0    0    0 0    00    0000    |    xx    BCDA    0    FFFF FFFF -- check precharge

2 0    0 0    0    0 0    00    0000    |    xx    CDAB    1    CDAB 3254
2 0    0 0    0    0 0    00    0000    |    xx    CDAB    1    CDAB 3254

2 0    0 0    0    0 0    00    0000    |    xx    CDAB    1    CDAB 3254
0 0    0 0    0    0 0    00    0000    |    xx    CDAB    0    xxxx xxxx

<<-- Line1-1:>>
0 0    1 0    0    0 0    00    0000    |    xx    CDAB    0    xxxx xxxx -- do the read
0 0    1 0    0    0 0    00    0000    |    xx    CDAB    0    FFFF FFFF -- check precharge

0 2    0 0    0    0 0    00    0000    |    xx    ADCB    1    ADCB 5234
0 2    0 0    0    0 0    00    0000    |    xx    ADCB    1    ADCB 5234

0 2    0 0    0    0 0    00    0000    |    xx    ADCB    1    ADCB 5234
0 0    0 0    0    0 0    00    0000    |    xx    ADCB    0    xxxx xxxx

<<-- Line2-0:>>
0 0    1 0    0    0 0    00    0000    |    xx    ADCB    0    xxxx xxxx -- do the read
0 0    1 0    0    0 0    00    0000    |    xx    ADCB    0    FFFF FFFF -- check precharge

4 0    0 0    0    0 0    00    0000    |    xx    0123    1    0123 FEDC
4 0    0 0    0    0 0    00    0000    |    xx    0123    1    0123 FEDC

4 0    0 0    0    0 0    00    0000    |    xx    0123    1    0123 FEDC
0 0    0 0    0    0 0    00    0000    |    xx    0123    0    xxxx xxxx

<<-- Line2-1:>>
0 0    1 0    0    0 0    00    0000    |    xx    0123    0    xxxx xxxx -- do the read
0 0    1 0    0    0 0    00    0000    |    xx    0123    0    FFFF FFFF -- check precharge

0 4    0 0    0    0 0    00    0000    |    xx    5577    1    5577 AA88
0 4    0 0    0    0 0    00    0000    |    xx    5577    1    5577 AA88

0 4    0 0    0    0 0    00    0000    |    xx    5577    1    5577 AA88
0 0    0 0    0    0 0    00    0000    |    xx    5577    0    xxxx xxxx

<<-- Line3-0:>>
0 0    1 0    0    0 0    00    0000    |    xx    5577    0    xxxx xxxx -- do the read
0 0    1 0    0    0 0    00    0000    |    xx    5577    0    FFFF FFFF -- check precharge

8 0    0 0    0    0 0    00    FFFF    |    xx    FFFF    1    FFFF 0000
8 0    0 0    0    0 0    00    FFFF    |    xx    FFFF    1    FFFF 0000

8 0    0 0    0    0 0    00    FFFF    |    xx    FFFF    1    FFFF 0000
0 0    0 0    0    0 0    00    FFFF    |    xx    FFFF    0    xxxx xxxx

<<-- Line3-1:>>
0 0    1 0    0    0 0    00    0000    |    xx    FFFF    0    xxxx xxxx -- do the read
0 0    1 0    0    0 0    00    0000    |    xx    FFFF    0    FFFF FFFF -- check precharge

0 8    0 0    0    0 0    00    0000    |    xx    0000    1    0000 FFFF
0 8    0 0    0    0 0    00    0000    |    xx    0000    1    0000 FFFF

0 8    0 0    0    0 0    00    0000    |    xx    0000    1    0000 FFFF
0 0    0 0    0    0 0    00    0000    |    xx    0000    0    xxxx xxxx


<<-- Check byte writes (we check only two locations):>>
<<-- Write to Line0-0 word 0  ByteSel A; then read it back to check that word reads work>>
<<-- Line0-0 Word0 ByteSel=A:>>
0 0    0 1    1    A 0    00    0000    |    xx    xxxx    0    xxxx xxxx -- do the write
0 0    0 1    1    A 0    00    0000    |    xx    xxxx    0    FFFF FFFF -- check precharge

1 0    0 0    0    0 0    FF    0000    |    xx    xxxx    1    xxxx xxxx
1 0    0 0    0    0 0    FF    0000    |    xx    xxxx    1    xxxx xxxx

1 0    0 0    0    0 0    FF    0000    |    xx    xxxx    1    xxxx xxxx
0 0    0 0    0    0 0    FF    0000    |    xx    xxxx    0    xxxx xxxx

<<-- Line0-0 Word0:>>
0 0    1 0    1    0 0    00    0000    |    xx    xxxx    0    xxxx xxxx -- do the read
0 0    1 0    1    0 0    00    0000    |    xx    xxxx    0    FFFF FFFF -- check precharge

1 0    0 0    0    0 0    00    0000    |    CC    A1E5    1    A1E5 5E1A
1 0    0 0    0    0 0    00    0000    |    CC    A1E5    1    A1E5 5E1A

1 0    0 0    0    0 0    00    0000    |    CC    A1E5    1    A1E5 5E1A
0 0    0 0    0    0 0    00    0000    |    CC    A1E5    0    xxxx xxxx

<<-- Now verify that only the bytes written have changed>>
<<-- Line0-0:>>
0 0    1 0    0    0 0    00    0000    |    xx    xxxx    0    xxxx xxxx -- do the read
0 0    1 0    0    0 0    00    0000    |    xx    xxxx    0    FFFF FFFF -- check precharge

1 0    0 0    0    0 0    00    0000    |    xx    A1E5    1    A1E5 5E1A
1 0    0 0    0    0 0    00    0000    |    xx    A1E5    1    A1E5 5E1A

1 0    0 0    0    0 0    00    0000    |    xx    A1E5    1    A1E5 5E1A
0 0    0 0    0    0 0    00    0000    |    xx    A1E5    0    XXXX XXXX

<<-- Line0-1:>>
0 0    1 0    0    0 0    00    0000    |    xx    A1E5    0    xxxx xxxx -- do the read
0 0    1 0    0    0 0    00    0000    |    xx    A1E5    0    FFFF FFFF -- check precharge

0 1    0 0    0    0 0    00    0000    |    xx    BCDA    1    BCDA 4325
0 1    0 0    0    0 0    00    0000    |    xx    BCDA    1    BCDA 4325

0 1    0 0    0    0 0    00    0000    |    xx    BCDA    1    BCDA 4325
0 0    0 0    0    0 0    00    0000    |    xx    BCDA    0    xxxx xxxx

<<-- Line1-0:>>
0 0    1 0    0    0 0    00    0000    |    xx    BCDA    0    xxxx xxxx -- do the read
0 0    1 0    0    0 0    00    0000    |    xx    BCDA    0    FFFF FFFF -- check precharge

2 0    0 0    0    0 0    00    0000    |    xx    CDAB    1    CDAB 3254
2 0    0 0    0    0 0    00    0000    |    xx    CDAB    1    CDAB 3254

2 0    0 0    0    0 0    00    0000    |    xx    CDAB    1    CDAB 3254
0 0    0 0    0    0 0    00    0000    |    xx    CDAB    0    xxxx xxxx

<<-- Line1-1:>>
0 0    1 0    0    0 0    00    0000    |    xx    CDAB    0    xxxx xxxx -- do the read
0 0    1 0    0    0 0    00    0000    |    xx    CDAB    0    FFFF FFFF -- check precharge

0 2    0 0    0    0 0    00    0000    |    xx    ADCB    1    ADCB 5234
0 2    0 0    0    0 0    00    0000    |    xx    ADCB    1    ADCB 5234

0 2    0 0    0    0 0    00    0000    |    xx    ADCB    1    ADCB 5234
0 0    0 0    0    0 0    00    0000    |    xx    ADCB    0    xxxx xxxx

<<-- Line2-0:>>
0 0    1 0    0    0 0    00    0000    |    xx    ADCB    0    xxxx xxxx -- do the read
0 0    1 0    0    0 0    00    0000    |    xx    ADCB    0    FFFF FFFF -- check precharge

4 0    0 0    0    0 0    00    0000    |    xx    0123    1    0123 FEDC
4 0    0 0    0    0 0    00    0000    |    xx    0123    1    0123 FEDC

4 0    0 0    0    0 0    00    0000    |    xx    0123    1    0123 FEDC
0 0    0 0    0    0 0    00    0000    |    xx    0123    0    xxxx xxxx

<<-- Line2-1:>>
0 0    1 0    0    0 0    00    0000    |    xx    0123    0    xxxx xxxx -- do the read
0 0    1 0    0    0 0    00    0000    |    xx    0123    0    FFFF FFFF -- check precharge

0 4    0 0    0    0 0    00    0000    |    xx    5577    1    5577 AA88
0 4    0 0    0    0 0    00    0000    |    xx    5577    1    5577 AA88

0 4    0 0    0    0 0    00    0000    |    xx    5577    1    5577 AA88
0 0    0 0    0    0 0    00    0000    |    xx    5577    0    xxxx xxxx

<<-- Line3-0:>>
0 0    1 0    0    0 0    00    0000    |    xx    5577    0    xxxx xxxx -- do the read
0 0    1 0    0    0 0    00    0000    |    xx    5577    0    FFFF FFFF -- check precharge

8 0    0 0    0    0 0    00    FFFF    |    xx    FFFF    1    FFFF 0000
8 0    0 0    0    0 0    00    FFFF    |    xx    FFFF    1    FFFF 0000

8 0    0 0    0    0 0    00    FFFF    |    xx    FFFF    1    FFFF 0000
0 0    0 0    0    0 0    00    FFFF    |    xx    FFFF    0    xxxx xxxx

<<-- Line3-1:>>
0 0    1 0    0    0 0    00    0000    |    xx    FFFF    0    xxxx xxxx -- do the read
0 0    1 0    0    0 0    00    0000    |    xx    FFFF    0    FFFF FFFF -- check precharge

0 8    0 0    0    0 0    00    0000    |    xx    0000    1    0000 FFFF
0 8    0 0    0    0 0    00    0000    |    xx    0000    1    0000 FFFF

0 8    0 0    0    0 0    00    0000    |    xx    0000    1    0000 FFFF
0 0    0 0    0    0 0    00    0000    |    xx    0000    0    xxxx xxxx
<<>>
<<-- Write to Line2-1 Word 1 ByteSel 1 and check that just that word got written>>
<<-- Line2-1 Word1 ByteSel=1:>>
0 0    0 1    1    1 1    00    0000    |    xx    xxxx    0    xxxx xxxx -- do the write
0 0    0 1    1    1 1    00    0000    |    xx    xxxx    0    FFFF FFFF -- check precharge

0 4    0 0    0    0 0    00    0000    |    xx    xxxx    1    xxxx xxxx
0 4    0 0    0    0 0    00    0000    |    xx    xxxx    1    xxxx xxxx

0 4    0 0    0    0 0    00    0000    |    xx    xxxx    1    xxxx xxxx
0 0    0 0    0    0 0    00    0000    |    xx    xxxx    0    xxxx xxxx

<<-- Read Line2-1 Word 1 and check that we read FC>>
<<-- Line2-1 Word1:>>
0 0    1 0    1    0 1    00    0000    |    xx    xxxx    0    xxxx xxxx -- do the read
0 0    1 0    1    0 1    00    0000    |    xx    xxxx    0    FFFF FFFF -- check precharge

0 4    0 0    0    0 0    00    0000    |    FC    5572    1    5572 AA8D
0 4    0 0    0    0 0    00    0000    |    FC    5572    1    5572 AA8D

0 4    0 0    0    0 0    00    0000    |    FC    5572    1    5572 AA8D
0 0    0 0    0    0 0    00    0000    |    FC    5572    0    xxxx xxxx

<<-- Verify that only the word written has changed>>
<<-- Line0-0:>>
0 0    1 0    0    0 0    00    0000    |    xx    xxxx    0    xxxx xxxx -- do the read
0 0    1 0    0    0 0    00    0000    |    xx    xxxx    0    FFFF FFFF -- check precharge

1 0    0 0    0    0 0    00    0000    |    xx    A1E5    1    A1E5 5E1A
1 0    0 0    0    0 0    00    0000    |    xx    A1E5    1    A1E5 5E1A

1 0    0 0    0    0 0    00    0000    |    xx    A1E5    1    A1E5 5E1A
0 0    0 0    0    0 0    00    0000    |    xx    A1E5    0    XXXX XXXX

<<-- Line0-1:>>
0 0    1 0    0    0 0    00    0000    |    xx    A1E5    0    xxxx xxxx -- do the read
0 0    1 0    0    0 0    00    0000    |    xx    A1E5    0    FFFF FFFF -- check precharge

0 1    0 0    0    0 0    00    0000    |    xx    BCDA    1    BCDA 4325
0 1    0 0    0    0 0    00    0000    |    xx    BCDA    1    BCDA 4325

0 1    0 0    0    0 0    00    0000    |    xx    BCDA    1    BCDA 4325
0 0    0 0    0    0 0    00    0000    |    xx    BCDA    0    xxxx xxxx

<<-- Line1-0:>>
0 0    1 0    0    0 0    00    0000    |    xx    BCDA    0    xxxx xxxx -- do the read
0 0    1 0    0    0 0    00    0000    |    xx    BCDA    0    FFFF FFFF -- check precharge

2 0    0 0    0    0 0    00    0000    |    xx    CDAB    1    CDAB 3254
2 0    0 0    0    0 0    00    0000    |    xx    CDAB    1    CDAB 3254

2 0    0 0    0    0 0    00    0000    |    xx    CDAB    1    CDAB 3254
0 0    0 0    0    0 0    00    0000    |    xx    CDAB    0    xxxx xxxx

<<-- Line1-1:>>
0 0    1 0    0    0 0    00    0000    |    xx    CDAB    0    xxxx xxxx -- do the read
0 0    1 0    0    0 0    00    0000    |    xx    CDAB    0    FFFF FFFF -- check precharge

0 2    0 0    0    0 0    00    0000    |    xx    ADCB    1    ADCB 5234
0 2    0 0    0    0 0    00    0000    |    xx    ADCB    1    ADCB 5234

0 2    0 0    0    0 0    00    0000    |    xx    ADCB    1    ADCB 5234
0 0    0 0    0    0 0    00    0000    |    xx    ADCB    0    xxxx xxxx

<<-- Line2-0:>>
0 0    1 0    0    0 0    00    0000    |    xx    ADCB    0    xxxx xxxx -- do the read
0 0    1 0    0    0 0    00    0000    |    xx    ADCB    0    FFFF FFFF -- check precharge

4 0    0 0    0    0 0    00    0000    |    xx    0123    1    0123 FEDC
4 0    0 0    0    0 0    00    0000    |    xx    0123    1    0123 FEDC

4 0    0 0    0    0 0    00    0000    |    xx    0123    1    0123 FEDC
0 0    0 0    0    0 0    00    0000    |    xx    0123    0    xxxx xxxx

<<-- Line2-1:>>
0 0    1 0    0    0 0    00    0000    |    xx    0123    0    xxxx xxxx -- do the read
0 0    1 0    0    0 0    00    0000    |    xx    0123    0    FFFF FFFF -- check precharge

0 4    0 0    0    0 0    00    0000    |    xx    5572    1    5572 AA8D
0 4    0 0    0    0 0    00    0000    |    xx    5572    1    5572 AA8D

0 4    0 0    0    0 0    00    0000    |    xx    5572    1    5572 AA8D
0 0    0 0    0    0 0    00    0000    |    xx    5572    0    xxxx xxxx

<<-- Line3-0:>>
0 0    1 0    0    0 0    00    0000    |    xx    5572    0    xxxx xxxx -- do the read
0 0    1 0    0    0 0    00    0000    |    xx    5572    0    FFFF FFFF -- check precharge

8 0    0 0    0    0 0    00    FFFF    |    xx    FFFF    1    FFFF 0000
8 0    0 0    0    0 0    00    FFFF    |    xx    FFFF    1    FFFF 0000

8 0    0 0    0    0 0    00    FFFF    |    xx    FFFF    1    FFFF 0000
0 0    0 0    0    0 0    00    FFFF    |    xx    FFFF    0    xxxx xxxx

<<-- Line3-1:>>
0 0    1 0    0    0 0    00    0000    |    xx    FFFF    0    xxxx xxxx -- do the read
0 0    1 0    0    0 0    00    0000    |    xx    FFFF    0    FFFF FFFF -- check precharge

0 8    0 0    0    0 0    00    0000    |    xx    0000    1    0000 FFFF
0 8    0 0    0    0 0    00    0000    |    xx    0000    1    0000 FFFF

0 8    0 0    0    0 0    00    0000    |    xx    0000    1    0000 FFFF
0 0    0 0    0    0 0    00    0000    |    xx    0000    0    xxxx xxxx
.