DIRECTORY
Rope, SmallCacheLogic;
SmallCacheArrayStateValuesImpl: CEDAR PROGRAM
EXPORTS SmallCacheLogic
~ BEGIN OPEN SmallCacheLogic;
cacheStateValueA: PUBLIC ROPE _ "
 Victim: 7,
Line: 0, VCam: 0 00 111 001, RCam: 0 00 111 001, Flags: 1100, Sh: 0, Ow: 0, Use: 0, Ram: 11011101 00000000 00110100 01110110 01110001 01110100 11111111 11001100, 
Line: 1, VCam: 0 00 100 001, RCam: 0 00 100 001, Flags: 1100, Sh: 0, Ow: 0, Use: 0, Ram: 11001100 11011101 11101110 11111111 00000000 00010001 10101010 10111011, 
Line: 2, VCam: 0 11 010 001, RCam: 0 01 010 001, Flags: 1111, Sh: 0, Ow: 0, Use: 0, Ram: 11101111 11110000 00000001 00010010 10101011 10111100 11001101 11011110, 
Line: 3, VCam: 0 11 001 001, RCam: 0 01 001 001, Flags: 1111, Sh: 0, Ow: 0, Use: 0, Ram: 01011110 01101111 01110000 10000001 00011010 00101011 00111100 01001101, 
Line: 4, VCam: 0 10 101 001, RCam: 0 10 101 001, Flags: 1010, Sh: 0, Ow: 0, Use: 0, Ram: 11101111 00000001 00010010 00110100 01010110 01111000 10101011 11001101, 
Line: 5, VCam: 0 10 001 001, RCam: 0 10 001 001, Flags: 1010, Sh: 0, Ow: 0, Use: 0, Ram: 01110111 10001000 00010001 00100010 00110011 01000100 01010101 01100110, 
Line: 6, VCam: 0 01 011 001, RCam: 0 11 011 001, Flags: 1110, Sh: 0, Ow: 0, Use: 0, Ram: 10101010 10111011 11001100 11011101 11101110 11111111 10001000 10011001, 
Line: 7, VCam: 0 01 010 001, RCam: 0 11 010 001, Flags: 1110, Sh: 0, Ow: 0, Use: 0, Ram: 10101011 11000001 10111010 11000010 11001010 10110011 11001011 10100100, 
";
cacheStateValueB: PUBLIC ROPE _ "
 Victim: 0,
Line: 0, VCam: 0 00 111 001, RCam: 0 00 111 001, Flags: 1100, Sh: 0, Ow: 0, Use: 0, Ram: 11011101 00000000 00110100 01110110 01110001 01110100 11111111 11001100, 
Line: 1, VCam: 0 00 100 001, RCam: 0 00 100 001, Flags: 1100, Sh: 0, Ow: 0, Use: 0, Ram: 11001100 11011101 11101110 11111111 00000000 00010001 10101010 10111011, 
Line: 2, VCam: 0 11 010 001, RCam: 0 01 010 001, Flags: 1111, Sh: 0, Ow: 1, Use: 0, Ram: 11101111 11110000 00000001 00010010 10101011 10111100 11001101 11000000, 
Line: 3, VCam: 0 11 001 001, RCam: 0 01 001 001, Flags: 1111, Sh: 0, Ow: 1, Use: 0, Ram: 01011110 01101111 01110000 10000001 00111100 00101011 00111100 01001101, 
Line: 4, VCam: 0 10 101 001, RCam: 0 10 101 001, Flags: 1010, Sh: 0, Ow: 1, Use: 0, Ram: 11101111 00000001 00010010 00110100 01010110 01111000 10101011 00111111, 
Line: 5, VCam: 0 10 001 001, RCam: 0 10 001 001, Flags: 1010, Sh: 0, Ow: 1, Use: 0, Ram: 01110111 10001000 00010001 00100010 00110011 01000100 01010101 11001111, 
Line: 6, VCam: 0 01 011 001, RCam: 0 11 011 001, Flags: 1110, Sh: 0, Ow: 1, Use: 0, Ram: 11110011 10111011 11001100 11011101 11101110 11111111 10001000 10011001, 
Line: 7, VCam: 0 01 010 001, RCam: 0 11 010 001, Flags: 1110, Sh: 0, Ow: 1, Use: 0, Ram: 10101011 11000001 11111100 11000010 11001010 10110011 11001011 10100100, 
";
cacheStateValueC: PUBLIC ROPE _ "
 Victim: 6,
