DIRECTORY
Core, CoreClasses, CoreCreate, CoreFlat, DynaBusInterface, IO, Ports, SCUtils, Rosemary, RosemaryUser, SCLogic, TerminalIO;

SCPmCodeImpl: CEDAR PROGRAM
IMPORTS CoreClasses, CoreCreate, CoreFlat, IO, Ports, Rosemary, SCLogic, SCUtils, TerminalIO
EXPORTS SCLogic
~ BEGIN OPEN SCLogic;

NumPCmdBits: NAT = 4;
MaxNumSignals: NAT = 100;
Xs: NAT = LAST[NAT];
ToBeDefined: NAT = Xs;

IndexType: TYPE = {Label, ReturnAddress, IOAddr};

Index: ARRAY IndexType OF NAT _ ALL [0];

ChkPermPC: NAT = Next[Label];
CP1PC: NAT = Next[Label];
CP2PC: NAT = Next[Label];
CP3PC: NAT = Next[Label];
HandleMissPC: NAT = Next[Label];
HM1PC: NAT = Next[Label];
HM2PC: NAT = Next[Label];
HM3PPC: NAT = Next[Label];
HM3nPPC: NAT = Next[Label];
HM3nRPC: NAT = Next[Label];
HMnMPC: NAT = Next[Label];
HMnM11PC: NAT = Next[Label];
HMnM12PC: NAT = Next[Label];
HMnM2PC: NAT = Next[Label];
HMnM3PC: NAT = Next[Label];
HMnM4PC: NAT = Next[Label];
HMRCamReadyPC: NAT = Next[Label];
HMReadRamPC: NAT = Next[Label];
HMReturn1PC: NAT = Next[Label];
HMReturn2PC: NAT = Next[Label];
HMRR2PC: NAT = Next[Label];
HMRR3PC: NAT = Next[Label];
HMRR4PC: NAT = Next[Label];
HMRR5PC: NAT = Next[Label];
HMRR6PC: NAT = Next[Label];
HMRRCVct2PC: NAT = Next[Label];
HMRRCVct3PC: NAT = Next[Label];
HMRRCVct4PC: NAT = Next[Label];
HMRRCVM2PC: NAT = Next[Label];
HMRRCVM3PC: NAT = Next[Label];
HMRRCVM4PC: NAT = Next[Label];
IdlePC: NAT = Next[Label];
IOR2PC: NAT = Next[Label];
IOWritePC: NAT = Next[Label];
PCWS3PC: NAT = Next[Label];
PCWS4PC: NAT = Next[Label];
PCWS5PC: NAT = Next[Label];
PCWS6PC: NAT = Next[Label];
PCWS7PC: NAT = Next[Label];
PCWS8PC: NAT = Next[Label];
PCWS9PC: NAT = Next[Label];
PCWS10PC: NAT = Next[Label];
PCWS11PC: NAT = Next[Label];
PCWS12PC: NAT = Next[Label];
PCWS13PC: NAT = Next[Label];
PCWS14PC: NAT = Next[Label];
PCWS14PrimePC: NAT = Next[Label];
PCWS15PC: NAT = Next[Label];
PCWS16PC: NAT = Next[Label];
PCWS17PC: NAT = Next[Label];
PCWSR2PC: NAT = Next[Label];
PCWSRetryPC: NAT = Next[Label];
PSR2PC: NAT = Next[Label];
PSR2PrimePC: NAT = Next[Label];
PSR3PC: NAT = Next[Label];
PSR4PC: NAT = Next[Label];
PSRetryPC: NAT = Next[Label];
PSRetryPrimePC: NAT = Next[Label];
PSReturn1PC: NAT = Next[Label];
PSReturn2PC: NAT = Next[Label];
PSRCamReadyPC: NAT = Next[Label];
PSRRCVM2PC: NAT = Next[Label];
PSRRCVM3PC: NAT = Next[Label];
PSRRCVM4PC: NAT = Next[Label];
PStorePC: NAT = Next[Label];
ResetPC: NAT = Next[Label];
SBTOF2PC: NAT = Next[Label];
SBTOF3PC: NAT = Next[Label];
SIOAF2PC: NAT = Next[Label];
SIOAF3PC: NAT = Next[Label];
SMAF2PC: NAT = Next[Label];
SMAF3PC: NAT = Next[Label];
StoreBTimeOutFaultPC: NAT = Next[Label];
StoreMemAccessFaultPC: NAT = Next[Label];
StoreIOAccessFaultPC: NAT = Next[Label];
MaxPC: NAT = Next[Label];

FromRead: NAT = Next[ReturnAddress];
FromIORead: NAT = FromRead;
FromWrite: NAT = Next[ReturnAddress];
FromIOWrite: NAT = FromWrite;
FromCWS: NAT = Next[ReturnAddress];
MaxStack: NAT = Next[ReturnAddress];

ABusPAdd: NAT = 0;
ABusRqstBuf: NAT = 1;
ABusVCam: NAT = 4;
ABusCam: NAT = 6;
ABusRCam: NAT = 7;
ABusIOOld: NAT = 8;
ABusIONew: NAT = 9;
ABusIOAId: NAT = 12;
ABusIOFault: NAT = 13;
ABusFault: NAT = 8;

DBusNoOp: NAT = 0;
DBusPWtLatch: NAT = 1;
DBusRRLatch: NAT = 2;
DBusABus: NAT = 3;

SCmdNoOp: NAT = 0;
SCmdLRM: NAT = 1;
SCmdLVM: NAT = 2;
SCmdVictim: NAT = 3;

PCmdNoOp: NAT = 7;
PCmdRead: NAT = 8;
PCmdWrite: NAT = 9;
PCmdCWS: NAT = 10;
PCmdDeMap: NAT = 11;
PCmdIORead: NAT = 12;
PCmdIOWrite: NAT = 13;
PCmdBIOWrite: NAT = 15;

BCmdBIOW: NAT = ORD[DynaBusInterface.Cmd.BIOWRqst]/2;
BCmdCWS: NAT = ORD[DynaBusInterface.Cmd.CWSRqst]/2;
BCmdDeMap: NAT = ORD[DynaBusInterface.Cmd.DeMapRqst]/2;
BCmdFB: NAT = ORD[DynaBusInterface.Cmd.FBRqst]/2;
BCmdIOR: NAT = ORD[DynaBusInterface.Cmd.IORRqst]/2;
BCmdIOW: NAT = ORD[DynaBusInterface.Cmd.IOWRqst]/2;
BCmdMap: NAT = ORD[DynaBusInterface.Cmd.MapRqst]/2;
BCmdRB: NAT = ORD[DynaBusInterface.Cmd.RBRqst]/2;
BCmdWB: NAT = ORD[DynaBusInterface.Cmd.WBRqst]/2;
BCmdWS: NAT = ORD[DynaBusInterface.Cmd.WSRqst]/2;

FaultMemAccess: NAT = 0;
FaultIOAccess: NAT = 1;
FaultBTimeOut: NAT = 2;

NumPCBits: PUBLIC NAT _ 1+SCUtils.Log2[MaxPC-1];
NumStackBits: PUBLIC NAT _ 1+SCUtils.Log2[MaxStack-1];

SignalType: TYPE = {Input, InputXAllowed, Output, Power};

Signals: TYPE = REF SignalsRec;
SignalsRec: TYPE = RECORD [
SEQUENCE size: NAT OF RECORD [
name: ROPE _ NIL,
size: NAT _ 0,
st: SignalType,
default: Level _ X,
defaultS: NAT _ Xs,
index: NAT _ Xs
]
];


signals: Signals _ NEW [SignalsRec[MaxNumSignals]];

numSignals: NAT _ 0;

AOw: NAT = Declare[signals, "AOw", X, Input];
ASh: NAT = Declare[signals, "ASh", X, Input];
AVM: NAT = Declare[signals, "AVM", X, Input];
FBTIP: NAT = Declare[signals, "FBTIP", X, Input];
MyBFault: NAT = Declare[signals, "MyBFault", X, Input];
NonFBTIP: NAT = Declare[signals, "NonFBTIP", X, Input];
PAccessPermission: NAT = Declare[signals, "PAccessPermission", X, Input];
PCmd: NAT = DeclareS[signals, "PCmd", NumPCmdBits, Xs, Input];
PCWSEq: NAT = Declare[signals, "PCWSEq", X, InputXAllowed];
RamForP: NAT = Declare[signals, "RamForP", X, Input];
RCamForP: NAT = Declare[signals, "RCamForP", X, Input];
RPValid: NAT = Declare[signals, "RPValid", X, Input];
TimeOut: NAT = Declare[signals, "TimeOut", X, Input];

PC: NAT = DeclareS[signals, "PC", NumPCBits, Xs, Input];
Stack: NAT = DeclareS[signals, "Stack", NumStackBits, Xs, InputXAllowed];
Reset: NAT = Declare[signals, "Reset", X, Input];

