<> <> <> <> <> <<>> DIRECTORY CD, Core, Sisyph; CRProcs: CEDAR DEFINITIONS = BEGIN dataBits: INT = 14; -- 3 addressBits: INT = 11; -- 9 rowQuads: INT = 56; -- 6 CrossRAMState: TYPE = REF CrossRAMStateRec; CrossRAMStateRec: TYPE = RECORD[ accessOccured, precharged: BOOL _ FALSE, address: CARDINAL, memory: SEQUENCE length: CARDINAL OF CrossRAMWord]; CrossRAMWord: TYPE = RECORD[ data: CARDINAL]; InitContext: PROC [cx: Sisyph.Context]; DecoderLogicDriver: PROC [cx: Sisyph.Context] RETURNS [ct: Core.CellType]; DecoderAndPlane: PROC [cx: Sisyph.Context] RETURNS [ct: Core.CellType]; DataBufferMux: PROC [cx: Sisyph.Context] RETURNS [ct: Core.CellType]; END.