<> <> <> <> <> <<>> DIRECTORY CCDUtils, CD, CDBasics, Core, CoreClasses, CoreCreate, CoreFrame, CoreGeometry, CoreGlue, CoreName, Dragon, IFUCoreCtl, IFUCoreDrive, IFUCorePads, IFUSrc, IO, PW, PWC; IFUSrcComplete: CEDAR PROGRAM IMPORTS CCDUtils, CDBasics, CoreClasses, CoreCreate, CoreFrame, CoreGeometry, CoreGlue, CoreName, IFUCoreCtl, IFUCoreDrive, IFUCorePads, IFUSrc, IO, PW, PWC EXPORTS IFUSrc = BEGIN ROPE: TYPE = Core.ROPE; PadsType: TYPE = IFUCorePads.PadsType; PadRec: TYPE = IFUCorePads.PadRec; Side: TYPE = CoreFrame.Side; CellType: TYPE = Core.CellType; Ph: TYPE = CoreName.Ph; DrGate: TYPE = IFUCoreDrive.DrGate; GND: ROPE _ CoreName.RopeNm["GND"]; VDD: ROPE _ CoreName.RopeNm["VDD"]; Signal: SIGNAL = CODE; MakePads: PROC[name: ROPE, side: Side, pads: LIST OF PadRec] RETURNS[cellType: CellType] = { PadCell: PROC[pad: PadRec] = {pad.side _ side; cnt _ cnt-1; new.seq[cnt] _ IFUCorePads.CellProc[data: pad]}; Sig: PROC RETURNS[pad: PadRec] = {pad _ list.first; list _ list.rest}; ltOrRt: BOOL _ side=left OR side=right; list: LIST OF PadRec; new: CoreFrame.Frame; cnt: INT _ 0; list _ pads; pads _ NIL; FOR list _ list, list.rest WHILE list # NIL DO cnt _ cnt+1; pads _ CONS[list.first, pads] ENDLOOP; -- count and reverse list IF cnt # (IF ltOrRt THEN 28 ELSE 32) THEN ERROR; -- left and right missing 4 cnt _ cnt+15; IF ltOrRt THEN {cellType _ CoreFrame.NewFrameCell[ name: name, rec: [first: bottom], size: cnt ]} ELSE {cellType _ CoreFrame.NewFrameCell[ name: name, rec: [first: left], size: cnt ]}; new _ CoreFrame.FCT[cellType]; list _ pads; <> IF NOT ltOrRt THEN { PadCell[ Sig[] ]; PadCell[ Sig[] ] }; PadCell[[type: gnd ]]; PadCell[ Sig[] ]; PadCell[ Sig[] ]; PadCell[[type: padgnd ]]; PadCell[ Sig[] ]; PadCell[ Sig[] ]; PadCell[[type: padvdd ]]; PadCell[ Sig[] ]; PadCell[ Sig[] ]; PadCell[[type: vdd ]]; PadCell[ Sig[] ]; PadCell[ Sig[] ]; PadCell[[type: vdd ]]; PadCell[ Sig[] ]; PadCell[ Sig[] ]; PadCell[[type: padvdd ]]; PadCell[ Sig[] ]; PadCell[ Sig[] ]; PadCell[[type: padgnd ]]; PadCell[ Sig[] ]; PadCell[ Sig[] ]; PadCell[[type: gnd ]]; PadCell[ Sig[] ]; PadCell[ Sig[] ]; PadCell[[type: padgnd ]]; PadCell[ Sig[] ]; PadCell[ Sig[] ]; PadCell[[type: padvdd ]]; PadCell[ Sig[] ]; PadCell[ Sig[] ]; PadCell[[type: vdd ]]; PadCell[ Sig[] ]; PadCell[ Sig[] ]; PadCell[[type: vdd ]]; PadCell[ Sig[] ]; PadCell[ Sig[] ]; PadCell[[type: padvdd ]]; PadCell[ Sig[] ]; PadCell[ Sig[] ]; PadCell[[type: padgnd ]]; PadCell[ Sig[] ]; PadCell[ Sig[] ]; PadCell[[type: gnd ]]; IF NOT ltOrRt THEN { PadCell[ Sig[] ]; PadCell[ Sig[] ] }; IF list#NIL OR cnt#0 THEN ERROR }; PadLt: PUBLIC PROC RETURNS[cellType: CellType] = { pads: LIST OF PadRec _ NIL; name: ROPE _ CoreName.RopeNm["IFUPadLtCore"]; IF (cellType _ CoreFrame.ReadFrameCache[name])=NIL THEN { <> <> pads _ CONS[ [type: empty], pads]; pads _ CONS[ [type: empty], pads]; pads _ CONS[ [type: empty], pads]; pads _ CONS[ [type: empty], pads]; pads _ CONS[ [type: empty], pads]; pads _ CONS[ [type: empty], pads]; pads _ CONS[ [type: in, data1: "IPRejectB"], pads]; pads _ CONS[ [type: in, data1: "IPFaultingB"], pads]; pads _ CONS[ [type:gate2Out, data2:"NewFetchBAA", enWtA:"PhA"],pads]; pads _ CONS[ [type: in, data1: "ResetAB"], pads]; pads _ CONS[ [type: in, data1: "RescheduleAB"], pads]; pads _ CONS[ [type: conn, data1: "VBB"], pads]; pads _ CONS[ [type: in, data1: IFUSrc.dShIn], pads]; pads _ CONS[ [type: out, data2: IFUSrc.dShOut], pads]; pads _ CONS[ [type: conn, data1: "PhA"], pads]; pads _ CONS[ [type: conn, data1: "PhB"], pads]; pads _ CONS[ [type: conn, data1: "NotPhA"], pads]; pads _ CONS[ [type: conn, data1: "NotPhB"], pads]; pads _ CONS[ [type: conn, data1: "DShA"], pads]; pads _ CONS[ [type: conn, data1: "DShB"], pads]; pads _ CONS[ [type: conn, data1: "DShRd"], pads]; pads _ CONS[ [type: conn, data1: "DShWt"], pads]; pads _ CONS[ [type: empty], pads]; pads _ CONS[ [type: empty], pads]; pads _ CONS[ [type: empty], pads]; pads _ CONS[ [type: empty], pads]; pads _ CONS[ [type: empty], pads]; pads _ CONS[ [type: empty], pads]; <> <> cellType _ MakePads[name, left, pads]; CoreFrame.WriteFrameCache[cellType]}; cellType _ CoreFrame.NewFrameCells[ name: "IFUPadLt", rec: [first: top], cells: LIST[ CoreGlue.CellProc[t: ext, b: conn ], cellType, CoreGlue.CellProc[t: conn, b: ext ] ] ]}; PadRt: PUBLIC PROC RETURNS[cellType: CellType] = { pads: LIST OF PadRec _ NIL; name: ROPE _ CoreName.RopeNm["IFUPadRtCore"]; IF (cellType _ CoreFrame.ReadFrameCache[name])=NIL THEN { wa: ROPE _ CoreName.RopeNm["PhA"]; wb: ROPE _ CoreName.RopeNm["NotDPRejectBA"]; wc: ROPE _ CoreName.RopeNm["Stage3ANormalBA"]; pads _ CONS[ [type: conn, data1: "IDPlaFireV"], pads]; pads _ CONS[ [type: conn, data1: "IDPlaNotPhA"], pads]; pads _ CONS[ [type: in, data1: "DPFaultB.3"], pads]; pads _ CONS[ [type: in, data1: "DPFaultB.2"], pads]; pads _ CONS[ [type: in, data1: "DPFaultB.1"], pads]; pads _ CONS[ [type: in, data1: "DPFaultB.0"], pads]; pads _ CONS[ [type: in, data1: "DPRejectB"], pads]; pads _ CONS[ [type: out, data2: "UserMode2BAA"], pads]; pads _ CONS[[type:gate4Out,data2:"DPCmnd2BAA.7",enWtA:wa,enWtB:wb,enWtC:wc],pads]; pads _ CONS[[type:gate4Out,data2:"DPCmnd2BAA.6",enWtA:wa,enWtB:wb,enWtC:wc],pads]; pads _ CONS[[type:gate4Out,data2:"DPCmnd2BAA.5",enWtA:wa,enWtB:wb,enWtC:wc],pads]; pads _ CONS[[type:gate4Out,data2:"DPCmnd2BAA.4",enWtA:wa,enWtB:wb,enWtC:wc],pads]; pads _ CONS[[type:gate4Out,data2:"DPCmnd2BAA.3",enWtA:wa,enWtB:wb,enWtC:wc],pads]; pads _ CONS[[type:gate4Out,data2:"DPCmnd2BAA.2",enWtA:wa,enWtB:wb,enWtC:wc],pads]; pads _ CONS[[type:gate4Out,data2:"DPCmnd2BAA.1",enWtA:wa,enWtB:wb,enWtC:wc],pads]; pads _ CONS[[type:gate4Out,data2:"DPCmnd2BAA.0",enWtA:wa,enWtB:wb,enWtC:wc],pads]; pads _ CONS[ [type: out, data2: "EUAluOp2ABB.3"], pads]; pads _ CONS[ [type: out, data2: "EUAluOp2ABB.2"], pads]; pads _ CONS[ [type: out, data2: "EUAluOp2ABB.1"], pads]; pads _ CONS[ [type: out, data2: "EUAluOp2ABB.0"], pads]; pads _ CONS[ [type: out, data2: "EUCondSel2ABB.3"], pads]; pads _ CONS[ [type: out, data2: "EUCondSel2ABB.2"], pads]; pads _ CONS[ [type: out, data2: "EUCondSel2ABB.1"], pads]; pads _ CONS[ [type: out, data2: "EUCondSel2ABB.0"], pads]; pads _ CONS[ [type: in, data1: "EUCondition2B"], pads]; pads _ CONS[ [type: out, data2: "EURdFromPBus3ABB"], pads]; pads _ CONS[ [type: out, data2: "EUWriteToPBus3ABB"], pads]; pads _ CONS[ [type: empty], pads]; <<>> <> <> <> <> cellType _ MakePads[name, right, pads]; CoreFrame.WriteFrameCache[cellType]}; cellType _ CoreFrame.NewFrameCells[ name: "IFUPadRt", rec: [first: top], cells: LIST[ CoreGlue.CellProc[t: ext, b: conn ], cellType, CoreGlue.CellProc[t: conn, b: ext ] ] ]}; PadTop: PUBLIC PROC RETURNS[cellType: CellType] = { pads: LIST OF PadRec _ NIL; name: ROPE _ CoreName.RopeNm["IFUPadTopCore"]; IF (cellType _ CoreFrame.ReadFrameCache[name])=NIL THEN { FOR i: INT DECREASING IN [0..32) DO in: ROPE _ IO.PutFR["IPData.%02b", IO.int[i] ]; out: ROPE _ IO.PutFR["IPAddr.%02b", IO.int[i] ]; pads _ CONS[ [type: triOut, data1: in, data2: out, enWtA: VDD, enWtB: GND], pads]; ENDLOOP; cellType _ MakePads[name, top, pads]; CoreFrame.WriteFrameCache[cellType]}; cellType _ CoreFrame.NewFrameCells[ name: "IFUPadTop", rec: [first: left], cells: LIST[ IFUCorePads.CellProc["TopLeft", [corLo, top] ], cellType, IFUCorePads.CellProc["TopRight", [corHi, top] ] ] ]}; PadBot: PUBLIC PROC RETURNS[cellType: CellType] = { enWtA: ROPE _ "KPadsOut3BA"; enRd: ROPE _ "KPadsIn4Ac"; disRd: ROPE _ "NotKPadsIn4Ac"; pads: LIST OF PadRec _ NIL; name: ROPE _ CoreName.RopeNm["IFUPadBotCore"]; IF (cellType _ CoreFrame.ReadFrameCache[name])=NIL THEN { FOR i: INT DECREASING IN [0..32) DO in: ROPE _ IO.PutFR["XBus.%02b", IO.int[i] ]; out: ROPE _ IO.PutFR["XBus.%02b", IO.int[i] ]; pads _ CONS[[type: triIO, data1: in, data2: out, enWtA: enWtA, enWtB: VDD, enRd: enRd, disRd: disRd], pads]; ENDLOOP; cellType _ MakePads[name, bottom, pads]; CoreFrame.WriteFrameCache[cellType]}; cellType _ CoreFrame.NewFrameCells[ name: "IFUPadBot", rec: [first: left], cells: LIST[ IFUCorePads.CellProc["BottomLeft", [corLo, bottom] ], cellType, IFUCorePads.CellProc["BottomRight", [corHi, bottom] ] ] ]}; PadExt: PROC[side1, side2: Side] RETURNS[cellType: CellType] = { cellType _ CoreFrame.NewFrameCells[name:CoreName.ID["PadExt"], rec:[ -- starts in top-left first: left, orient: CDBasics.ComposeOrient[ SELECT side1 FROM top => original, bottom => rotate180X, left => rotate270X, right => rotate270, ENDCASE => ERROR, SELECT side2 FROM top => original, bottom => rotate180X, left => original, right => mirrorX, ENDCASE => ERROR] ], cells: LIST[ IFUCorePads.CellProc[data: [type: ext, side: top]], CoreGlue.CellProc[l: conn, r: ext] ] ] }; Interlock: PUBLIC PROC [sIn: ROPE, altOut: ROPE _ NIL] RETURNS [cellType: CellType, sOut: ROPE] = { name: ROPE _ CoreName.RopeNm["IFUPLAInterlock"]; IF altOut#NIL THEN Signal[]; <> { desc: IFUCoreCtl.PLADescription _ NEW[IFUCoreCtl.PLADescriptionRec _ [name: "IFUPLAInterlock", plaPhs: [BA, B, BAA, B, BA] ] ]; desc.plaType _ hot ; desc.inSh _ sIn; IFUCoreCtl.MakePLA1[desc]; IFUCoreDrive.AdjustDriveInPhRef[B, desc.inDrs, " KIsRtOp1BA FCtlIsRtOp1BA CIsField2AB CIsField3AB DPCmndIsRd2BA A1IsC2B A1IsC3B B1IsC2B B1IsC3B "]; IFUCoreCtl.MakePLA2[desc]; sOut _ desc.outSh; cellType _ IFUCoreCtl.CellProc[complete, desc]; [ ] _ CoreName.CellNm[cellType, name]; IFUCoreDrive.SetDShiftIO[cellType, sIn, sOut]; }; <> [sIn, sOut] _ IFUCoreDrive.GetDShiftIO[cellType]; cellType _ CoreFrame.NewFrameCells[ name: "InterlockFillX", rec: [first: left], cells: LIST[ CoreGlue.CellProc[l: ext, r: conn], cellType ]]}; MainPipeControl: PUBLIC PROC [sIn: ROPE, altOut: ROPE _ NIL] RETURNS [cellType: CellType, sOut: ROPE] = { name: ROPE _ CoreName.RopeNm["IFUPLAMainPipeControl"]; IF altOut#NIL THEN Signal[]; <> { dr: IFUCoreDrive.Drive; desc: IFUCoreCtl.PLADescription _ NEW[IFUCoreCtl.PLADescriptionRec _ [name: "IFUPLAMainPipeControl", plaPhs: [BA, B, BAA, B, BA] ] ]; desc.plaType _ hot ; desc.nofTermCols _ 3; desc.fullWidthTerms _ FALSE; IFUCoreCtl.MakePLA1[desc]; IFUCoreDrive.AdjustDriveInPhRef[A, desc.inDrs, " RschClearAB "]; IFUCoreDrive.AdjustDriveInPhRef[B, desc.inDrs, " ResetBA DPRejectBA DPFaultingBA _ DPFaultBA.0 ProtMicroCycleBA MicroExcptJmpBubbleAB Stage2BAbortAB Stage1BHoldBA CondEffect1BA.0 CondEffect1BA.1 CondEffect2BA.0 CondEffect2BA.1 EUCondition2BA TrapsEnabled2BA _ Flag2BA.7 EStkOverflow2BA InstStarting2BA RescheduleBA RschWaitingAB Push2AB InstFault2BA IStkNearlyFullBA "]; IFUCoreDrive.AdjustDriveOutPh[desc.outDrs, " Stage2ANormalBA Stage2ABubbleBA Stage3ANormalBA Stage3AAbortBA LoadStage1Ac LoadStage2Ac LoadStage3Ac Stage1BHoldingAB NotStage1BHoldingAB Stage2BNormalAB Stage2BAbortAB Stage3BCPipeNormalAB Stage3BCPipeAbortAB MicroExcptJmpNoneAB MicroExcptJmpMicroJumpAB MicroExcptJmpBubbleAB MicroExcptJmpResettingAB MicroExcptJmpTrapAB MicroExcptJmpCJumpAB ExceptTypeSpecialCodeAB ExceptTypeCondCodeAB ExceptTypeDpFaultAB ExceptCodeAB.0 ExceptCodeAB.1 ExceptCodeAB.2 ExceptCodeAB.3 RschClearAB RschWaitingAB " ]; dr _ IFUCoreDrive.FindDrive[desc.outDrs, "BcLoadStage1BA"]; dr.name _ "LoadStage"; dr.dualOut _ FALSE; dr.gate _ negBc; dr.in _ [pos, A]; dr.ref _ [pos, A]; dr.out _ [pos, Bc]; IFUCoreCtl.MakePLA2[desc]; sOut _ desc.outSh; cellType _ IFUCoreCtl.CellProc[complete, desc]; [ ] _ CoreName.CellNm[cellType, name]; IFUCoreDrive.SetDShiftIO[cellType, sIn, sOut]; }; <> [sIn, sOut] _ IFUCoreDrive.GetDShiftIO[cellType]; cellType _ CoreFrame.NewFrameCells[name: "MainPipeControlFillX", rec:[first:left], cells:LIST[ CoreGlue.CellProc[l: ext, r: conn], cellType ]]}; LtDrPadIO: PUBLIC PROC[sIn: ROPE, altOut: ROPE _ NIL] RETURNS [cellType: CellType, sOut: ROPE] = { name: ROPE _ CoreName.RopeNm["IFULtDrPadIOCore"]; IF altOut#NIL THEN Signal[]; <> { Drive: PROC[dir: IFUCoreDrive.Dir, in, out: ROPE, inverted, dual: BOOL _ FALSE] = { drives _ CONS[IFUCoreDrive.SpecificDrive[dir, in, out, inverted, dual], drives]}; drives: IFUCoreDrive.Drives _ NIL; toInside: IFUCoreDrive.Dir = out; toOutside: IFUCoreDrive.Dir = in; Drive[toInside, "IPRejectB", "IPRejectBA"]; Drive[toInside, "IPFaultingB", "IPFaultingBA"]; Drive[toOutside, "NewFetchBA", "NewFetchBAA"]; Drive[toInside, "ResetAB", "ResetBA", FALSE, TRUE]; Drive[toInside, "RescheduleAB", "RescheduleBA"]; [drives, sOut] _ IFUCoreDrive.CapDrives[drives, sIn]; cellType _ IFUCoreDrive.DrivesToFrame[name, drives]; IFUCoreDrive.SetDShiftIO[cellType, sIn, sOut]; }; <> [sIn, sOut] _ IFUCoreDrive.GetDShiftIO[cellType]; cellType _ CoreFrame.NewFrameCells[ name: "LtDrPadIO", rec: [first: left], cells: LIST[ CoreGlue.CellProc[l: ext, r: conn], cellType ]]}; IFULogo: PROC RETURNS [cellType: CellType] = { design: CD.Design _ PW.OpenDesign["IFULogo"]; object: CD.Object _ PW.Get[design, "WideHorizontalLogo"]; cellType _ CoreClasses.CreateRecordCell [CoreCreate.Seq[size:0], CoreCreate.Seq[size:0], NIL, "Logo", NIL]; PWC.SetLayoutObj[cellType, object]; PWC.SetExtractCell[object, cellType]; CoreGeometry.PutObject[PWC.extractMode.decoration, cellType, object]; cellType _ CoreFrame.NewFrameCells[ name: "IFULogo", rec: [first: top], cells: LIST[ CoreGlue.CellProc[], CoreFrame.NewFrameCells[ name: NIL, rec: [first: left], cells: LIST[ CoreGlue.CellProc[], CoreFrame.NewFrameCell[size: 0, name: "Logo", rec: [first: left, cell: cellType] ], CoreGlue.CellProc[] ]], CoreGlue.CellProc[] ]]}; <> <> <> <> <> <