PCtlABusCmd: NAT = DeclareS[signals, "PCtlABusCmd", 4, ABusPAdd, Output];
PCtlBCmd: NAT = DeclareS[signals, "PCtlBCmd", 4, Xs, Output];
PCtlBusy: NAT = Declare[signals, "PCtlBusy", H, Output];
PCtlCSCmd: NAT = DeclareS[signals, "PCtlCSCmd", 2, SCmdNoOp, Output];
PCtlDBusCmd: NAT = DeclareS[signals, "PCtlDBusCmd", 2, DBusNoOp, Output];
PCtlEnCamSel: NAT = Declare[signals, "PCtlEnCamSel", L, Output];
PCtlEnCamSelExt: NAT = Declare[signals, "PCtlEnCamSelExt", L, Output];
PCtlFault: NAT = Declare[signals, "PCtlFault", L, Output];
PCtlFaultCode: NAT = DeclareS[signals, "PCtlFaultCode", 3, 0, Output];
PCtlFlagsForB: NAT = Declare[signals, "PCtlFlagsForB", L, Output];
PCtlPartFMch: NAT = Declare[signals, "PCtlPartFMch", L, Output];
PCtlFrzVictim: NAT = Declare[signals, "PCtlFrzVictim", L, Output];
PCtlLdFIFO: NAT = Declare[signals, "PCtlLdFIFO", L, Output];
PCtlLdRBufDataLo: NAT = Declare[signals, "PCtlLdRBufDataLo", L, Output];
PCtlLdRBufDataHi: NAT = Declare[signals, "PCtlLdRBufDataHi", L, Output];
PCtlLdRBufHeader: NAT = Declare[signals, "PCtlLdRBufHeader", L, Output];
PCtlLdSnooper: NAT = Declare[signals, "PCtlLdSnooper", L, Output];
PCtlPartVMch: NAT = Declare[signals, "PCtlPartVMch", L, Output];
PCtlRdRam: NAT = Declare[signals, "PCtlRdRam", L, Output];
PCtlRdRCam: NAT = Declare[signals, "PCtlRdRCam", L, Output];
PCtlRdVCam: NAT = Declare[signals, "PCtlRdVCam", L, Output];
PCtlReleaseP: NAT = Declare[signals, "PCtlReleaseP", L, Output];
PCtlRSCmd: NAT = DeclareS[signals, "PCtlRSCmd", 2, SCmdNoOp, Output];
PCtlSelBFC: NAT = Declare[signals, "PCtlSelBFC", L, Output];
PCtlSelRplyData: NAT = Declare[signals, "PCtlSelRplyData", L, Output];
PCtlSetFBTIP: NAT = Declare[signals, "PCtlSetFBTIP", L, Output];
PCtlSetNonFBTIP: NAT = Declare[signals, "PCtlSetNonFBTIP", L, Output];
PCtlSetSnooperValid: NAT = Declare[signals, "PCtlSetSnooperValid", L, Output];
PCtlShftVictim: NAT = Declare[signals, "PCtlShftVictim", L, Output];
PCtlWtMchVCam: NAT = Declare[signals, "PCtlWtMchVCam", L, Output];
PCtlWtRam: NAT = Declare[signals, "PCtlWtRam", L, Output];

NxtPC: NAT = DeclareS[signals, "NxtPC", NumPCBits, Xs, Output];
NxtStack: NAT = DeclareS[signals, "NxtStack", NumStackBits, Xs, Output];
Push: NAT = Declare[signals, "Push", L, Output];

Vdd: NAT = Declare[signals, "Vdd", X, Power];
Gnd: NAT = Declare[signals, "Gnd", X, Power];
SCPmCode: PROC [] RETURNS [ct: CellType] = {
RETURN [Create[pmCodeName, signals]]
};

Init: Rosemary.InitProc = {
};

