<> <> <> <> DIRECTORY CD, Core, Rope, Sisyph, List; Tam: CEDAR DEFINITIONS = BEGIN CellType: TYPE = Core.CellType; -- Constants - <<>> sMI: NAT = 120; uCodeAddrSize: NAT = 8; FieldType: TYPE = {latch, unlatched, both, spacer}; BitPosRef: TYPE = RECORD[bitType: FieldType, bitPos: INT]; BitPos: TYPE = REF BitPosRef; mask: CD.Design; uCodeRomA, uCodeRomB: PUBLIC ARRAY [0..255] OF Rope.ROPE; uCodeOrder: List.LORA; C: PROC [field: ATOM] RETURNS [value: INT]; CreateAdder: PROC [tamarinCx: Sisyph.Context] RETURNS [cellType: CellType]; CreateIShifter: PROC [tamarinCx: Sisyph.Context] RETURNS [cellType: CellType]; CreateRegArray: PROC [tamarinCx: Sisyph.Context, nbrBanks, regLength, segments: NAT] RETURNS [cellType: CellType]; CreateSpecRegConstants: PROC [tamarinCx: Sisyph.Context] RETURNS [cellType: CellType]; CreateDpCc: PROC [tamarinCx: Sisyph.Context] RETURNS [cellType: CellType]; CreateTagCC: PROC [tamarinCx: Sisyph.Context] RETURNS [cellType: CellType]; CreateShifter: PROC [tamarinCx: Sisyph.Context] RETURNS [cellType: CellType]; CreateShiftTag: PROC [tamarinCx: Sisyph.Context] RETURNS [cellType: CellType]; CreateUCodeRom: PROC [tamarinCx: Sisyph.Context] RETURNS [cellType: CellType]; ShiftDecode: PROC [numBits: NAT, tamarinCx: Sisyph.Context] RETURNS [cellType: CellType]; END.