CellType : TYPE = Core.CellType;
Wire: TYPE = Core.Wire;
PCEmulState: TYPE = REF PCEmulRec;
PCEmulRec:
TYPE =
RECORD[
address: Ports.LevelSequence,
dataout: Ports.LevelSequence,
nIOWPC : Ports.Level,
nIORPC: Ports.Level,
datain: Ports.LevelSequence,
ckin: Ports.Level,
ADDRESS: NAT,
DATAOUT: NAT,
NIOWPC: NAT,
NIORPC: NAT,
DATAIN: NAT,
CKIN: NAT,
countcycle: NAT,
labelcycle: NAT,
testProcList: LIST OF REF ANY ← NIL
];
PCEDef: PROC [] RETURNS [ct: CellType];
PCEInit: Rosemary.InitProc;
PCEEval: Rosemary.EvalProc;