Simple: Rosemary.EvalProc = {

v: PROC [ix: NAT] RETURNS [BOOL] = {
RETURN[p[signals[ix].index].l=H]
};

vs: PROC [ix: NAT] RETURNS [NAT] = {
RETURN[Ports.LSToLC[p[signals[ix].index].ls]]
};

s: PROC [ix: NAT, l: Level] = {
p[signals[ix].index].l _ l
};

ss: PROC [ix: NAT, c: CARD] = {
IF c=Xs
THEN Ports.SetLS[p[signals[ix].index].ls, X]
ELSE Ports.LCToLS[c, p[signals[ix].index].ls];
};

OutputsToDefault[];

IF v[Reset]
THEN {s[Push, H]; ss[NxtStack, FromRead]; Jmp[ResetPC];}
ELSE {
IF XInInputs[] THEN {OutputsToX[]; RETURN};
SELECT vs[PC] FROM
= ResetPC		=> {
IF TRUE THEN {
Jmp[IdlePC];
};
};
= IdlePC		=> {
SELECT vs[PCmd] FROM
<= PCmdNoOp	=> {
Jmp[IdlePC];
};
= PCmdRead	=> {
IF v[AVM] THEN {
Jmp[IdlePC];
};
IF NOT v[AVM] THEN {
s[PCtlPartVMch , H];
s[PCtlWtMchVCam, H];
s[Push, H];
ss[NxtStack, FromRead];
Jmp[HandleMissPC];
};
};
= PCmdWrite	=> {
IF v[AVM] THEN {
Jmp[PStorePC];
};
IF NOT v[AVM] THEN {
s[PCtlPartVMch, H];
s[PCtlWtMchVCam, H];
s[Push, H];
ss[NxtStack, FromWrite];
Jmp[HandleMissPC];
};
};
= PCmdCWS	=> {
IF v[AVM] THEN {
ss[PCtlABusCmd, ABusIOOld];
s[PCtlWtMchVCam, H];
Jmp[PCWS3PC];
};
IF NOT v[AVM] THEN {
s[PCtlPartVMch , H];
s[PCtlWtMchVCam, H];
s[Push, H];
ss[NxtStack, FromCWS];
Jmp[HandleMissPC];
};
};
= PCmdIORead	=> {
IF v[AVM] THEN {
Jmp[IdlePC];
};
IF NOT v[AVM] THEN {
s[PCtlPartFMch , H];
s[PCtlWtMchVCam, H];
s[Push, H];
ss[NxtStack, FromIORead];
Jmp[ChkPermPC];
};
};
= PCmdIOWrite	=> {
IF v[AVM] THEN {
Jmp[IdlePC];
};
IF NOT v[AVM] THEN {
s[PCtlPartFMch , H];
s[PCtlWtMchVCam, H];
s[Push, H];
ss[NxtStack, FromIOWrite];
Jmp[ChkPermPC];
};
};
= PCmdBIOWrite	=> {
IF TRUE THEN {
s[PCtlLdRBufHeader, H];
s[PCtlSetNonFBTIP, H];
ss[PCtlBCmd, BCmdBIOW];
ss[PCtlABusCmd, ABusPAdd];
Jmp[PSReturn1PC];
};
};
= PCmdDeMap	=> {
IF TRUE THEN {
s[PCtlLdRBufHeader, H];
s[PCtlSetNonFBTIP, H];
ss[PCtlBCmd, BCmdDeMap];
ss[PCtlABusCmd, ABusPAdd];
Jmp[PSReturn1PC];
};
};
ENDCASE => ERROR;
};
= ChkPermPC	=> {
IF TRUE THEN {
Jmp[CP1PC];
};
};
= CP1PC	=> {
IF TRUE THEN {
Jmp[CP2PC];
};
};
= CP2PC	=> {
IF TRUE THEN {
Jmp[CP3PC];
};
};
= CP3PC	=> {
IF v[AVM] THEN {
Jmp[StoreIOAccessFaultPC];
};
IF NOT v[AVM] THEN {
ss[PCtlABusCmd, ABusPAdd];
s[PCtlLdRBufHeader, H];
ss[PCtlDBusCmd, DBusPWtLatch];
s[PCtlLdRBufDataLo, H];
s[PCtlLdRBufDataHi, H];
s[PCtlSetNonFBTIP, H];
Jmp[PSReturn1PC];
SELECT vs[Stack] FROM
=FromIORead => {
ss[PCtlBCmd, BCmdIOR];
};
= FromIOWrite => {
ss[PCtlBCmd, BCmdIOW];
};
ENDCASE => ERROR;
};
};
= IOR2PC	=> {
IF v[NonFBTIP] AND NOT v[TimeOut] THEN {
Jmp[IOR2PC];
};
IF v[NonFBTIP] AND v[TimeOut] THEN {
Jmp[StoreBTimeOutFaultPC];
};
IF NOT v[NonFBTIP] AND v[MyBFault] THEN {
s[PCtlFault, H];
s[PCtlSelBFC, H];
s[PCtlReleaseP, H];
Jmp[IdlePC];
};
IF NOT v[NonFBTIP] AND NOT v[MyBFault] THEN {
s[PCtlReleaseP, H];
Jmp[IdlePC];
};
};
= PCWSRetryPC	=> {
IF TRUE THEN {
Jmp[PCWSR2PC];
};
};
= PCWSR2PC	=> {
IF TRUE THEN {
ss[PCtlABusCmd, ABusIOOld];
s[PCtlWtMchVCam, H];
Jmp[PCWS3PC];
};
};
= PCWS3PC	=> {
IF TRUE THEN {
ReadRam1[SCmdLVM];
Jmp[PCWS4PC];
};
};
= PCWS4PC	=> {
IF v[AVM] THEN {
ReadRam2[SCmdLVM];
Jmp[PCWS5PC];
};
IF NOT v[AVM] THEN {
ReadRam2[SCmdLVM];
s[PCtlPartVMch, H];
s[PCtlWtMchVCam, H];
s[Push, H];
ss[NxtStack, FromCWS];
Jmp[HandleMissPC];
};
};
= PCWS5PC	=> {
IF v[RamForP] THEN {
s[PCtlLdRBufDataHi, H];
ReadRam3[SCmdLVM];
Jmp[PCWS6PC];
};
IF NOT v[RamForP] THEN {
ReadRam1[SCmdLVM];
Jmp[PCWS4PC];
};
};
= PCWS6PC	=> {
IF TRUE THEN {
Jmp[PCWS7PC];
};
};
= PCWS7PC	=> {
IF v[PCWSEq] THEN {
ss[PCtlABusCmd, ABusIONew];
s[PCtlWtMchVCam, H];
Jmp[PCWS8PC];
};
IF NOT v[PCWSEq] THEN {
Jmp[IdlePC];
};
};
= PCWS8PC	=> {
IF TRUE THEN {
ReadRam1[SCmdLVM];
Jmp[PCWS9PC];
};
};
= PCWS9PC	=> {
IF TRUE THEN {
ReadRam2[SCmdLVM];
ss[PCtlABusCmd, ABusPAdd];
s[PCtlWtMchVCam, H];
Jmp[PCWS10PC];
};
};
= PCWS10PC	=> {
IF v[RamForP] THEN {
ReadRam3[SCmdLVM];
WriteRam1[SCmdLVM, DBusRRLatch];
Jmp[PCWS11PC];
};
IF NOT v[RamForP] THEN {
ss[PCtlABusCmd, ABusIONew];
s[PCtlWtMchVCam, H];
Jmp[PCWS8PC];
};
};
= PCWS11PC	=> {
IF TRUE THEN {
WriteRam2[SCmdLVM, DBusRRLatch];
Jmp[PCWS12PC];
};
};
= PCWS12PC	=> {
IF v[RamForP] THEN {
WriteRam3[SCmdLVM, DBusRRLatch];
s[PCtlWtMchVCam, H];
ss[PCtlABusCmd, ABusPAdd];
Jmp[PCWS13PC];
};
IF NOT v[RamForP] THEN {
ss[PCtlABusCmd, ABusIONew];
s[PCtlWtMchVCam, H];
Jmp[PCWS8PC];
};
};
= PCWS13PC	=> {
IF TRUE THEN {
ReadRCam1  [SCmdLVM];
Jmp[PCWS14PC];
};
};
= PCWS14PC	=> {
IF v[ASh] AND v[RCamForP] THEN {
ReadRCam2[SCmdLVM];
Jmp[PCWS15PC];
};
IF v[ASh] AND NOT v[RCamForP] THEN {
ReadRCam1[SCmdLVM];
Jmp[PCWS14PrimePC];
};
IF NOT v[ASh] THEN {
s[PCtlReleaseP, H];
Jmp[IdlePC];
};
};
= PCWS14PrimePC	=> {
IF v[RCamForP] THEN {
ReadRCam2[SCmdLVM];
Jmp[PCWS15PC];
};
IF NOT v[RCamForP] THEN {
ReadRCam1[SCmdLVM];
Jmp[PCWS14PrimePC];
};
};
= PCWS15PC	=> {
IF v[RCamForP] THEN {
ReadRCam34[SCmdLVM];
Jmp[PCWS16PC];
};
IF NOT v[RCamForP] THEN {
ReadRCam1[SCmdLVM];
Jmp[PCWS14PrimePC];
};
};
= PCWS16PC	=> {
IF v[RCamForP] THEN {
s[PCtlSetNonFBTIP, H];
ReadRCam34[SCmdLVM];
Jmp[PCWS17PC];
};
IF NOT v[RCamForP] THEN {
ReadRCam1[SCmdLVM];
Jmp[PCWS14PrimePC];
};
};
= PCWS17PC	=> {
IF TRUE THEN {
s[PCtlLdRBufHeader, H];
ss[PCtlBCmd, BCmdCWS];
ss[PCtlABusCmd, ABusCam];
Jmp[PSReturn2PC];
};
};
= PSRetryPC	=> {
IF TRUE THEN {
WriteRam1[SCmdLVM, DBusPWtLatch];
Jmp[PSR2PC];
};
};
= PSR2PrimePC	=> {
IF v[AVM] THEN {
WriteRam2[SCmdLVM, DBusPWtLatch];
Jmp[PSR3PC];
};
IF NOT v[AVM] THEN {
s[PCtlPartVMch, H];
s[PCtlWtMchVCam, H];
s[Push, H];
ss[NxtStack, FromWrite];
Jmp[HandleMissPC];
};
};
= PSR2PC	=> {
IF TRUE THEN {
WriteRam2[SCmdLVM, DBusPWtLatch];
Jmp[PSR3PC];
};
};
= PSR3PC	=> {
IF v[RamForP] THEN {
WriteRam3[SCmdLVM, DBusPWtLatch];
Jmp[PSR4PC];
};
IF NOT v[RamForP] THEN {
WriteRam1[SCmdLVM, DBusPWtLatch];
Jmp[PSR2PrimePC];
};
};
= PSR4PC	=> {
IF v[AVM] THEN {
Jmp[PStorePC];
};
IF NOT v[AVM] THEN {
s[PCtlPartVMch, H];
s[PCtlWtMchVCam, H];
s[Push, H];
ss[NxtStack, FromWrite];
Jmp[HandleMissPC];
};
};
= PStorePC	=> {
IF v[ASh] THEN {
ReadRCam1[SCmdLVM];
Jmp[PSRRCVM2PC];
};
IF NOT v[ASh] THEN {
s[PCtlReleaseP, H];
Jmp[IdlePC];
};
};
= PSRRCVM2PC	=> {
IF v[RCamForP] THEN {
ReadRCam2[SCmdLVM];
Jmp[PSRRCVM3PC];
};
IF NOT v[RCamForP] THEN {
ReadRCam1[SCmdLVM];
Jmp[PSRRCVM2PC];
};
};
= PSRRCVM3PC	=> {
IF v[RCamForP] THEN {
ReadRCam34[SCmdLVM];
Jmp[PSRRCVM4PC];
};
IF NOT v[RCamForP] THEN {
ReadRCam1[SCmdLVM];
Jmp[PSRRCVM2PC];
};
};
= PSRRCVM4PC	=> {
IF v[RCamForP] THEN {
s[PCtlSetNonFBTIP, H];
ReadRCam34[SCmdLVM];
Jmp[PSRCamReadyPC];
};
IF NOT v[RCamForP] THEN {
ReadRCam1[SCmdLVM];
Jmp[PSRRCVM2PC];
};
};
= PSRCamReadyPC	=> {
IF TRUE THEN {
s[PCtlLdRBufHeader, H];
ss[PCtlBCmd, BCmdWS];
ss[PCtlABusCmd, ABusCam];
Jmp[PSReturn2PC];
};
};
= PSReturn1PC	=> {
IF TRUE THEN {
Jmp[PSReturn2PC];
};
};
= PSReturn2PC	=> {
IF v[NonFBTIP] AND NOT v[TimeOut] THEN {
s[PCtlSelRplyData, H];
Jmp[PSReturn2PC];
};
IF v[NonFBTIP] AND v[TimeOut] THEN {
s[PCtlSelRplyData, H];
Jmp[StoreBTimeOutFaultPC];
};
IF NOT v[NonFBTIP] AND v[MyBFault] THEN {
s[PCtlFault, H];
s[PCtlSelBFC, H];
s[PCtlReleaseP, H];
s[PCtlSelRplyData, H];
Jmp[IdlePC];
};
IF NOT v[NonFBTIP] AND NOT v[MyBFault] THEN {
s[PCtlReleaseP, H];
s[PCtlSelRplyData, H];
Jmp[IdlePC];
};
};
= HandleMissPC	=> {
IF TRUE THEN {
s[PCtlFrzVictim, H];
Jmp[HM1PC];
};
};
= HM1PC	=> {
IF TRUE THEN {
ReadRCam1[SCmdLVM];
s[PCtlFrzVictim, H];
Jmp[HM2PC];
};
};
= HM2PC	=> {
IF v[RCamForP] THEN {
ReadRCam2[SCmdLVM];
Jmp[HM3PPC];
};
IF NOT v[RCamForP] THEN {
ReadRCam1[SCmdLVM];
Jmp[HM3nPPC];
};
};
= HM3PPC	=> {
IF v[AVM] AND v[RCamForP] THEN {
ReadRCam34[SCmdLVM];
Jmp[HMRRCVM4PC];
};
IF v[AVM] AND NOT v[RCamForP] THEN {
ReadRCam1[SCmdLVM];
Jmp[HMRRCVM2PC];
};
IF NOT v[AVM] THEN {
ss[PCtlABusCmd, ABusIOAId];
s[PCtlWtMchVCam, H];
Jmp[HMnMPC];
};
};
= HMnMPC	=> {
IF TRUE THEN {
s[PCtlLdRBufHeader, H];
ss[PCtlBCmd, BCmdMap];
ss[PCtlABusCmd, ABusPAdd];
ReadRam1[SCmdLVM];
Jmp[HMnM11PC];
};
};
= HMnM11PC	=> {
IF TRUE THEN {
ReadRam2[SCmdLVM];
Jmp[HMnM12PC];
};
};
= HMnM12PC	=> {
IF v[RamForP] THEN {
s[PCtlSetNonFBTIP, H];
s[PCtlLdRBufDataLo, H];
s[PCtlLdRBufDataHi, H];
ReadRam3[SCmdLVM];
Jmp[HMnM3PC];
};
IF NOT v[RamForP] THEN {
ReadRam1[SCmdLVM];
Jmp[HMnM11PC];
};
};
= HMnM3PC => {
IF TRUE THEN {
Jmp[HMnM4PC];
};
};
= HMnM4PC	=> {
IF v[NonFBTIP] AND NOT v[TimeOut] THEN {
s[PCtlFlagsForB, H];
Jmp[HMnM4PC];
};
IF v[NonFBTIP] AND v[TimeOut] THEN {
Jmp[StoreBTimeOutFaultPC];
};
IF NOT v[NonFBTIP] AND v[MyBFault] THEN {
s[PCtlFault, H];
s[PCtlSelBFC, H];
s[PCtlReleaseP, H];
Jmp[IdlePC];
};
IF NOT v[NonFBTIP] AND NOT v[MyBFault] THEN {
s[PCtlLdRBufHeader, H];
ss[PCtlBCmd, BCmdRB];
ss[PCtlABusCmd, ABusCam];
ReadRCam1[SCmdVictim];
Jmp[HMRRCVct2PC];
};
};
= HM3nPPC	=> {
IF v[AVM] AND v[RCamForP] THEN {
ReadRCam2[SCmdLVM];
Jmp[HMRRCVM3PC];
};
IF v[AVM] AND NOT v[RCamForP] THEN {
ReadRCam1[SCmdLVM];
Jmp[HMRRCVM2PC];
};
IF NOT v[AVM] THEN {
ss[PCtlABusCmd, ABusIOAId];
s[PCtlWtMchVCam, H];
Jmp[HMnMPC];
};
};
= HMRRCVM2PC	=> {
IF v[RCamForP] THEN {
ReadRCam2[SCmdLVM];
Jmp[HMRRCVM3PC];
};
IF NOT v[RCamForP] THEN {
ReadRCam1[SCmdLVM];
Jmp[HMRRCVM2PC];
};
};
= HMRRCVM3PC	=> {
IF v[RCamForP] THEN {
ReadRCam34[SCmdLVM];
Jmp[HMRRCVM4PC];
};
IF NOT v[RCamForP] THEN {
ReadRCam1[SCmdLVM];
Jmp[HMRRCVM2PC];
};
};
= HMRRCVM4PC	=> {
IF v[RCamForP] THEN {
ReadRCam34[SCmdLVM];
Jmp[HMRCamReadyPC];
};
IF NOT v[RCamForP] THEN {
ReadRCam1[SCmdLVM];
Jmp[HMRRCVM2PC];
};
};
= HMRCamReadyPC	=> {
IF v[PAccessPermission] THEN {
s[PCtlLdRBufHeader, H];
ss[PCtlBCmd, BCmdRB];
ss[PCtlABusCmd, ABusCam];
ReadRCam1[SCmdVictim];
Jmp[HMRRCVct2PC];
};
IF NOT v[PAccessPermission] THEN {
Jmp[StoreMemAccessFaultPC];
};
};
= HMRRCVct2PC	=> {
IF v[RCamForP] THEN {
ReadRCam2[SCmdVictim];
Jmp[HMRRCVct3PC];
};
IF NOT v[RCamForP] THEN {
ReadRCam1[SCmdVictim];
Jmp[HMRRCVct2PC];
};
};
= HMRRCVct3PC	=> {
IF v[RCamForP] THEN {
ReadRCam34[SCmdVictim];
Jmp[HMRRCVct4PC];
};
IF NOT v[RCamForP] THEN {
ReadRCam1[SCmdVictim];
Jmp[HMRRCVct2PC];
};
};
= HMRRCVct4PC	=> {
IF v[RCamForP] THEN {
ReadRCam34[SCmdVictim];
Jmp[HMReadRamPC];
};
IF NOT v[RCamForP] THEN {
ReadRCam1[SCmdVictim];
Jmp[HMRRCVct2PC];
};
};
= HMReadRamPC	=> {
IF TRUE THEN {
ReadRam1[SCmdVictim, NoDBus];
ss[PCtlABusCmd, ABusRCam];
s[PCtlLdSnooper, H];
s[PCtlSetSnooperValid, H];
Jmp[HMRR2PC];
};
};
= HMRR2PC	=> {
IF TRUE THEN {
ReadRam2[SCmdVictim, NoDBus];
ss[PCtlDBusCmd, DBusABus];
s[PCtlLdRBufDataLo, H];
s[PCtlLdRBufDataHi, H];
Jmp[HMRR3PC];
};
};
= HMRR3PC	=> {
IF v[RamForP] THEN {
ReadRam3[SCmdVictim, NoDBus];
Jmp[HMRR4PC];
};
IF NOT v[RamForP] THEN {
ReadRam1[SCmdVictim, NoDBus];
ss[PCtlABusCmd, ABusRCam];
Jmp[HMRR2PC];
};
};
= HMRR4PC	=> {
IF TRUE THEN {
Jmp[HMRR5PC];
};
};
= HMRR5PC	=> {
IF v[AOw] AND v[RPValid] THEN {
ss[PCtlBCmd, BCmdFB];
ss[PCtlABusCmd, ABusRCam];
s[PCtlSetFBTIP, H];
s[PCtlLdFIFO, H];
Jmp[HMRR6PC];
};
IF NOT v[AOw] THEN {
s[PCtlSetNonFBTIP, H];
Jmp[HMReturn1PC];
};
IF NOT v[RPValid] THEN {
s[PCtlSetNonFBTIP, H];
Jmp[HMReturn1PC];
};
};
= HMRR6PC	=> {
IF TRUE THEN {
s[PCtlSetNonFBTIP, H];
ss[PCtlABusCmd, ABusRqstBuf];
Jmp[HMReturn1PC];
};
};
= HMReturn1PC	=> {
IF TRUE THEN {
Jmp[HMReturn2PC];
}
};
= HMReturn2PC	=> {
IF v[NonFBTIP] AND NOT v[TimeOut] THEN {
ss[PCtlABusCmd, ABusRqstBuf];
s[PCtlSelRplyData, H];
Jmp[HMReturn2PC];
};
IF v[NonFBTIP] AND v[TimeOut] THEN {
s[PCtlSelRplyData, H];
Jmp[StoreBTimeOutFaultPC];
};
IF NOT v[NonFBTIP] AND v[MyBFault] THEN {
s[PCtlFault, H];
s[PCtlSelBFC, H];
s[PCtlReleaseP, H];
s[PCtlSelRplyData, H];
Jmp[IdlePC];
};
IF NOT v[NonFBTIP] AND NOT v[MyBFault] THEN {
s[PCtlShftVictim, H];
SELECT vs[Stack] FROM
=FromRead	=> {
s[PCtlReleaseP, H];
s[PCtlSelRplyData, H];
Jmp[IdlePC];
};
= FromWrite	=> {
s[PCtlWtMchVCam, H];
Jmp[PSRetryPC];
};
= FromCWS	=> {
s[PCtlWtMchVCam, H];
Jmp[PCWSRetryPC];
};
ENDCASE => ERROR;
};
};
= StoreMemAccessFaultPC	=> {
IF TRUE THEN {
WriteRam1[SCmdLVM, DBusABus];
ss[PCtlABusCmd, ABusFault+FaultMemAccess];
Jmp[SMAF2PC];
};
};
= SMAF2PC	=> {
IF TRUE THEN {
WriteRam2[SCmdLVM, DBusABus];
ss[PCtlABusCmd, ABusFault+FaultMemAccess];
Jmp[SMAF3PC];
};
};
= SMAF3PC	=> {
IF v[RamForP] THEN {
WriteRam3[SCmdLVM, DBusABus];
s[PCtlFault, H];
ss[PCtlFaultCode, FaultMemAccess];
s[PCtlReleaseP, H];
Jmp[IdlePC];
};
IF NOT v[RamForP] THEN {
ss[PCtlDBusCmd, DBusABus];
WriteRam1[SCmdLVM, DBusABus];
ss[PCtlABusCmd, ABusFault+FaultMemAccess];
Jmp[SMAF2PC];
};
};
= StoreBTimeOutFaultPC	=> {
IF TRUE THEN {
WriteRam1[SCmdLVM, DBusABus];
ss[PCtlABusCmd, ABusFault+FaultBTimeOut];
Jmp[SBTOF2PC];
};
};
= SBTOF2PC	=> {
IF TRUE THEN {
WriteRam2[SCmdLVM, DBusABus];
ss[PCtlABusCmd, ABusFault+FaultBTimeOut];
Jmp[SBTOF3PC];
};
};
= SBTOF3PC	=> {
IF v[RamForP] THEN {
WriteRam3[SCmdLVM, DBusABus];
s[PCtlFault, H];
ss[PCtlFaultCode, FaultBTimeOut];
s[PCtlReleaseP, H];
Jmp[IdlePC];
};
IF NOT v[RamForP] THEN {
WriteRam1[SCmdLVM, DBusABus];
ss[PCtlABusCmd, ABusFault+FaultBTimeOut];
Jmp[SBTOF2PC];
};
};
= StoreIOAccessFaultPC	=> {
IF TRUE THEN {
WriteRam1[SCmdLVM, DBusABus];
ss[PCtlABusCmd, ABusFault+FaultIOAccess];
Jmp[SIOAF2PC];
};
};
= SIOAF2PC	=> {
IF TRUE THEN {
WriteRam2[SCmdLVM, DBusABus];
ss[PCtlABusCmd, ABusFault+FaultIOAccess];
Jmp[SIOAF3PC];
};
};
= SIOAF3PC	=> {
IF v[RamForP] THEN {
WriteRam3[SCmdLVM, DBusABus];
s[PCtlFault, H];
ss[PCtlFaultCode, FaultIOAccess];
s[PCtlReleaseP, H];
Jmp[IdlePC];
};
IF NOT v[RamForP] THEN {
ss[PCtlDBusCmd, DBusABus];
WriteRam1[SCmdLVM, DBusABus];
ss[PCtlABusCmd, ABusFault+FaultIOAccess];
Jmp[SIOAF2PC];
};
};
ENDCASE => ERROR;
}
};