Line: 0, VCam: 0 01 111 001, RCam: 0 11 111 001, Flags: 1110, Sh: 0, Ow: 1, Use: 1, Ram: 10011001 00100010 00110011 01000100 01010101 01100110 01110111 10001000, 
Line: 1, VCam: 0 00 100 001, RCam: 0 00 100 001, Flags: 1100, Sh: 0, Ow: 0, Use: 0, Ram: 11001100 11011101 11101110 11111111 00000000 00010001 10101010 10111011, 
Line: 2, VCam: 0 11 010 001, RCam: 0 01 010 001, Flags: 1111, Sh: 0, Ow: 1, Use: 0, Ram: 11101111 11110000 00000001 00010010 10101011 10111100 11001101 11000000, 
Line: 3, VCam: 0 11 001 001, RCam: 0 01 001 001, Flags: 1111, Sh: 0, Ow: 1, Use: 0, Ram: 01011110 01101111 01110000 10000001 00111100 00101011 00111100 01001101, 
Line: 4, VCam: 0 10 101 001, RCam: 0 10 101 001, Flags: 1010, Sh: 0, Ow: 1, Use: 0, Ram: 11101111 00000001 00010010 00110100 01010110 01111000 10101011 00111111, 
Line: 5, VCam: 0 10 001 001, RCam: 0 10 001 001, Flags: 1010, Sh: 0, Ow: 1, Use: 0, Ram: 01110111 10001000 00010001 00100010 00110011 01000100 01010101 11001111, 
Line: 6, VCam: 0 01 011 001, RCam: 0 11 011 001, Flags: 1110, Sh: 0, Ow: 1, Use: 0, Ram: 11110011 10111011 11001100 11011101 11101110 11111111 10001000 10011001, 
Line: 7, VCam: 0 01 000 001, RCam: 0 11 000 001, Flags: 1110, Sh: 0, Ow: 1, Use: 1, Ram: 01000100 00110011 00110011 00110011 00110011 00110011 00110011 00110011, 
";
cacheStateValueD: PUBLIC ROPE _ "
 Victim: 6,
Line: 0, VCam: 0 01 111 001, RCam: 0 11 111 001, Flags: 1110, Sh: 0, Ow: 1, Use: 1, Ram: 10011001 00100010 00110011 01000100 01010101 01100110 01110111 10001000, 
Line: 1, VCam: 0 00 100 001, RCam: 0 00 100 001, Flags: 1100, Sh: 0, Ow: 0, Use: 0, Ram: 11001100 11011101 11101110 11111111 00000000 00010001 10101010 10111011, 
Line: 2, VCam: 0 11 010 001, RCam: 0 01 010 001, Flags: 1111, Sh: 0, Ow: 1, Use: 0, Ram: 11101111 11110000 00000001 00010010 10101011 10111100 11001101 11000000, 
Line: 3, VCam: 0 11 001 001, RCam: 0 01 001 001, Flags: 1111, Sh: 0, Ow: 1, Use: 0, Ram: 01011110 01101111 01110000 10000001 00111100 00101011 00111100 01001101, 
Line: 4, VCam: 0 10 101 001, RCam: 0 10 101 001, Flags: 1010, Sh: 0, Ow: 1, Use: 0, Ram: 11101111 00000001 00010010 00110100 01010110 01111000 10101011 00111111, 
Line: 5, VCam: 0 10 001 001, RCam: 0 10 001 001, Flags: 1010, Sh: 0, Ow: 1, Use: 0, Ram: 01110111 10001000 00010001 00100010 00110011 01000100 01010101 11001111, 
Line: 6, VCam: 0 01 011 001, RCam: 0 11 011 001, Flags: 1110, Sh: 0, Ow: 1, Use: 0, Ram: 11110011 10111011 11001100 11011101 11101110 11111111 10001000 10011001, 
Line: 7, VCam: 0 01 000 001, RCam: 0 11 000 001, Flags: 1110, Sh: 0, Ow: 1, Use: 1, Ram: 01000100 00110011 00110011 00110011 00110011 00110011 00110011 00110011, 
";
cacheStateValueE: PUBLIC ROPE _ "
 Victim: 6,
