DIRECTORY Core, Ports, Rosemary; PBusConex: CEDAR DEFINITIONS ~ BEGIN CellType : TYPE = Core.CellType; Wire: TYPE = Core.Wire; PBusEmulState: TYPE = REF PBusEmulRec; PBusEmulRec: TYPE = RECORD[ PMode: Ports.Level, PByteSel: Ports.LevelSequence, PCmd : Ports.LevelSequence, PFaultCode: Ports.LevelSequence, PFault: Ports.Level, PReject: Ports.Level, PhB: Ports.Level, PhA: Ports.Level, PDataIn: Ports.LevelSequence, PDataOut: Ports.LevelSequence, PReschedule: Ports.Level, PReset: Ports.Level, CkIn: Ports.Level, PMODE: NAT, PBYTESEL: NAT, PCMD : NAT, PFAULTCODE: NAT, PFAULT: NAT, PREJECT: NAT, PHB: NAT, PHA: NAT, PDATA: NAT, PRESCHEDULE: NAT, PRESET: NAT, CKIN: NAT, numClockEdges: NAT, -- number of clock edges since beginning cycleCount: NAT, -- used for loops within procs prevClock: Ports.Level, cycle3ForRead: BOOL, -- used for shifting the sampling of data testProcList: LIST OF REF ANY _ NIL ]; PBusDef: PROC [] RETURNS [ct: CellType]; PBusInit: Rosemary.InitProc; PBusEval: Rosemary.EvalProc; END. τPBusConex.mesa Copyright Σ 1987, 1988 by Xerox Corporation. All rights reserved. Jean Gastinel May 9, 1988 8:36:17 pm PDT Pradeep Sindhu May 4, 1988 1:27:26 am PDT This interface is associated to the emulation of the PBus of the Cache Κ˜šœ™JšœB™BJšœ(™(Icode™)—J˜J™GJ™šΟk ˜ Kšœ˜Kšœ˜Kšœ ˜ K˜—KšΠbl Οbœ ˜Kšœ˜˜Kšœ œ˜ Kšœœ ˜K˜K˜Kšœœœ ˜&šœ œœ˜Kšœ˜Kšœ˜Kšœ˜Kšœ ˜ Kšœ˜Kšœ˜Kšœ˜Kšœ˜Kšœ˜Kšœ˜Kšœ˜Kšœ˜Kšœ˜Kšœœ˜ Kšœœ˜Kšœœ˜ Kš œœ˜Kšœœ˜ Kšœœ˜ Kšœœ˜ Kšœœ˜ Kšœœ˜ Kš œœ˜Kšœœ˜ Kšœœ˜ KšœœΟc(˜Kšœ˜#Kšœ˜—KšΟnœœœ˜(Kš‘œ˜Kš‘œ˜—Kšœ˜K˜—…—ψ