ReadRCam1: PROC [sCmd: NAT] = {
s[PCtlRdRCam, H];
s[PCtlEnCamSel, H];
s[PCtlEnCamSelExt, L];
};

ReadRCam2: PROC [sCmd: NAT] = {
s[PCtlRdRCam, H];
s[PCtlEnCamSel, H];
s[PCtlEnCamSelExt, L];
ss[PCtlCSCmd, sCmd];
};

ReadRCam34: PROC [sCmd: NAT] = {
ss[PCtlCSCmd, sCmd];
};

ReadRam1: PROC [sCmd: NAT, drDBus: {DBus, NoDBus} _ DBus] = {
ss[PCtlRSCmd, sCmd];
s[PCtlRdRam, H];
};

ReadRam2: PROC [sCmd: NAT, drDBus: {DBus, NoDBus} _ DBus] = {
IF drDBus = DBus THEN ss[PCtlDBusCmd, DBusRRLatch];
};

ReadRam3: PROC [sCmd: NAT, drDBus: {DBus, NoDBus} _ DBus] = {
IF drDBus = DBus THEN ss[PCtlDBusCmd, DBusRRLatch];
};

WriteRam1: PROC [sCmd: NAT, data: NAT] = {
ss[PCtlRSCmd, sCmd];
s[PCtlWtRam, H];
};