Line: 0, VCam: 0 01 111 000, RCam: 0 11 111 001, Flags: 1110, Sh: 0, Ow: 1, Use: 1, Ram: 10011001 00100010 00110011 01000100 01010101 01100110 01110111 10001000, 
Line: 1, VCam: 0 00 100 000, RCam: 0 00 100 001, Flags: 1100, Sh: 0, Ow: 1, Use: 1, Ram: 11011101 11011101 11101110 11111111 00000000 00010001 10101010 10111011, 
Line: 2, VCam: 0 11 010 001, RCam: 0 01 010 001, Flags: 1111, Sh: 0, Ow: 1, Use: 0, Ram: 11101111 11110000 00000001 00010010 10101011 10111100 11001101 11000000, 
Line: 3, VCam: 0 11 001 001, RCam: 0 01 001 001, Flags: 1111, Sh: 0, Ow: 1, Use: 0, Ram: 01011110 01101111 01110000 10000001 00111100 00101011 00111100 01001101, 
Line: 4, VCam: 0 10 101 001, RCam: 0 10 101 001, Flags: 1010, Sh: 0, Ow: 1, Use: 0, Ram: 11101111 00000001 00010010 00110100 01010110 01111000 10101011 00111111, 
Line: 5, VCam: 0 10 001 001, RCam: 0 10 001 001, Flags: 1010, Sh: 0, Ow: 1, Use: 0, Ram: 01110111 10001000 00010001 00100010 00110011 01000100 01010101 11001111, 
Line: 6, VCam: 0 01 011 000, RCam: 0 11 011 001, Flags: 1110, Sh: 0, Ow: 1, Use: 0, Ram: 11110011 10111011 11001100 11011101 11101110 11111111 10001000 10011001, 
Line: 7, VCam: 0 01 000 000, RCam: 0 11 000 001, Flags: 1110, Sh: 0, Ow: 1, Use: 1, Ram: 01000100 00110011 00110011 00110011 00110011 00110011 00110011 00110011, 
";
cacheStateValueF: PUBLIC ROPE _ "
 Victim: 6,
Line: 0, VCam: 0 01 111 000, RCam: 0 11 111 001, Flags: 1110, Sh: 0, Ow: 1, Use: 1, Ram: 10011001 00100010 00110011 01000100 01010101 01100110 01110111 10001000, 
Line: 1, VCam: 0 00 100 000, RCam: 0 00 100 001, Flags: 1100, Sh: 0, Ow: 1, Use: 1, Ram: 11011101 11011101 11101110 11111111 00000000 00010001 10101010 10111011, 
Line: 2, VCam: 0 11 010 000, RCam: 0 01 010 001, Flags: 1111, Sh: 0, Ow: 1, Use: 0, Ram: 11101111 11110000 00000001 00010010 10101011 10111100 11001101 11000000, 
Line: 3, VCam: 0 11 001 000, RCam: 0 01 001 001, Flags: 1111, Sh: 0, Ow: 1, Use: 0, Ram: 01011110 01101111 01110000 10000001 00111100 00101011 00111100 01001101, 
Line: 4, VCam: 0 10 101 000, RCam: 0 10 101 001, Flags: 1010, Sh: 0, Ow: 1, Use: 0, Ram: 11101111 00000001 00010010 00110100 01010110 01111000 10101011 00111111, 
Line: 5, VCam: 0 10 001 000, RCam: 0 10 001 001, Flags: 1010, Sh: 0, Ow: 1, Use: 0, Ram: 01110111 10001000 00010001 00100010 00110011 01000100 01010101 11001111, 
Line: 6, VCam: 0 01 011 000, RCam: 0 11 011 001, Flags: 1110, Sh: 0, Ow: 1, Use: 0, Ram: 11110011 10111011 11001100 11011101 11101110 11111111 10001000 10011001, 
Line: 7, VCam: 0 01 000 000, RCam: 0 11 000 001, Flags: 1110, Sh: 0, Ow: 1, Use: 1, Ram: 01000100 00110011 00110011 00110011 00110011 00110011 00110011 00110011, 
";
cacheStateValueG: PUBLIC ROPE _ "
 Victim: 6,
