Name: SCPmCode Date: December 31, 1987 11:35:02 am PST InType: LIST[ AOw ASh AVM MyBFault NonFBTIP PAccessPerm PCmd0 PCmd1 PCmd2 PCmd3 PCtlABusCmd PCtlBCmd PCtlCSCmd PCtlDBusCmd PCtlEnCamSel PCtlForceWordAddress PCtlFrzVictim PCtlIdle PCtlLdFIFO PCtlLdRBufDataHi PCtlLdRBufDataLo PCtlLdRBufHeader PCtlPartFMch PCtlRdRam PCtlRdRCam PCtlRdVCam PCtlResetVictim PCtlRSCmd PCtlSetFBTIP PCtlSetNonFBTIP PCtlShftVictim PCtlWtMchVCam PCtlWtRam PCWSEq Push RamForP RCamForP Reset RPValid Stack0 Stack1 TimeOut Xtra0 Xtra1 Xtra2 Xtra3 Xtra4 ] OutType: LIST[ PCtlABusCmd PCtlBCmd PCtlCSCmd PCtlDBusCmd PCtlEnCamSel PCtlFault PCtlFaultCode PCtlFlagsForB PCtlForceWordAddress PCtlFrzVictim PCtlIdle PCtlLdFIFO PCtlLdRBufDataHi PCtlLdRBufDataLo PCtlLdRBufHeader PCtlLdSnooper PCtlPartFMch PCtlPartVMch PCtlRdRam PCtlRdRCam PCtlRdVCam PCtlReleaseP PCtlResetVictim PCtlRSCmd PCtlSelBFC PCtlSelRplyData PCtlSetFBTIP PCtlSetNonFBTIP PCtlSetSnooperValid PCtlShftVictim PCtlWtMchVCam PCtlWtRam Push Stack Xtra0 Xtra1 Xtra2 Xtra3 Xtra4 ] Terms: 149 Bit Format: LIST[ AOw ASh AVM MyBFault NonFBTIP PAccessPerm PCmd0 PCmd1 PCmd2 PCmd3 PCtlABusCmd PCtlBCmd PCtlCSCmd PCtlDBusCmd PCtlEnCamSel PCtlForceWordAddress PCtlFrzVictim PCtlIdle PCtlLdFIFO PCtlLdRBufDataHi PCtlLdRBufDataLo PCtlLdRBufHeader PCtlPartFMch PCtlRdRam PCtlRdRCam PCtlRdVCam PCtlResetVictim PCtlRSCmd PCtlSetFBTIP PCtlSetNonFBTIP PCtlShftVictim PCtlWtMchVCam PCtlWtRam PCWSEq Push RamForP RCamForP Reset RPValid Stack0 Stack1 TimeOut Xtra0 Xtra1 Xtra2 Xtra3 Xtra4 ] Index First Size Name 0 0 1 AOw 1 1 1 ASh 2 2 1 AVM 3 3 1 MyBFault 4 4 1 NonFBTIP 5 5 1 PAccessPerm 6 6 1 PCmd0 7 7 1 PCmd1 8 8 1 PCmd2 9 9 1 PCmd3 10 10 1 PCtlABusCmd 11 11 1 PCtlBCmd 12 12 1 PCtlCSCmd 13 13 1 PCtlDBusCmd 14 14 1 PCtlEnCamSel 15 15 1 PCtlForceWordAddress 16 16 1 PCtlFrzVictim 17 17 1 PCtlIdle 18 18 1 PCtlLdFIFO 19 19 1 PCtlLdRBufDataHi 20 20 1 PCtlLdRBufDataLo 21 21 1 PCtlLdRBufHeader 22 22 1 PCtlPartFMch 23 23 1 PCtlRdRam 24 24 1 PCtlRdRCam 25 25 1 PCtlRdVCam 26 26 1 PCtlResetVictim 27 27 1 PCtlRSCmd 28 28 1 PCtlSetFBTIP 29 29 1 PCtlSetNonFBTIP 30 30 1 PCtlShftVictim 31 31 1 PCtlWtMchVCam 32 32 1 PCtlWtRam 33 33 1 PCWSEq 34 34 1 Push 35 35 1 RamForP 36 36 1 RCamForP 37 37 1 Reset 38 38 1 RPValid 39 39 1 Stack0 40 40 1 Stack1 41 41 1 TimeOut 42 42 1 Xtra0 43 43 1 Xtra1 44 44 1 Xtra2 45 45 1 Xtra3 46 46 1 Xtra4 --- BitTotal: 47 Bit Format: LIST[ PCtlABusCmd PCtlBCmd PCtlCSCmd PCtlDBusCmd PCtlEnCamSel PCtlFault PCtlFaultCode PCtlFlagsForB PCtlForceWordAddress PCtlFrzVictim PCtlIdle PCtlLdFIFO PCtlLdRBufDataHi PCtlLdRBufDataLo PCtlLdRBufHeader PCtlLdSnooper PCtlPartFMch PCtlPartVMch PCtlRdRam PCtlRdRCam PCtlRdVCam PCtlReleaseP PCtlResetVictim PCtlRSCmd PCtlSelBFC PCtlSelRplyData PCtlSetFBTIP PCtlSetNonFBTIP PCtlSetSnooperValid PCtlShftVictim PCtlWtMchVCam PCtlWtRam Push Stack Xtra0 Xtra1 Xtra2 Xtra3 Xtra4 ] Index First Size Name 0 0 1 PCtlABusCmd 1 1 1 PCtlBCmd 2 2 1 PCtlCSCmd 3 3 1 PCtlDBusCmd 4 4 1 PCtlEnCamSel 5 5 1 PCtlFault 6 6 1 PCtlFaultCode 7 7 1 PCtlFlagsForB 8 8 1 PCtlForceWordAddress 9 9 1 PCtlFrzVictim 10 10 1 PCtlIdle 11 11 1 PCtlLdFIFO 12 12 1 PCtlLdRBufDataHi 13 13 1 PCtlLdRBufDataLo 14 14 1 PCtlLdRBufHeader 15 15 1 PCtlLdSnooper 16 16 1 PCtlPartFMch 17 17 1 PCtlPartVMch 18 18 1 PCtlRdRam 19 19 1 PCtlRdRCam 20 20 1 PCtlRdVCam 21 21 1 PCtlReleaseP 22 22 1 PCtlResetVictim 23 23 1 PCtlRSCmd 24 24 1 PCtlSelBFC 25 25 1 PCtlSelRplyData 26 26 1 PCtlSetFBTIP 27 27 1 PCtlSetNonFBTIP 28 28 1 PCtlSetSnooperValid 29 29 1 PCtlShftVictim 30 30 1 PCtlWtMchVCam 31 31 1 PCtlWtRam 32 32 1 Push 33 33 1 Stack 34 34 1 Xtra0 35 35 1 Xtra1 36 36 1 Xtra2 37 37 1 Xtra3 38 38 1 Xtra4 --- BitTotal: 39 TermList: ..1...1001...1...1..1................0......... | ----------------------------------1---1 ..0...1001...1...1..1................0......... | -----------------1------------1-111--1- ......................0...........1..0.......0. | ---1------1--1------------------------- ..1...1010...1...1..1................0......... | 1-----------------------------1---1-1-- ......0......1...1..1................0......... | ---1------1--1------------------------- ..0...1010...1...1..1................0......... | -----------------1------------1-111--1- ............0........................0....1..1. | ---------1------------------------1---- .1...................................0....1...1 | ----1--------------1---------------11-- ..0...1101...1...1..1................0......... | ----------------1-------------1-11----- .0...................................0....1...1 | ---1------1--1-------1----------------- ......111....1...1..1................0......... | -1------------1------------1----------- ..........1....................1.....0....1.1.. | ------------------1----1----------1---- ......................1........1..1..0......... | ----------------------------------1---- ...........1.........1.......1.......0......... | -----------------------------------1-1- ..........1....................1.....0....1.0.. | 1----------------------1-------1------- ..........0.00..0......00......00....0....1..00 | -----------------------------------1111 ....1................................0...0.1101 | -----------------------------------11-1 .....................................0.....1111 | -----------------------------------111- ..1.........0........................0.....1110 | 1-----------------------------1---1---- ............0.1.........1...........10....1.0.. | --1-1--------------1--------------1-1-- ..0....................1...1.........0....1.... | ---1-------------1------------1-111--1- ..........1....................1.....0.....11.. | 1----------------------1-------1---1--- .............1.............0...0...1.0....1..0. | ---1--------1-------------------------- ..............................11.....0....1.... | -----------------------------------11-- .............1.............0...0...0.0....1..0. | ------------------1----1----------1---- .............1.....100...............0......... | -----------------------------------1-11 ............0...........0......0.....0.....1100 | 1-----------------------------1---1-1-- .............1.................1...0.0....1..0. | 1-----------------------------1----1--- .................................1...0.....1011 | 1-----------------------------1----1--- ............1.1.........1...........00....1.0.. | ----1--------------1---------------11-- ..........0..1.............1....1....0......... | ---1-------------------1----------1---- .................................0...0.....1011 | ---1------1--1------------------------- ..........0..1.............1.......1.0....1.... | ---1--------------------------1-------- ..1.........0.1.........1...........10.....10.. | --1-1--------------1---------------1--- ..........1....................1.....0.....10.. | ------------------1----1-----------1--- ..........0..1.............1.......0.0....1.... | 1-----------------------------1----1--- .......................1...1.........0.....1... | ---1--------------------------1---1---- ....1................................0...0.1001 | -------1---------------------------1--1 .............1.................1.....0....0..0. | ----1--------------1--------------1-1-- .............1.................1...1.0....1..0. | ---1-------------------1-------1------- ............1.......................10....1..1. | --1------------------------1------1---- ..........1....................1.....0....000.. | 1----------------------1-------1--1---- .0..........0.1.........1............0....1.1.. | ---1------1--1-------1----------------- ..0.......0..0.............1....1....0....0.... | -----------------1------------1-111--1- ............1.1.........1...........10....1.1.. | --1-------------------------------1--1- 1....................................01....0111 | 11---------1--------------1------------ ............1.1.........1...........00....1.1.. | ----1--------------1--------------1---- ...00.......0........................0.1...0110 | -----------------------------11---1---- ............1...........0....0......00....1..0. | ----1--------------1---------------11-- ............1.......................00....1..1. | ----1--------------1--------------1---- ............1.1.........1...........10....001.. | --1--------------------------------1-1- ..0.........0.1.........1............0.....10.. | 1-----------------------------1-----1-- .....................................0.....0101 | --------1---------1----1--------------- ..........0..1.............1....0..1.0....0.... | ---1-------------------------------1--- ............0.1..........1...........0......... | --1-1---------------1------------------ ..........1................1....1....0....1.... | 1--1-------------------1----------1---- ............1.......................10.....111. | --1--------------------------------11-- ...............1.......1...1.........0......... | ---1----1------------------------------ ..........0..1.............1....0..0.0....0.... | -----------------------1-------1------- .....................................00....0111 | ---------------------------1----------- ...00................................0.....1001 | 1---1---------1----1----------------1-- ............1.1..........1...........0......... | --1----------------------------------1- ................1....................0....1.... | ----1----1---------1------------------- ....1.......0........................0...0.1010 | -------------------------1---------1-1- ............1.......................00.....111. | ----1--------------1---------------1--- .............1.1....0................0......... | ---1----1-1-11------------------------- ..1..........1.............0.........0.....1... | ----------------------------------1---1 ..........11......1.........1........0......... | 1--------------------------1----------- ............0.1.........1...........10....001.. | --1-1--------------1----------------1-- ..............1.1.......1...........10......... | --1-1--------------1---------------11-- ..........1..1.............1....0..0.0....1.... | 1--1-------------------1-------1--1---- ....1.......0........................0...1.1010 | 1------------------------1----1----11-- ............1.......................00.....101. | ----1--------------1----------------1-- ............0...........0......0.....0.....0100 | ----1--------------1------------------- ..........1....................1.....0....001.. | -1------------1---1----1--------------- ..0..........1.............0.........0.....1... | -----------------1------------1-111--1- ............0......0.0.......1.......0......... | ------------------------------------11- ..........1................1....1....0.....1... | 1--1-------------------1-----------1--- ...10.......0........................0.....1010 | ---1-1----1--1-------1--11------------- ............1...........0............0.....100. | 1--------------1--1----1----1---------- ............0.1.0.......1............0....000.. | --1-1--------------1------------------- ............0.1.........1...........10.....11.. | --1-1--------------1--------------1---- ....1.......0........................0...0.0110 | 1------------------------1----------11- ............1.1.........1...........10.....10.. | --1--------------------------------111- ..........1..1.............1.......1.0.....1... | ---1-11---1--1-------1----------------- ..........1............1...1.........0......... | ---1--------11------------------------- .............1.0...000.....0...0...1.0....00.0. | ---1--------11-------------1----------- ............1.1.........1............0....000.. | --1---------------------------------11- ............0.1.........1...........00.....11.. | ----1--------------1---------------11-- ....1.......0........................0...1.0110 | 1------------------------1----1----11-- ............0........................0....00010 | -----------------------------1--------- ............1.1.........1...........00.....10.. | ----1--------------1---------------1--- ..........1..1.............1.......0.0.....1... | 1----------------------1-------1---1--- .............1...0.11........0.....1.0......... | -----------------------------------1--- ..............................11.....0....0.... | -----------------------1-------1--1---- ............1........................0.....011. | --1---------------------------------1-- ...10.......0........................0.....0110 | ---1-1----1--1-------1--11------------- .............0................10.....0......... | ---------1----------------------------- .....1......1...........0............0.....110. | 1---1---------1----1----------------1-- ..0.........1.1.........1............0.....11.. | 1-----------------------------1-----1-- .............1...0.11........0.....0.0......... | 1-----------------1----1--------------- ............1...........0............0.....010. | 1---------------------------------1---- ...00.......0........................0.00..0110 | ---1------1--1-------1---1---1--------- .....0......1...........0............0.....110. | 1-----------------------------1-------- .............0..1.......0............0....0.... | ---1-----11--1------------------------- ............00..........0..0...0.....0.....1000 | ------------------------------------111 ..........1................0...0.....0....1.... | ---1------1-11------------------------- .....................................0....00001 | ----------------------1---------------- .....................................0.....0011 | ----1---------------1------------------ .............0............1..........0......... | ---1------1--1--------1---------------- .....................................1......... | --------------------------------1------ ..0...100....1...1..1................0......... | -----------------1------------1-1-1--1- ..0...110....1...1..1................0......... | ----------------1-------------1-1------ ......1.11...1...1..1................0......... | -1------------1------------1----------- ..0.........0........................0.....1110 | -1-1--------111------------1----------- ....0................................0.....1101 | ---1------1--1-------1----------------- .......................1...1.........0....1.... | ---1------------------------------1---- ............0.1.........1............0....1.0.. | ----1--------------1--------------1---- .1..........0.1.........1...........10....1.... | --1-1--------------1--------------1-1-- ............1...........0....0......10....1.... | --1------------------------1----------- ..1.........0.1.........1............0.....10.. | ----1--------------1---------------1--- .1............1.........1...........00....1.1.. | ----1--------------1--------------1---- ....1................................0...1.1.01 | 1-----------------------------1----11-- ...10................................0.....1.01 | ---1-1----1--1-------1--1-------------- ...........................1....1....0....1.... | ---1-------------------1--------------- ............1................1.......0......... | 11------------1--------------------1-1- 0....................................0.....0111 | ---------------------------1----------- ............1.......................10.....1.1. | --1--------------------------------1--- ............0.1.........1............0....001.. | ----1--------------1----------------1-- ..............1.1.......1............0......... | ----1--------------1---------------1--- ..1.........1.1.........1...........10.....1... | --1--------------------------------111- ....0.......0........................0.....1010 | ---1------1--1-------1---1------------- ..1.........1.1.........1...........00.....1... | ----1--------------1---------------1--- .............1.0...000.....0...0...0.0.....0.0. | ------------------1----1--------------- ............1........................0....00.1. | --1------------------------------------ ............1.1.........1...........10....1.... | --1-------------------------------1---- .............1.....1.0.......1.......0......... | -----------------------------------1--1 ..........1..1.............1....0..1.0....0.... | ---1-11---1--1-------1----------------- ..........1.......0........0.0.0.....0......00. | ---1------1-11------------------------- ...00.......0........................0..1..0110 | -----------------------------11-------- ..........1..1.............1....0..0.0.....0... | 1--1-------------------1-------1------- ......1000...1...1..1................0......... | ----------------------------------1--1- ..1....10....1...1..1................0......... | ---1------1--1------------------------- ............1.0......................0....0000. | 1-------------------------------------- ..............1.........1...........00....001.. | ----1--------------1----------------1-- ..........1................1....1....0......... | 1--1-------------------1--------------- ..........1..1.............1....0..1.0......... | ---1-1----1--1-------1----------------- ..1........................1....1....0......... | ---1-------------------1--------------- .......................1...1.........0......... | ---1-----------------------------------