WriteRam2: PROC [sCmd: NAT, data: NAT] = {
ss[PCtlRSCmd, sCmd];
ss[PCtlDBusCmd, data];
};

WriteRam3: PROC [sCmd: NAT, data: NAT] = {
ss[PCtlDBusCmd, data];
};

Jmp: PROC [dest: NAT] = {
IF dest=StoreBTimeOutFaultPC OR
dest=StoreMemAccessFaultPC OR
dest=StoreIOAccessFaultPC THEN {
ss[PCtlABusCmd, ABusIOFault];
s[PCtlWtMchVCam, H];
};
IF dest=IdlePC THEN {
s[PCtlBusy, L];
s[PCtlLdRBufDataLo, H];
ss[PCtlDBusCmd, DBusPWtLatch];
};
ss[NxtPC, dest];
};

Next: PROC [it: IndexType] RETURNS [index: NAT] = {
index _ Index[it];
Index[it] _ Index[it]+1;
};

pmCodeName: ROPE = Rosemary.Register[roseClassName: "PmCode", init: Init, evalSimple: Simple];


END.
-<SCPmCodeImpl.mesa
Copyright c 1986 by Xerox Corporation.  All rights reserved.
Created: Douady, Sindhu April 10, 1987 12:50:16 pm PDT
Pradeep Sindhu September 8, 1987 6:00:10 pm PDT
Cesar Douady May 13, 1987 3:09:46 pm PDT

Contains the Processor-side microcode. It models only the combinatorial part. The complete model is in PCtl.sch.

The assumption about speed is that signals can go through the combinatorial part in just under one clock cycle, so that inputs need to come directly from flops, and outputs need to go directly to flops, with no intervening logic. This structure means that the minimum delay between the microcode asserting a signal, and that signal having an effect on the input is two cycles. This minimum delay is, in fact, used for the signal PCtlSetNonFBTIP -> NonFBTIP.

		-- opCode 5 is forbidden by the hardware
The signals:
The declaration below simply creates signals, putting signal foo's characteristics in signals[foo]
Public Procs
Create: PUBLIC PROC [] RETURNS [ct: CellType] = {
nameList: LIST OF CoreCreate.WR _ NIL;

FOR i: NAT IN [0..numSignals) DO
IF signals[i].name=NIL THEN LOOP;
IF signals[i].size=0
THEN nameList _ CONS[signals[i].name, nameList]
ELSE nameList _ CONS[CoreCreate.Seq[signals[i].name, signals[i].size], nameList]
ENDLOOP;
ct _ CoreClasses.CreateUnspecified[public: CoreCreate.WireList[nameList, pmCodeName, NIL]];

[] _ Rosemary.BindCellType[cellType: ct, roseClassName: pmCodeName];
[] _ CoreFlat.CellTypeCutLabels[ct, "Logic"];

FOR i: NAT IN [0..numSignals) DO
IF signals[i].name=NIL THEN LOOP;
signals[i].index _ Ports.PortIndex[ct.public, signals[i].name];
ENDLOOP;

FOR i: NAT IN [0..numSignals) DO
SwitchType: TYPE = RECORD [BOOL, SignalType];
switch: SwitchType _ [signals[i].size=0, signals[i].st];

IF signals[i].name=NIL THEN LOOP;
SELECT switch FROM
[TRUE, Input]	=> [] _ Ports.InitPorts[ct, l, none, signals[i].name];	
[TRUE, InputXAllowed]	=> [] _ Ports.InitPorts[ct, l, none, signals[i].name];	
[TRUE, Output]	=> [] _ Ports.InitPorts[ct, l, drive, signals[i].name];
[TRUE, Power]	=> [] _ Ports.InitPorts[ct, b, none, signals[i].name];
[FALSE, Input]	=> [] _ Ports.InitPorts[ct, ls, none, signals[i].name];
[FALSE, InputXAllowed]	=> [] _ Ports.InitPorts[ct, ls, none, signals[i].name];
[FALSE, Output]	=> [] _ Ports.InitPorts[ct, ls, drive, signals[i].name];
ENDCASE => ERROR;
ENDLOOP;
};