Line: 0, VCam: 0 00 111 001, RCam: 0 00 111 001, Flags: 1100, Sh: 0, Ow: 0, Use: 0, Ram: 11011101 00000000 00110100 01110110 01110001 01110100 11111111 11001100, 
Line: 1, VCam: 0 00 100 001, RCam: 0 00 100 001, Flags: 1100, Sh: 0, Ow: 0, Use: 0, Ram: 11001100 11011101 11101110 11111111 00000000 00010001 10101010 10111011, 
Line: 2, VCam: 0 11 010 001, RCam: 0 01 010 001, Flags: 1111, Sh: 1, Ow: 0, Use: 0, Ram: 11101111 11110000 00000001 00010010 10101011 10111100 11001101 11011110, 
Line: 3, VCam: 0 11 001 001, RCam: 0 01 001 001, Flags: 1111, Sh: 0, Ow: 0, Use: 0, Ram: 01011110 01101111 01110000 10000001 00011010 00101011 00111100 01001101, 
Line: 4, VCam: 0 10 101 001, RCam: 0 10 101 001, Flags: 1010, Sh: 0, Ow: 0, Use: 0, Ram: 11101111 00000001 00010010 00110100 01010110 01111000 10101011 11001101, 
Line: 5, VCam: 0 10 001 001, RCam: 0 10 001 001, Flags: 1010, Sh: 0, Ow: 0, Use: 0, Ram: 01110111 10001000 00010001 00100010 00110011 01000100 01010101 01100110, 
Line: 6, VCam: 0 01 011 001, RCam: 0 11 011 001, Flags: 1110, Sh: 0, Ow: 0, Use: 0, Ram: 10101010 10111011 11001100 11011101 11101110 11111111 10001000 10011001, 
Line: 7, VCam: 0 01 010 001, RCam: 0 11 010 001, Flags: 1110, Sh: 0, Ow: 1, Use: 1, Ram: 10101011 11000001 01000111 11000010 11001010 10110011 11001011 10100100, 
";
cacheStateValueH: PUBLIC ROPE _ "
 Victim: 6,
Line: 0, VCam: 0 00 111 001, RCam: 0 00 111 001, Flags: 1100, Sh: 0, Ow: 0, Use: 1, Ram: 00000001 00010001 00010000 00010000 00100000 00100000 00110000 00110111, 
Line: 1, VCam: 0 00 100 001, RCam: 0 00 100 001, Flags: 1100, Sh: 0, Ow: 0, Use: 0, Ram: 11001100 11011101 11101110 11111111 00000000 00010001 10101010 10111011, 
Line: 2, VCam: 0 11 010 001, RCam: 0 01 010 001, Flags: 1111, Sh: 1, Ow: 0, Use: 0, Ram: 11101111 11110000 00000001 00010010 10101011 10111100 11001101 11011110, 
Line: 3, VCam: 0 11 001 001, RCam: 0 01 001 001, Flags: 1111, Sh: 0, Ow: 0, Use: 0, Ram: 01011110 01101111 01110000 10000001 00011010 00101011 00111100 01001101, 
Line: 4, VCam: 0 10 101 001, RCam: 0 10 101 001, Flags: 1010, Sh: 0, Ow: 0, Use: 0, Ram: 11101111 00000001 00010010 00110100 01010110 01111000 10101011 11001101, 
Line: 5, VCam: 0 10 001 001, RCam: 0 10 001 001, Flags: 1010, Sh: 0, Ow: 0, Use: 0, Ram: 01110111 10001000 00010001 00100010 00110011 01000100 01010101 01100110, 
Line: 6, VCam: 0 01 011 001, RCam: 0 11 011 001, Flags: 1110, Sh: 0, Ow: 0, Use: 0, Ram: 10101010 10111011 11001100 11011101 11101110 11111111 10001000 10011001, 
Line: 7, VCam: 0 01 010 001, RCam: 0 11 010 001, Flags: 1110, Sh: 0, Ow: 0, Use: 1, Ram: 00010001 00010111 00100010 01111000 00010011 01110010 00011000 01110110, 
";
cacheStateValueI: PUBLIC ROPE _ "
 Victim: 6,
