3 2 1 ( 0 0 ) 0 | ( ( x x x x ) ( x x x x ) ) x 3 2 1 ( 0 0 ) 0 | ( ( x x x x ) ( x x x x ) ) x 3 2 1 ( 0 0 ) 1 | ( ( x 1 1 1 ) ( 1 0 0 0 ) ) 0 3 2 1 ( 0 1 ) 1 | ( ( x 0 1 1 ) ( 0 1 0 0 ) ) 1 3 2 1 ( 0 1 ) 0 | ( ( x 0 1 1 ) ( 0 1 0 0 ) ) 1 3 2 1 ( 0 0 ) 0 | ( ( x 0 1 1 ) ( 0 1 0 0 ) ) 1 3 2 1 ( 1 0 ) 1 | ( ( x 1 0 1 ) ( 0 0 1 0 ) ) 2 3 2 1 ( 1 1 ) 1 | ( ( x 1 1 0 ) ( 0 0 0 1 ) ) 3 3 2 1 ( 1 1 ) 0 | ( ( x 1 1 0 ) ( 0 0 0 1 ) ) 3 3 2 1 ( 1 0 ) 0 | ( ( x 1 1 0 ) ( 0 0 0 1 ) ) 3 3 2 1 ( 1 0 ) 1 | ( ( x 1 0 1 ) ( 0 0 1 0 ) ) 2 3 2 1 ( 1 0 ) 1 | ( ( x 1 0 1 ) ( 0 0 1 0 ) ) 2 3 2 1 ( 1 0 ) 0 | ( ( x 1 0 1 ) ( 0 0 1 0 ) ) 2 3 2 1 ( 0 0 ) 1 | ( ( x 1 1 1 ) ( 1 0 0 0 ) ) 0 3 2 1 ( 0 0 ) 1 | ( ( x 1 1 1 ) ( 1 0 0 0 ) ) 0 3 2 1 ( 0 1 ) 1 | ( ( x 0 1 1 ) ( 0 1 0 0 ) ) 1 3 2 1 ( 0 1 ) 0 | ( ( x 0 1 1 ) ( 0 1 0 0 ) ) 1 3 2 1 ( 1 1 ) 0 | ( ( x 0 1 1 ) ( 0 1 0 0 ) ) 1 3 2 1 ( 1 0 ) 1 | ( ( x 1 0 1 ) ( 0 0 1 0 ) ) 2 3 2 1 ( 1 0 ) 1 | ( ( x 1 0 1 ) ( 0 0 1 0 ) ) 2 3 2 1 ( 1 0 ) 0 | ( ( x 1 0 1 ) ( 0 0 1 0 ) ) 2 A B C ( 0 0 ) 0 | ( ( x 1 0 1 ) ( 0 0 1 0 ) ) B A B C ( 0 1 ) 1 | ( ( x 0 1 1 ) ( 0 1 0 0 ) ) C A B C ( 1 1 ) 1 | ( ( x 1 1 0 ) ( 0 0 0 1 ) ) A A B C ( 1 1 ) 0 | ( ( x 1 1 0 ) ( 0 0 0 1 ) ) A A B C ( 1 1 ) 0 | ( ( x 1 1 0 ) ( 0 0 0 1 ) ) A A B F ( 1 0 ) 1 | ( ( x 1 0 1 ) ( 0 0 1 0 ) ) B A B F ( 1 0 ) 1 | ( ( x 1 0 1 ) ( 0 0 1 0 ) ) B A F B ( 1 0 ) 0 | ( ( x 1 0 1 ) ( 0 0 1 0 ) ) F F B A ( 0 1 ) 0 | ( ( x 1 0 1 ) ( 0 0 1 0 ) ) B 3 2 1 ( 0 0 ) 0 | ( ( x 1 0 1 ) ( 0 0 1 0 ) ) 2 3 2 1 ( 0 0 ) 0 | ( ( x 1 0 1 ) ( 0 0 1 0 ) ) 2 . ���Ð��RSMux.oracle Pradeep Sindhu September 22, 1987 3:31:34 am PDT Paraminder Sahai July 5, 1987 4:03:05 pm PDT TEST COMPLETED February 13, 1987 [PSS] Checked again after putting together cache top level July 5, 1987 4:03:05 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. Old Signal Order is: Victim LVM LRM (RSCmd) EnRamSel | ((nDecodedCmd) (DecodedCmd) EnOut) MuxOut New Signal Order is Victim LVM LRM (RSCmd) nEnRS | ((nDecodedCmd) (DecodedCmd)) MuxOut First, check that X's get flushed out naturally, and that the Cmd decoder works: Next, check that the right values appear at the output for different inputs Ê“��˜�šœ ™ Icode™0K™,—J˜�J™&J™PJ™�J™�J™…J™�™Jšœ!Ïeœ)™LJ™Jšœ œ&™F—J™�™PJšÏf0˜0Jšž0˜0J˜�Jšž/˜/Jšž/˜/J˜�Jšž0˜0Jšž0˜0Jšž˜Jšž0˜0Jšž0˜0J˜�Jšž0˜0Jšž/˜/J˜�Jšž/˜/Jšž0˜0J˜�Jšž/˜/Jšž/˜/J˜�—™KJšž0˜0Jšž0˜0J˜�Jšž0˜0Jšž0˜0J˜�Jšž0˜0Jšž0˜0J˜�Jšž/˜/Jšž0˜0J˜�Jšž0˜0Jšž0˜0J˜�Jšž0˜0Jšž0˜0J˜�Jšž0˜0Jšž0˜0J˜�Jšž0˜0Jšž0˜0J˜�Jšž0˜0Jšž0˜0—J˜�™�J˜J˜�J˜�J˜�—J™�—�…—����2�� •��