--PROC [cellType: Core.CellType, p: Ports.Port] RETURNS [stateAny: REF ANY _ NIL]--
--PROC [p: Ports.Port, stateAny: REF ANY]--
The microcode 
Stack bits are initialized to keep Rosemary happy
Initiate Reset sequence: (empty for now)
Wait for something to happen
Hit: Everything is done automatically
Miss : Begin HandleMiss operations.
First, Partial match to find the address translation
Hit : Check for shared
Wait for ASh to be available
Miss : Begin HandleMiss operations.
First, Partial match to find the address translation
Hit : Good, get the old value
Miss : Begin HandleMiss operations.
First, Partial match to find the address translation
Hit : Everything is done automaticly
Miss : Check for access permission.
First match without flags
Hit : Everything is done automaticly
Miss : Check for access permission.
First match without flags
Always Misses
Load Rqst buffer header with IO address
Rqst to arbiter, remember with NonFBTIP
continuation is the same as IOWrite
Always Misses
Load Rqst buffer header with IO address
Rqst to arbiter, remember with NonFBTIP
continuation is the same as IOWrite
Wait virtual match w/o flags to complete, 1 of 3
Wait virtual match w/o flags to complete, 2 of 3
Wait virtual match w/o flags to complete, 3 of 3
Partial virtual match is successful
This an IO access permission fault, store it and return
Miss : Generate IO(Read/Write)Rqst packet.
Load Rqst buffer header with IO address
Load data parts with PData (doesn't hurt for read)
Rqst to arbiter, remember with NonFBTIP
return when transaction is completed, same as PS
Generate IOReadRqst
Generate IOWriteRqst
Wait for reply to come back
timeOut : Signal and store in the array (can be done after having released the processor)
reply has come back with a fault, release processor and return
reply has come back, release processor and return
Wait for AVM, 1 of 3
We don't need to read the Ram, we just want to verify that the value is there.
Wait for AVM, 2 of 3
Wait for AVM, 3 of 3
Read the Ram to get the old value
Hit : Wait for the time to go
Wait for PCWSEq, 1 of 3
Cannot let the processor go : Sample value may be wrong
Miss : Begin HandleMiss operations.
First, Partial match to find the address translation
go ahead and compare old and sample
Wait for PCWSEq, 2 of 3
Put the old value in the Rqst Buffer in case the data is shared
Ratted! Just redo it
Read the Ram to get the old value
Wait for PCWSEq, 3 of 3
Read the new value from the Ram, present IOAddress to VCam
Fail : Nothing to be done
Read the new value from the Ram, Send ReadRam pulse
Wait for Data to appear in RRdLatch, 1 of 2
Wait for Data to appear in RRdLatch, 2 of 2
Begin to write the new data back to the array
Load Rqst Buffer with new value in case of shared data
Ratted! Reread the new value from scrtach
Read the new value from the Ram, present IOAddress to VCam
Select RamReadLatch to go to the Ram, 1 of 2
Wait for Ash, 1 of 3
Select RamReadLatch to go to the Ram, 2 of 2
Wait for Ash, 2 of 3
Begin to read the RCam in case of ASh
Ratted! Reread the new value from scratch
Read the new value from the Ram, present IOAddress to VCam
Wait for Ash, 3 of 3
Read RCam, cycle 1
Data is shared, generate CWSRqst
First, read RCam to get the real address, cycle 2
Data is shared, generate CWSRqst
First, read RCam to get the real address, cycle 1
Data is not shared, We are done
First, read RCam to get the real address, cycle 2
First, read RCam to get the real address, cycle 1
Read RCam, cycle 3
bus is quiet: go to next cycle
Read RCam, cycle 1
bus is busy: return to cycle 2
Read RCam, cycle 4
bus is quiet: RCam is read
Rqst to arbiter, remember with NonFBTIP
Read RCam, cycle 1
bus is busy: return to cycle 2
Load Rqst buffer header with real address
Wait for AVM, 1 of 3
Write the Ram in case of a match
Wait for time to go on
Miss : Begin HandleMiss operations.
First, Partial match to find the address translation
Wait for AVM, 2 of 3
Wait for AVM, 3 of 3
Ratted! Just redo it
Write the Ram in case of a match
Hit : Check for shared
Wait for ASh to be available
Miss : Begin HandleMiss operations.
First, Partial match to find the address translation
Data is shared, generate WSRqst
First, read RCam to get the real address
Data is not shared, Every thing is automatic
Release processor
Read RCam, cycle 2
bus is quiet: go to next cycle
Read RCam, cycle 1
bus is busy: return to cycle 2
Read RCam, cycle 3
bus is quiet: go to next cycle
Read RCam, cycle 1
bus is busy: return to cycle 2
Read RCam, cycle 4
bus is quiet: RCam is read
Rqst to arbiter, remember with NonFBTIP
Read RCam, cycle 1
bus is busy: return to cycle 2
Load Rqst buffer header with real address
Blow one cycle to give NonFBTIP time to be set
Wait for WSRply, IOWRply, IORRply, BIOWRply, DeMapRply
timeOut : Signal and return
WSRply has come back with a fault, release processor and return
reply has come back, release processor and return
Wait Partial virtual match to complete, 1 of 3
Could begin the RCam read at the expense of more (about 6 lines) microcode
Freeze victim to keep a warm place for the RBRply. Should be 2 cycles long. Cycle 1 of 2
Wait Partial virtual match to complete, 2 of 3
Initiate RCam read in case of a match
Read RCam, cycle 1
Freeze victim. Cycle 2 of 2
Wait Partial virtual match to complete, 3 of 3
continue the RCam read in case of match
Read RCam, cycle 2
Wait Partial virtual match to complete, 3 of 3
Read aborted by the bus side, redo it
Read RCam, cycle 1
Partial virtual match is successful
bus is quiet, go to last cycle of Read RCam
Read RCam, cycle 3
Partial virtual match is successful
bus is busy: return to cycle 2
Read RCam, cycle 1
Read AId from the Ram, first find it in the VCam
Read AId from the Ram, cycle 1
Load output buffer with MapRqst|myId|PAdd
remember with NonFBTIP
Read AId from the Ram, cycle 2
Wait for AId to appear in the RRdLatch, 1 of 1
Load lower data field with AId
Load upper data field with garbage
Request to the arbiter
Ratted! Just redo it
Read the Ram to get the AId value
Blow one cycle to let NonFBTIP get set
Wait for MapRply to come back
Time out : Signal and store the fault in the array
MapCache fault: abort access
Load Rqst buffer header with read address
Read RCam using victim, cycle 1
Warning : Same as HMRCamReadyPC
Partial virtual match is successful
bus is quiet, go to next cycle (#3) of Read RCam
Read RCam, cycle 2
Partial virtual match is successful
bus is busy: return to cycle 2
Read RCam, cycle 1
Read AId from the Ram, first find it in the VCam
Read RCam, cycle 2
bus is quiet: go to next cycle
Read RCam, cycle 1
bus is busy: return to cycle 2
Read RCam, cycle 3
bus is quiet: go to next cycle
Read RCam, cycle 1
bus is busy: return to cycle 2
Read RCam, cycle 4
bus is quiet: RCam is read
Read RCam, cycle 1
bus is busy: return to cycle 2
Load Rqst buffer header with read address
Read RCam using victim, cycle 1
Fault : Signal and store in the array (can be done after having released the processor)
Read RCam using victim, cycle 2
Read RCam, cycle 1
bus is busy: return to cycle 2
Read RCam using victim, cycle 3
Read RCam, cycle 1
bus is busy: return to cycle 2
Read RCam using victim, cycle 4
Read RCam, cycle 1
bus is busy: return to cycle 2
Put victim address into rqst buffer (next cycle) and snooper in case of a Flush
Set snooper valid to begin snooping right now
Wait for AOw. Read Ram, cycle 2
Load Buffer upper data field with garbage
Wait for AOw. Read Ram, cycle 3
Redo the access including reloading the bridge between the ABus and the DBus
Wait for AOw. Read Ram, cycle 4
RPValid is on the ABus only while the Victim address is being read. Thus think about doing the RPValid check there. Also, it looks as though the ABus is not driven properly when the victim address is read.
Generate FBRqst
Send RBRqst, remember with NonFBTIP
Victim is not valid, do not flush it
Send RBRqst, remember with NonFBTIP
This test could be done before with some care. To be optimized if this case turn out to be more than 0.00000001% of the time
Send RBRqst, remember with NonFBTIP
Put the address being read on the ABus to load the snooper when the FBRqst comes back
Blow one cycle to let NonFBTIP be set
Wait for rply to come back
Put the address being read on the ABus to load the snooper when the FBRqst comes back
TimeOut : Signal and store the fault in the array
reply has come back with a fault, release processor and return
Come from read: nothing else to do, just release the processor and the victim logic.
Try again, match VCam with Paddress
Try again, match VCam with Paddress
Write fault code into the RAM, cycle 1
Write fault code into the RAM, cycle 2
Write completed successfully. Go back to Idle loop
Ratted! Redo the access
Write fault code into the RAM, cycle 1
Write fault code into the RAM, cycle 2
Write completed successfully. Go back to Idle loop
Ratted! Redo the access
Write fault code into the RAM, cycle 1
Write fault code into the RAM, cycle 2
Write completed successfully. Go back to Idle loop
Ratted! Redo the access
Internal Procs
This corresponds to the command cycle
This corresponds to the first cycle of Ram use
ss[PCtlRSCmd, sCmd];
This corresponds to the second cycle of Ram use
RosemaryUser.RegisterTestProc["Test", Test];
Κ+Δ˜
codešœΟg
œ
™Kšœ
Οm
œ1™<KšΟnœ,Οk™6Kš
œ/™/K™(—K™K™pK™K™ΙK˜š
 	˜	Kš
œ{˜{—K™K˜KšΡbln›B
‘œ œ
 ˜Kš œ$ œ/˜\Kš œ˜Kšœ œ
 œ	˜˜Kšœ
 œ˜Kšœ œ˜Kšœ œ œ
 œ˜Kšœ
 œ˜K˜Kšœ œ"˜1K˜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šœ œ˜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šœ œ˜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šœ
 œ˜Kšœ œ˜K˜Kšœ
 œ˜Kšœ œ˜Kšœ
 œ˜Kšœ
 œ˜K˜Kšœ
 œ˜Kšœ	 œ˜Kšœ	 œ˜Kšœ œ˜K˜Kšœ
 œ˜Kšœ
 œ˜Kšœ œ˜Kšœ	 œ˜Kšœ œ˜Kšœ œ˜Kšœ
 œ˜Kšœ œ˜K˜Kšœ
 œ œ"˜5Kšœ	 œ œ!˜3Kšœ œ œ#˜7Kšœ œ œ ˜1Kšœ	 œ œ!˜3Kšœ	 œ œ!˜3Kšœ	 œ œ!˜3Kšœ œ œ ˜1Kšœ œ œ ˜1Kšœ œ œ ˜1K˜K˜K˜K˜K˜Kšœ œ
 œ˜0Kšœ œ
 œ˜6K˜Kšœ œ)˜9K˜Kšœ	 œ œ˜šœ œ œ˜š œ œ
 œ
 œ˜Kšœ œ œ
˜Kšœ œ˜K˜K˜Kšœ
 œ˜Kšœ œ˜K˜
—K˜—K˜K™Kš
œb™bK˜Kšœ œ˜3K˜Kšœ œ˜K˜Kšœ œ%˜-Kšœ œ%˜-Kšœ œ%˜-Kšœ œ'˜1Kšœ
 œ*˜7Kšœ
 œ*˜7Kšœ œ3˜IKšœ œ5˜>Kšœ œ0˜;Kšœ	 œ)˜5Kšœ
 œ*˜7Kšœ	 œ)˜5Kšœ	 œ)˜5K˜Kšœ œ1˜8Kšœ œ?˜IKšœ œ'˜1K˜Kšœ
 œ9˜IKšœ
 œ0˜=Kšœ
 œ+˜8Kšœ œ7˜EKšœ
 œ9˜IKšœ œ/˜@Kšœ œ2˜FKšœ œ,˜:Kšœ œ4˜FKšœ œ0˜BKšœ œ/˜@Kšœ œ0˜BKšœ œ-˜<Kšœ œ3˜HKšœ œ3˜HKšœ œ3˜HKšœ œ0˜BKšœ œ/˜@Kšœ œ,˜:Kšœ œ-˜<Kšœ œ-˜<Kšœ œ/˜@Kšœ œ7˜EKšœ œ-˜<Kšœ œ2˜FKšœ œ/˜@Kšœ œ2˜FKšœ œ6˜NKšœ œ1˜DKšœ œ0˜BKšœ œ,˜:K˜Kšœ œ5˜?Kšœ
 œ;˜HKšœ œ'˜0K˜Kšœ œ%˜-Kšœ œ%˜-—
head™š‘œ œ
 œ œ™1Kš	œ
 œ
 œ œ œ
™&K™š œ œ
 œ ™ Kš œ œ
 œ
 œ
™!š œ™Kš œ œ™/Kš œ œ<™P—Kš œ
™—KšœJ
œ
 œ™[K™Kšœ9
œ
™DKš
œ-™-K™š œ œ
 œ ™ Kš œ œ
 œ
 œ
™!Kš
œ?™?Kš œ
™—K™š œ œ
 œ ™ Kšœ œ œ œ™-Kš
œ8™8K™Kš œ œ
 œ
 œ
™!š œ ™Kšœ
 œ@™EKšœ
 œH™MKšœ
 œA™FKšœ
 œ?™DKšœ
 œ@™FKšœ
 œH™NKšœ
 œB™HKš œ œ
™—Kš œ
™—Kš
œ™K™—š‘œ œ œ˜,Kš œ˜$K˜—K˜š‘œ˜Kš
ΟcS™SKš
œ˜K˜—š‘œ˜Kš
£+™+J˜š
Οb
œ œ œ œ œ˜$Jš œ˜ J˜—J˜š
€œ œ œ œ œ˜$Jš œ'˜-J˜—J˜š€
œ œ œ˜J˜J˜—J˜š€œ œ œ œ˜š œ˜Kš œ(˜,Kš œ*˜.—J˜—J˜J˜J˜K™š œ	˜K™1Kš œ4˜8š œ˜Jš œ
 œ œ˜+š œ ˜š
œ˜š œ
 œ
 œ˜J™(Jš
œ˜J˜—J˜—š
œ˜š œ
 ˜š
œ˜J™Jš
œ˜J˜—š
œ˜š œ œ˜Jš
œ%™%Jš
œ˜J˜—š œ
 œ œ˜JšœŸ
œ™#J™4JšœΟt
œ˜Jšœ₯
œ˜Jšœ₯
œ˜Jš
œ˜Jš
œ˜J˜—J˜—š
œ˜š œ œ˜Jš
œ™J™Jš
œ˜J˜—š œ
 œ œ˜Jš
œ#™#J™4Jšœ₯
œ˜Jšœ₯
œ˜Jšœ₯
œ˜Jš
œ˜Jš
œ˜J˜—J˜—š
œ˜š œ œ˜Jš
œ™Jš
œ˜Jšœ₯
œ˜Jš
œ
˜
J˜—š œ
 œ œ˜JšœŸ
œ™#J™4Jšœ₯
œ˜Jšœ₯
œ˜Jšœ₯
œ˜Jš
œ˜Jš
œ˜J˜—J˜—š
œ˜š œ œ˜Jš
œ$™$Jš
œ˜J˜—š œ
 œ œ˜Jš
œ#™#J™Jšœ₯
œ˜Jšœ₯
œ˜Jšœ₯
œ˜Jš
œ˜Jš
œ˜J˜—J˜—š
œ˜š œ œ˜Jš
œ$™$Jš
œ˜J˜—š œ
 œ œ˜Jš
œ#™#J™Jšœ₯
œ˜Jšœ₯
œ˜Jšœ₯
œ˜Jš
œ˜Jš
œ˜J˜—J˜—š
œ˜š œ
 œ
 œ˜Jš
œ
™
J™'J™'J™#Jšœ₯
œ˜Jšœ₯
œ˜Jš
œ˜Jš
œ˜Jš
œ˜J˜—J˜—š
œ˜š œ
 œ
 œ˜Jš
œ
™
J™'J™'J™#Jšœ₯
œ˜Jšœ₯
œ˜Jš
œ˜Jš
œ˜Jš
œ˜J˜—J˜—Kš œ œ
˜—J˜—š
œ˜š œ
 œ
 œ˜J™0Jš
œ˜J˜—J˜—š
œ˜š œ
 œ
 œ˜J™0Jš
œ˜J˜—J˜—š
œ˜š œ
 œ
 œ˜J™0Jš
œ˜J˜—J˜—š
œ˜š œ œ˜J™#J™7Jš
œ˜J˜—š œ
 œ œ˜Jš
œ*™*J™'J™2J™'Jšœ. ™0Jš
œ˜Jšœ₯
œ˜Jš
œ˜Jšœ₯
œ˜Jšœ₯
œ˜Jšœ₯
œ˜Jš
œ˜š œ ˜š
œ˜J™Jš
œ˜J˜—š
œ˜J™Jš
œ˜J˜—Kš œ œ
˜—J˜—J˜—š
œ
˜
š œ
 œ
 œ œ˜(J™Jš
œ˜J˜—š œ
 œ œ˜$J™YJš
œ˜J˜—š œ
 œ
 œ
 œ˜)J™>Jšœ
₯
œ˜Jšœ₯
œ˜Jšœ₯
œ˜Jš
œ˜J˜—š
 œ
 œ
 œ
 œ
 œ˜-J™1Jšœ₯
œ˜Jš
œ˜J˜—J˜—š
œ˜š œ
 œ
 œ˜Jš
œ™J™NJš
œ˜J˜—J˜—š
œ˜š œ
 œ
 œ˜Jš
œ™Jš
œ˜Jšœ₯
œ˜Jš
œ
˜
J˜—J˜—š
œ˜š œ
 œ
 œ˜Jš
œ™J™!Jš
œ˜Jš
œ
˜
J˜—J˜—š
œ˜š œ œ˜Jš
œ™Jš
œ™Jš
œ7™7Jš
œ˜Jš
œ
˜
J˜—š œ
 œ œ˜Jš
œ#™#J™4Jš
œ˜Jšœ₯
œ˜Jšœ₯
œ˜Jšœ₯
œ˜Jš
œ˜Jš
œ˜J˜—J˜—š
œ˜š œ œ˜J™#Jš
œ™J™?Jšœ₯
œ˜Jš
œ˜Jš
œ
˜
J˜—š œ
 œ œ˜J™J™!Jš
œ˜Jš
œ
˜
J˜—J˜—š
œ˜š œ
 œ
 œ˜Jš
œ™Jš
œ
˜
J˜—J˜—š
œ˜š œ œ˜J™:Jš
œ˜Jšœ₯
œ˜Jš
œ
˜
J˜—š œ
 œ œ˜J™Jš
œ˜J˜—J˜—š
œ˜š œ
 œ
 œ˜J™3Jš
œ˜Jš
œ
˜
J˜—J˜—š
œ˜š œ
 œ
 œ˜Jš
œ+™+Jš
œ˜Jš
œ˜Jšœ₯
œ˜Jš
œ˜J˜—J˜—š
œ˜š œ œ˜Jš
œ+™+J™-J™6Jš
œ˜Jš
œ ˜ Jš
œ˜J˜—š œ
 œ œ˜J™)J™:Jš
œ˜Jšœ₯
œ˜Jš
œ
˜
J˜—J˜—š
œ˜š œ
 œ
 œ˜J™,J™Jš
œ ˜ Jš
œ˜J˜—J˜—š
œ˜š œ œ˜J™,J™J™%Jš
œ ˜ Jšœ₯
œ˜Jš
œ˜Jš
œ˜J˜—š œ
 œ œ˜J™)J™:Jš
œ˜Jšœ₯
œ˜Jš
œ
˜
J˜—J˜—š
œ˜š œ
 œ
 œ˜J™J™Jš
œ˜Jš
œ˜J˜—J˜—š
œ˜š œ œ
 œ˜ J™ J™1Jš
œ˜Jš
œ˜J˜—š œ œ
 œ
 œ˜$J™ J™1Jš
œ˜Jš
œ˜J˜—š œ
 œ œ˜J™Jš
œ˜Jš
œ˜J˜—J˜—š
œ˜š œ
 œ˜J™1Jš
œ˜Jš
œ˜J˜—š œ
 œ
 œ˜J™1Jš
œ˜Jš
œ˜J˜—J˜—š
œ˜š œ
 œ˜J™J™Jš
œ˜Jš
œ˜J˜—š œ
 œ
 œ˜J™J™Jš
œ˜Jš
œ˜J˜—J˜—š
œ˜š œ
 œ˜J™J™J™'Jšœ₯
œ˜Jš
œ˜Jš
œ˜J˜—š œ
 œ
 œ˜J™J™Jš
œ˜Jš
œ˜J˜—J˜—š
œ˜š œ
 œ
 œ˜J™)Jšœ₯
œ˜Jš
œ˜Jš
œ˜Jš
œ˜J˜—J˜—š
œ˜š œ
 œ
 œ˜Jš
œ™J™ Jš
œ!˜!Jš
œ˜J˜—J˜—š
œ˜š œ œ˜Jš
œ™Jš
œ!˜!Jš
œ˜J˜—š œ
 œ œ˜Jš
œ#™#J™4Jšœ₯
œ˜Jšœ₯
œ˜Jšœ₯
œ˜Jš
œ˜Jš
œ˜J˜—J˜—š
œ
˜
š œ
 œ
 œ˜Jš
œ™Jš
œ!˜!Jš
œ˜J˜—J˜—š
œ
˜
š œ œ˜Jš
œ™Jš
œ!˜!Jš
œ˜J˜—š œ
 œ œ˜J™J™ Jš
œ!˜!Jš
œ˜J˜—J˜—š
œ
˜
š œ œ˜Jš
œ™J™Jš
œ˜J˜—š œ
 œ œ˜Jš
œ#™#J™4Jšœ₯
œ˜Jšœ₯
œ˜Jšœ₯
œ˜Jš
œ˜Jš
œ˜J˜—J˜—š
œ˜š œ œ˜J™J™(Jš
œ˜Jš
œ˜J˜—š œ
 œ œ˜J™,J™Jšœ₯
œ˜Jš
œ˜J˜—J˜—š
œ˜š œ
 œ˜J™J™Jš
œ˜Jš
œ˜J˜—š œ
 œ
 œ˜J™J™Jš
œ˜Jš
œ˜J˜—J˜—š
œ˜š œ
 œ˜J™J™Jš
œ˜Jš
œ˜J˜—š œ
 œ
 œ˜J™J™Jš
œ˜Jš
œ˜J˜—J˜—š
œ˜š œ
 œ˜J™J™J™'Jšœ₯
œ˜Jš
œ˜Jš
œ˜J˜—š œ
 œ
 œ˜J™J™Jš
œ˜Jš
œ˜J˜—J˜—š
œ˜š œ
 œ
 œ˜J™)Jšœ₯
œ˜Jš
œ˜Jš
œ˜Jš
œ˜J˜—J˜—š
œ˜J™.š œ
 œ
 œ˜Jš
œ˜J˜—J˜—š
œ˜š œ
 œ œ˜(J™6J˜Jš
œ˜J˜—š œ
 œ œ˜$J™J˜Jš
œ˜J˜—š œ
 œ
 œ
 œ˜)J™?Jšœ
₯
œ˜Jšœ₯
œ˜Jšœ₯
œ˜J˜Jš
œ˜J˜—š
 œ
 œ
 œ
 œ
 œ˜-J™1Jšœ₯
œ˜J˜Jš
œ˜J˜—J˜—š
œ˜š œ
 œ
 œ˜J™.J™JJ™XJšœ₯
œ˜Jš
œ˜J˜—J˜—š
œ˜š œ
 œ
 œ˜J™.J™%J™J™Jš
œ˜Jšœ₯
œ˜Jš
œ˜J˜—J˜—š
œ˜š œ
 œ˜J™.J™'J™Jš
œ˜Jš
œ˜J˜—š œ
 œ
 œ˜J™.J™%J™Jš
œ˜Jš
œ
˜
J˜—J˜—š
œ
˜
š œ œ
 œ˜ J™#J™+J™Jš
œ˜Jš
œ˜J˜—š œ œ
 œ
 œ˜$J™#J™J™Jš
œ˜Jš
œ˜J˜—š œ
 œ œ˜J™0Jš
œ˜Jšœ₯
œ˜Jš
œ˜J˜—J˜—š
œ
˜
š œ
 œ
 œ˜J™J™)J™Jšœ₯