Line: 0, VCam: 0 00 111 001, RCam: 0 00 111 001, Flags: 1100, Sh: 0, Ow: 0, Use: 1, Ram: 00000001 01110101 00010000 00010000 00100000 00100000 00110000 00110111, 
Line: 1, VCam: 0 00 100 001, RCam: 0 00 100 001, Flags: 1100, Sh: 0, Ow: 0, Use: 0, Ram: 11001100 11011101 11101110 11111111 00000000 00010001 10101010 10111011, 
Line: 2, VCam: 0 11 010 001, RCam: 0 01 010 001, Flags: 1111, Sh: 1, Ow: 0, Use: 0, Ram: 11101111 11110000 00000001 00010010 10101011 10111100 11001101 11011110, 
Line: 3, VCam: 0 11 001 001, RCam: 0 01 001 001, Flags: 1111, Sh: 0, Ow: 0, Use: 0, Ram: 01011110 01101111 01110000 10000001 00011010 00101011 00111100 01001101, 
Line: 4, VCam: 0 10 101 001, RCam: 0 10 101 001, Flags: 1010, Sh: 0, Ow: 0, Use: 1, Ram: 11101111 00000001 00010010 00110100 01000101 00111001 10101011 11001101, 
Line: 5, VCam: 0 10 001 001, RCam: 0 10 001 001, Flags: 1010, Sh: 0, Ow: 0, Use: 0, Ram: 01110111 10001000 00010001 00100010 00110011 01000100 01010101 01100110, 
Line: 6, VCam: 0 01 011 001, RCam: 0 11 011 001, Flags: 1110, Sh: 0, Ow: 0, Use: 0, Ram: 10101010 10111011 11001100 11011101 11101110 11111111 10001000 10011001, 
Line: 7, VCam: 0 01 010 001, RCam: 0 11 010 001, Flags: 1110, Sh: 0, Ow: 0, Use: 1, Ram: 00010001 00010111 00100010 01111000 00010011 01110010 00011000 01110110, 
";
cacheStateValueJ: PUBLIC ROPE _ "
 Victim: 6,
Line: 0, VCam: 0 00 111 001, RCam: 0 00 111 001, Flags: 1100, Sh: 0, Ow: 0, Use: 1, Ram: 00000001 10000110 00010000 00010000 00100000 00100000 00110000 00110111, 
Line: 1, VCam: 0 00 100 001, RCam: 0 00 100 001, Flags: 1100, Sh: 0, Ow: 0, Use: 0, Ram: 11001100 11011101 11101110 11111111 00000000 00010001 10101010 10111011, 
Line: 2, VCam: 0 11 010 001, RCam: 0 01 010 001, Flags: 1111, Sh: 1, Ow: 0, Use: 0, Ram: 11101111 11110000 00000001 00010010 10101011 10111100 11001101 11011110, 
Line: 3, VCam: 0 11 001 001, RCam: 0 01 001 001, Flags: 1111, Sh: 0, Ow: 0, Use: 0, Ram: 01011110 01101111 01110000 10000001 00011010 00101011 00111100 01001101, 
Line: 4, VCam: 0 10 101 001, RCam: 0 10 101 001, Flags: 1010, Sh: 0, Ow: 0, Use: 1, Ram: 11101111 00000001 00010010 00110100 01010100 00111001 10101011 11001101, 
Line: 5, VCam: 0 10 001 001, RCam: 0 10 001 001, Flags: 1010, Sh: 0, Ow: 0, Use: 0, Ram: 01110111 10001000 00010001 00100010 00110011 01000100 01010101 01100110, 
Line: 6, VCam: 0 01 011 001, RCam: 0 11 011 001, Flags: 1110, Sh: 0, Ow: 0, Use: 0, Ram: 10101010 10111011 11001100 11011101 11101110 11111111 10001000 10011001, 
Line: 7, VCam: 0 01 010 001, RCam: 0 11 010 001, Flags: 1110, Sh: 0, Ow: 0, Use: 1, Ram: 00010001 00010111 00100010 01111000 00010011 01110010 00011000 01110110, 
";
cacheStateValueK: PUBLIC ROPE _ "
 Victim: 6,
Line: 0, VCam: 0 00 111 001, RCam: 0 00 111 001, Flags: 1100, Sh: 0, Ow: 0, Use: 1, Ram: 00000001 10000110 00010000 00010000 00100000 00100000 00110000 00110111, 
Line: 1, VCam: 0 00 100 001, RCam: 0 00 100 001, Flags: 1100, Sh: 0, Ow: 0, Use: 0, Ram: 11001100 11011101 11101110 11111111 00000000 00010001 10101010 10111011, 
Line: 2, VCam: 0 11 010 001, RCam: 0 01 010 001, Flags: 1111, Sh: 1, Ow: 0, Use: 0, Ram: 11101111 11110000 00000001 00010010 10101011 10111100 11001101 11011110, 
Line: 3, VCam: 0 11 001 001, RCam: 0 01 001 001, Flags: 1111, Sh: 0, Ow: 0, Use: 0, Ram: 01011110 01101111 01110000 10000001 00011010 00101011 00111100 01001101, 
Line: 4, VCam: 0 10 101 001, RCam: 0 10 101 001, Flags: 1010, Sh: 0, Ow: 0, Use: 1, Ram: 11101111 00000001 00010010 00110100 01010100 00111001 10101011 11001101, 
Line: 5, VCam: 0 10 001 001, RCam: 0 10 001 001, Flags: 1010, Sh: 0, Ow: 0, Use: 0, Ram: 01110111 10001000 00010001 00100010 00110011 01000100 01010101 01100110, 
Line: 6, VCam: 0 01 011 001, RCam: 0 11 011 001, Flags: 1110, Sh: 0, Ow: 0, Use: 0, Ram: 10101010 10111011 11001100 11011101 11101110 11111111 10001000 10011001, 
Line: 7, VCam: 0 01 010 001, RCam: 0 11 010 001, Flags: 1110, Sh: 0, Ow: 0, Use: 1, Ram: 00010001 00010111 00100010 01111000 00010011 01110010 00011000 01110110, 
";
cacheStateValueL: PUBLIC ROPE _ "
 Victim: 6,
Line: 0, VCam: 0 00 111 001, RCam: 0 00 111 001, Flags: 1100, Sh: 0, Ow: 0, Use: 1, Ram: 00000001 10000110 00010000 00010000 00100000 00100000 00110000 00110111, 
Line: 1, VCam: 0 00 100 001, RCam: 0 00 100 001, Flags: 1100, Sh: 0, Ow: 0, Use: 0, Ram: 11001100 11011101 11101110 11111111 00000000 00010001 10101010 10111011, 
Line: 2, VCam: 0 11 010 001, RCam: 0 01 010 001, Flags: 1111, Sh: 1, Ow: 0, Use: 0, Ram: 11101111 11110000 00000001 00010010 10101011 10111100 11001101 11011110, 
Line: 3, VCam: 0 11 001 001, RCam: 0 01 001 001, Flags: 1111, Sh: 0, Ow: 0, Use: 0, Ram: 01011110 01101111 01110000 10000001 00011010 00101011 00111100 01001101, 
Line: 4, VCam: 0 10 101 001, RCam: 0 10 101 001, Flags: 1010, Sh: 0, Ow: 0, Use: 1, Ram: 11101111 00000001 00010010 00110100 01010100 00111001 10101011 11001101, 
Line: 5, VCam: 0 10 001 001, RCam: 0 10 001 001, Flags: 1010, Sh: 0, Ow: 0, Use: 0, Ram: 01110111 10001000 00010001 00100010 00110011 01000100 01010101 01100110, 
Line: 6, VCam: 0 01 011 001, RCam: 0 11 011 001, Flags: 1110, Sh: 0, Ow: 0, Use: 0, Ram: 10101010 10111011 11001100 11011101 11101110 11111111 10001000 10011001, 
Line: 7, VCam: 0 01 010 001, RCam: 0 11 010 001, Flags: 1110, Sh: 0, Ow: 0, Use: 1, Ram: 00010001 00010111 00100010 01111000 00010011 01110010 00011000 01110110, 
";



cacheStateValueM: PUBLIC ROPE _ "
 Victim: 6,