œ˜Jš
œ˜Jš
œ˜Jš
œ˜Jš
œ˜J˜—J˜—š
œ˜š œ
 œ
 œ˜J™J™.Jš
œ˜Jš
œ˜J˜—J˜—š
œ˜š œ œ˜J™J™"J™Jšœ₯
œ˜Jšœ₯
œ˜Jšœ₯
œ˜Jš
œ˜Jš
œ
˜
J˜—š œ
 œ œ˜J™J™!Jš
œ˜Jš
œ˜J˜—J˜—˜J™&š œ
 œ
 œ˜J˜
J˜—J˜—š
œ˜š œ
 œ
 œ œ˜(J™Jšœ₯
œ˜Jš
œ
˜
J˜—š œ
 œ œ˜$J™2Jš
œ˜J˜—š œ
 œ
 œ
 œ˜)J™Jšœ
₯
œ˜Jšœ₯
œ˜Jšœ₯
œ˜Jš
œ˜J˜—š
 œ
 œ
 œ
 œ
 œ˜-J™)J™Jš
œ™Jšœ₯
œ˜Jš
œ˜Jš
œ˜Jš
œ˜Jš
œ˜J˜—J˜—š
œ˜š œ œ
 œ˜ J™#J™0J™Jš
œ˜Jš
œ˜J˜—š œ œ
 œ
 œ˜$J™#J™J™Jš