Line: 0, VCam: 0 00 111 001, RCam: 0 00 111 001, Flags: 1100, Sh: 0, Ow: 0, Use: 0, Ram: 00000001 10000110 00010000 00010000 00100000 00100000 00110000 00110111, 
Line: 1, VCam: 0 00 100 001, RCam: 0 00 100 001, Flags: 1100, Sh: 0, Ow: 0, Use: 0, Ram: 11001100 11011101 11101110 11111111 00000000 00010001 10101010 10111011, 
Line: 2, VCam: 0 11 010 001, RCam: 0 01 010 001, Flags: 1111, Sh: 1, Ow: 0, Use: 0, Ram: 11101111 11110000 00000001 00010010 10101011 10111100 11001101 11011110, 
Line: 3, VCam: 0 11 001 001, RCam: 0 01 001 001, Flags: 1111, Sh: 0, Ow: 0, Use: 0, Ram: 01011110 01101111 01110000 10000001 00011010 00101011 00111100 01001101, 
Line: 4, VCam: 0 10 101 001, RCam: 0 10 101 001, Flags: 1010, Sh: 0, Ow: 0, Use: 0, Ram: 11101111 00000001 00010010 00110100 01010100 00111001 10101011 11001101, 
Line: 5, VCam: 0 10 001 001, RCam: 0 10 001 001, Flags: 1010, Sh: 0, Ow: 0, Use: 0, Ram: 01110111 10001000 00010001 00100010 00110011 01000100 01010101 01100110, 
Line: 6, VCam: 0 01 011 001, RCam: 0 11 011 001, Flags: 1110, Sh: 0, Ow: 0, Use: 0, Ram: 10101010 10111011 11001100 11011101 11101110 11111111 10001000 10011001, 
Line: 7, VCam: 0 01 010 001, RCam: 0 11 010 001, Flags: 1110, Sh: 0, Ow: 0, Use: 0, Ram: 00010001 00010111 00100010 01111000 00010011 01110010 00011000 01110110, 
";
cacheStateValueN: PUBLIC ROPE _ "
 Victim: 6,
Line: 0, VCam: 0 00 111 001, RCam: 0 00 111 001, Flags: 1100, Sh: 0, Ow: 0, Use: 0, Ram: 00000001 10000110 00010000 00010000 00100000 00100000 00110000 00110111, 
Line: 1, VCam: 0 00 100 001, RCam: 0 00 100 001, Flags: 1100, Sh: 0, Ow: 0, Use: 0, Ram: 11001100 11011101 11101110 11111111 00000000 00010001 10101010 10111011, 
Line: 2, VCam: 0 11 010 001, RCam: 0 01 010 001, Flags: 1111, Sh: 1, Ow: 0, Use: 0, Ram: 11101111 11110000 00000001 00010010 10101011 10111100 11001101 11011110, 
Line: 3, VCam: 0 11 001 001, RCam: 0 01 001 001, Flags: 1111, Sh: 0, Ow: 0, Use: 0, Ram: 01011110 01101111 01110000 10000001 00011010 00101011 00111100 01001101, 
Line: 4, VCam: 0 10 101 001, RCam: 0 10 101 001, Flags: 1010, Sh: 0, Ow: 0, Use: 0, Ram: 11101111 00000001 00010010 00110100 01010100 00111001 10101011 11001101, 
Line: 5, VCam: 0 10 001 001, RCam: 0 10 001 001, Flags: 1010, Sh: 0, Ow: 0, Use: 0, Ram: 01110111 10001000 00010001 00100010 00110011 01000100 01010101 01100110, 
Line: 6, VCam: 0 01 011 001, RCam: 0 11 011 001, Flags: 1110, Sh: 0, Ow: 0, Use: 0, Ram: 10101010 10111011 11001100 11011101 11101110 11111111 10001000 10011001, 
Line: 7, VCam: 0 01 010 001, RCam: 0 11 010 001, Flags: 1110, Sh: 0, Ow: 0, Use: 0, Ram: 00010001 00010111 00100010 01111000 00010011 01110010 00011000 01110110, 
";
cacheStateValueO: PUBLIC ROPE _ "
 Victim: 6,
Line: 0, VCam: 0 00 111 001, RCam: 0 00 111 001, Flags: 1100, Sh: 0, Ow: 0, Use: 0, Ram: 00000001 10000110 00010000 00010000 00100000 00100000 00110000 00110111, 
Line: 1, VCam: 0 00 100 001, RCam: 0 00 100 001, Flags: 1100, Sh: 0, Ow: 0, Use: 0, Ram: 11001100 11011101 11101110 11111111 00000000 00010001 10101010 10111011, 
Line: 2, VCam: 0 11 010 001, RCam: 0 01 010 001, Flags: 1111, Sh: 1, Ow: 0, Use: 0, Ram: 11101111 11110000 00000001 00010010 10101011 10111100 11001101 11011110, 
Line: 3, VCam: 0 11 001 001, RCam: 0 01 001 001, Flags: 1111, Sh: 0, Ow: 0, Use: 0, Ram: 01011110 01101111 01110000 10000001 00011010 00101011 00111100 01001101, 
Line: 4, VCam: 0 10 101 001, RCam: 0 10 101 001, Flags: 1010, Sh: 0, Ow: 0, Use: 0, Ram: 11101111 00000001 00010010 00110100 01010100 00111001 10101011 11001101, 
Line: 5, VCam: 0 10 001 001, RCam: 0 10 001 001, Flags: 1010, Sh: 0, Ow: 0, Use: 0, Ram: 01110111 10001000 00010001 00100010 00110011 01000100 01010101 01100110, 
Line: 6, VCam: 0 01 011 001, RCam: 0 11 011 001, Flags: 1110, Sh: 0, Ow: 0, Use: 0, Ram: 10101010 10111011 11001100 11011101 11101110 11111111 10001000 10011001, 
Line: 7, VCam: 0 01 010 001, RCam: 0 11 010 001, Flags: 1110, Sh: 0, Ow: 0, Use: 0, Ram: 00010001 00010111 00100010 01111000 00010011 01110010 00011000 01110110, 
";
END.
ΊSmallCacheArrayStateValuesImpl.mesa
Pradeep Sindhu May 15, 1988 12:14:20 pm PDT


State Defs
States used in processor side checks:
cacheStateValueA _ SmallCacheInner-InitialReads[NIL]
cacheStateValueB _ SmallCacheInner-Writes[cacheStateValueA]
cacheStateValueC _ SmallCacheInner-WriteMisses[cacheStateValueB]
cacheStateValueD _ SmallCacheInner-IO[cacheStateValueC]
cacheStateValueE _ SmallCacheInner-Misc[cacheStateValueD]
cacheStateValueF _ SmallCacheInner-ClrAllVPV[cacheStateValueE]

States used in bus side checks:
cacheStateValueG _ SmallCacheInner-ReadBlocks[cacheStateValueA]
cacheStateValueH _ SmallCacheInner-WriteBlocks[cacheStateValueG]
cacheStateValueI _ SmallCacheInner-WriteSingles[cacheStateValueH]
cacheStateValueJ _ SmallCacheInner-CondWriteSingles[cacheStateValueI]
cacheStateValueK _ SmallCacheInner-IOReads[cacheStateValueJ]
cacheStateValueL _ SmallCacheInner-IOWrites[cacheStateValueK]
States used in 8 bits per byte checks:

Κˆ˜š
œ#™#Icode™+K™—š
Οk	˜	Kš
œ˜—J™KšΡblnœœ
˜-Kšœ˜Kšœœ
œ˜
headš
Οl
™
L™%K™4šœœ
œ˜!Jš
ϣ
˜£
K˜—K™;šœœ
œ˜!Jš
ϣ
˜£
K˜—Kš
œ@™@šœœ
œ˜!Jš
ϣ
˜£
K˜—Kš
œ7™7šœœ
œ˜!Jš
ϣ
˜£
K˜—Kš
œ9™9šœœ
œ˜!Jš
ϣ
˜£
K˜—Kš
œ>™>šœœ
œ˜!Jš
ϣ
˜£
K˜—K™L™Kš
œ?™?šœœ
œ˜!Jš
ϣ
˜£
K˜—Kš
œ@™@šœœ
œ˜!Jš
ϣ
˜£
K˜—Kš
œA™Ašœœ
œ˜!Jš
ϣ
˜£
K˜—Kš
œE™Ešœœ
œ˜!Jš
ϣ
˜£
K˜—Kš
œ<™<šœœ
œ˜!Jš
ϣ
˜£
K˜—Kš
œ=™=šœœ
œ˜!Jš
ϣ
˜£
K˜—K˜K˜L™&K˜šœœ
œ˜!Jš
ϣ
˜£
K˜—šœœ
œ˜!Jš
ϣ
˜£
K˜—šœœ
œ˜!Jš
ϣ
˜£
K˜——Kšœ
˜J™—…—OΦV