œ˜Jš
œ˜J˜—š œ
 œ œ˜J™0Jš
œ˜Jšœ₯
œ˜Jš
œ˜J˜—J˜—š
œ˜š œ
 œ˜J™J™Jš
œ˜Jš
œ˜J˜—š œ
 œ
 œ˜J™J™Jš
œ˜Jš
œ˜J˜—J˜—š
œ˜š œ
 œ˜J™J™Jš
œ˜Jš
œ˜J˜—š œ
 œ
 œ˜J™J™Jš
œ˜Jš
œ˜J˜—J˜—š
œ˜š œ
 œ˜J™J™Jš
œ˜Jš
œ˜J˜—š œ
 œ
 œ˜J™J™Jš
œ˜Jš
œ˜J˜—J˜—š
œ˜š œ œ˜J™)J™Jšœ₯
œ˜Jš
œ˜Jš
œ˜Jš
œ˜Jš
œ˜J˜—š œ
 œ œ˜"J™WJš
œ˜J˜—J˜—š
œ˜š œ
 œ˜J™Jš
œ˜Jš
œ˜J˜—š œ
 œ
 œ˜J™J™Jš
œ˜Jš
œ˜J˜—J˜—š
œ˜š œ
 œ˜J™Jš
œ˜Jš
œ˜J˜—š œ
 œ
 œ˜J™J™Jš
œ˜Jš
œ˜J˜—J˜—š
œ˜š œ
 œ˜J™Jš
œ˜Jš
œ˜J˜—š œ
 œ
 œ˜J™J™Jš
œ˜Jš
œ˜J˜—J˜—š
œ˜š œ
 œ
 œ˜J™OJ™-Jš
œ˜Jš
œ˜Jšœ₯
œ˜Jšœ₯
œ˜Jš
œ
˜
J˜—J˜—š
œ˜š œ
 œ
 œ˜J™J™)Jš
œ˜Jš
œ˜Jšœ₯
œ˜Jšœ₯
œ˜Jš
œ
˜
J˜—J˜—š
œ˜š œ œ˜J™Jš
œ˜Jš
œ
˜
J˜—š œ
 œ œ˜J™LJš
œ˜Jš
œ˜Jš
œ
˜
J˜—J˜—š
œ˜š œ
 œ
 œ˜J™Jš
œ
˜
J˜—J˜—J™Ν
š
œ˜š œ œ œ˜J™Jš
œ˜Jš
œ˜Jšœ₯
œ˜Jšœ₯
œ˜Jš
œ
˜
J˜—š œ
 œ œ˜J™#Jšœ₯
œ˜Jš
œ˜J˜—š œ
 œ œ˜J™$J™#J™|Jšœ₯
œ˜Jš
œ˜J˜—J˜—š
œ˜š œ
 œ
 œ˜J™#J™UJšœ₯
œ˜Jš
œ˜Jš
œ˜J˜—J˜—˜J™%š œ
 œ
 œ˜J˜J˜
—J˜—š
œ˜š œ
 œ
 œ œ˜(Jš
œ™J™UJš
œ˜J˜Jš
œ˜J˜—š œ
 œ œ˜$J™1J˜Jš
œ˜J˜—š œ
 œ
 œ
 œ˜)J™>Jšœ
₯
œ˜Jšœ₯
œ˜Jšœ₯
œ˜J˜Jš
œ˜J˜—š
 œ
 œ
 œ
 œ
 œ˜-Jšœ₯
œ˜š œ ˜š
œ˜J™TJšœ₯
œ˜J˜Jš
œ˜J˜—š
œ˜J™#Jšœ₯
œ˜Jš
œ˜J˜—š
œ˜J™#Jšœ₯
œ˜Jš
œ˜J˜—Kš œ œ
˜—J˜—J˜—š
œ˜š œ
 œ
 œ˜J™&Jš
œ˜Jš
œ*˜*Jš
œ
˜
J˜—J˜—š
œ˜š œ
 œ
 œ˜J™&Jš
œ˜Jš
œ*˜*Jš
œ
˜
J˜—J˜—š
œ˜š œ œ˜J™2Jš
œ˜Jšœ
₯
œ˜Jš
œ"˜"Jšœ₯
œ˜Jš
œ˜J˜—š œ
 œ œ˜J™Jš
œ˜Jš
œ˜Jš
œ*˜*Jš
œ
˜
J˜—J˜—š
œ˜š œ
 œ
 œ˜J™&Jš
œ˜Jš
œ)˜)Jš
œ˜J˜—J˜—š
œ˜š œ
 œ
 œ˜J™&Jš
œ˜Jš
œ)˜)Jš
œ˜J˜—J˜—š
œ˜š œ œ˜J™2Jš
œ˜Jšœ
₯
œ˜Jš
œ!˜!Jšœ₯
œ˜Jš
œ˜J˜—š œ
 œ œ˜J™Jš
œ˜Jš
œ)˜)Jš
œ˜J˜—J˜—š
œ˜š œ
 œ
 œ˜J™&Jš
œ˜Jš
œ)˜)Jš
œ˜J˜—J˜—š
œ˜š œ
 œ
 œ˜J™&Jš
œ˜Jš
œ)˜)Jš
œ˜J˜—J˜—š
œ˜š œ œ˜J™2Jš
œ˜Jšœ
₯
œ˜Jš
œ!˜!Jšœ₯
œ˜Jš
œ˜J˜—š œ
 œ œ˜J™Jš
œ˜Jš
œ˜Jš
œ)˜)Jš
œ˜J˜—J˜—Jš œ œ
˜—K˜
——Kš
œ˜K˜——™šŸ	œ œ œ˜Jšœ₯
œ˜Jšœ₯
œ˜Jšœ₯
œ˜K˜K˜—šŸ	œ œ œ˜Jšœ₯
œ˜Jšœ₯
œ˜Jšœ₯
œ˜Jš
œ˜K˜K˜—šŸ
œ œ œ˜ Jš
œ˜K˜K˜—K™%šŸœ œ œ$˜=Jš
œ˜Jšœ
₯
œ˜K˜K˜—K™.šŸœ œ œ$˜=Jš
œ™Jš œ œ˜3K˜K˜—K™/šŸœ œ œ$˜=Jš œ œ˜3K˜K˜—šŸ	œ œ œ œ˜*Jš
œ˜Jšœ
₯
œ˜K˜K˜—šŸ	œ œ œ œ˜*Jš
œ˜Jš
œ˜K˜K˜—šŸ	œ œ œ œ˜*Jš
œ˜K˜K˜—šŸœ œ œ˜š œ ˜Kšœ ˜Kšœ œ˜ Jš
œ˜Jšœ₯
œ˜J˜—š œ œ˜Kšœ₯
œ˜Jšœ₯
œ˜Jš
œ˜J˜—Jš
œ˜K˜—K˜šŸœ œ œ	 œ˜3Kš
œ˜Kš
œ˜K˜K˜—Kšœ

œ
 œ&
œ'˜^K˜K˜Kš
œ,™,—Kš œ
˜—…—X@±@