DIRECTORY CD, Core, DABasics, Rope, Route, RTCoreUtil; SC: CEDAR DEFINITIONS = BEGIN RopeList: TYPE = LIST OF Rope.ROPE; Layer: TYPE = CD.Layer; Rect: TYPE = CD.Rect; RefRect: TYPE = REF Rect; Pos: TYPE = CD.Position; Number: TYPE = CD.Number; SideOrNone: TYPE = DABasics.SideOrNone; Side: TYPE = DABasics.Side; Direction: TYPE = DABasics.Direction; Error: ERROR [errorType: ErrorType _ callingError, explanation: Rope.ROPE _ NIL]; Signal: SIGNAL [signalType: ErrorType _ callingError, explanation: Rope.ROPE _ NIL]; ErrorType: TYPE = {programmingError, callingError, noResource, other}; DesignRules: TYPE = REF DesignRulesRec; DesignRulesRec: TYPE = RECORD[ horizLayer, vertLayer: Rope.ROPE, rowParms, sideParms: Route.DesignRulesParameters, rowRules, sideRules: Route.DesignRules ]; CreateDesignRules: PROC [technologyKey: ATOM, horizLayer, vertLayer: Rope.ROPE, rowDirection: Direction] RETURNS [designRules: DesignRules]; Handle: TYPE = REF HandleRec; HandleRec: TYPE = RECORD [ name: Rope.ROPE _ NIL, coreCellType: Core.CellType _ NIL, rules: DesignRules _ NIL, parms: PRIVATE REF ANY _ NIL, structureData: PRIVATE REF ANY _ NIL, layoutData: PRIVATE REF ANY _ NIL]; Result: TYPE = REF ResultRec; ResultRec: TYPE = RECORD[ handle: Handle, object: CD.Object, rect: Rect _ [0, 0, 0, 0], polyLength, metalLength, metal2Length, polyToMetal, metalToMetal2: NAT _ 0, numIncompletes: NAT _ 0, incompleteNets: RopeList _ NIL, stats: LIST OF ChannelStats _ NIL]; -- detailed stastics for evaluation; not rerurned in production mode ChannelStats: TYPE = REF ChannelStatsRec; ChannelStatsRec: TYPE = RECORD[ channel: INT _ 0, netStats: LIST OF NetEntry _ NIL]; NetEntry: TYPE = REF NetEntryRec; NetEntryRec: TYPE = RECORD[ name: Rope.ROPE _ NIL, leftExit, rightExit: BOOL _ FALSE, pinStats: LIST OF PinEntry _ NIL, ftStats: LIST OF PinEntry _ NIL]; PinEntry: TYPE = REF PinEntryRec; PinEntryRec: TYPE = RECORD[ bottom: BOOL _ FALSE, position: INT _ 0]; CreateHandle: PROC [cellType: Core.CellType, flattenCellType: RTCoreUtil.FlattenCellTypeProc, libName: Rope.ROPE _ NIL, designRules: DesignRules, name: Rope.ROPE _ NIL] RETURNS [handle: Handle]; numRows: ATOM; rowProp: ATOM; positionProp: ATOM; bottomSideProp, rightSideProp, topSideProp, leftSideProp: ATOM; bottomPositionProp, rightPositionProp, topPositionProp, leftPositionProp: ATOM; usePublicPositionsProp: ATOM; bottomMaxExits, rightMaxExits, topMaxExits, leftMaxExits: ATOM; bottomExitSpacing, rightExitSpacing, topExitSpacing, leftExitSpacing: ATOM; investmentProp, veryLongValue, longValue, mediumValue, shortValue, veryShortValue: ATOM; t0SA, maxTStepSA, lambdaSA, tableSizeSA, limitSA: ATOM; interestingProperties: RTCoreUtil.PropertyKeys; widthFactorProp: ATOM; handleAtom: ATOM; InitialPlace: PROC [handle: Handle, numRows: NAT _ 0]; PosImprove: PROC [handle: Handle, maxCycles: INT _ 5]; FTImprove: PROC [handle: Handle, maxCycles: INT _ 5]; PosImproveWL: PROC [handle: Handle, maxCycles: INT _ 5]; OrientImprove: PROC [handle: Handle, maxCycles: INT _ 5]; OrientImproveWL: PROC [handle: Handle, maxCycles: INT _ 5]; HowLongToWork: TYPE = {veryLong, long, medium, short, veryShort, noInvestmentProp}; SAParms: TYPE = RECORD [ t0: REAL _ 100000.0, maxTStep: REAL _ 0.75, lambda: REAL _ 0.7, tableSize, limit: INT _ 200]; SAInitialResult: TYPE = RECORD [ minScore, maxScore, minDelta, maxDelta, avgDelta, standardDeviation: REAL _ 0.0, numTotal, numDecrease, numIncrease, numNeutral: INT _ 0]; SAInitialPlace: PROC [handle: Handle, widthFactor: REAL _ 1.1, seed: INT _ 0] RETURNS [initialResult: SAInitialResult]; SAGetParms: PROC [handle: Handle, initialResult: SAInitialResult, cellType: Core.CellType] RETURNS [saParms: SAParms]; SAPlaceImprove: PROC [handle: Handle, saParms: SAParms, widthFactor: REAL _ 1.1, seed: INT _ 0]; SAPlaceImproveM: PROC [handle: Handle, saParms: SAParms, widthFactor: REAL _ 1.1, seed: INT _ 0]; PlaceImprove: PROC [handle: Handle, maxCycles: INT _ 0]; GlobalRoute: PROC [handle: Handle]; ExprGlobalRoute: PROC [handle: Handle]; DetailRoute: PROC [handle: Handle] RETURNS [result: Result]; ExprDetailRoute: PROC [handle: Handle] RETURNS [result: Result]; StandardCellPlaceTW: PROC [cellType: Core.CellType]; Destroy: PROC [handle: Handle]; CreateLayout: PROC [technologyKey: ATOM, horizLayer, vertLayer: Rope.ROPE, rowDirection: Direction, numRows: NAT, cellType: Core.CellType, flattenCellType: RTCoreUtil.FlattenCellTypeProc, libName: Rope.ROPE _ NIL, name: Rope.ROPE _ NIL] RETURNS [object: CD.Object]; END. ฎSC.mesa Copyright ำ 1985, 1986, 1987 by Xerox Corporation. All rights reserved. Last Edited by: Preas, August 24, 1987 3:43:20 pm PDT Jean-Marc Frailong October 14, 1987 5:58:52 pm PDT Theory This interface defines the basic data structures and procedures to define a standard cell object from a Core description. Common Types Errors Design Rules Define the standard cell design rules. technologyKey values must correspond to one of the ChipNDale technologies. horizLayer, vertLayer should be "poly", "metal" or "metal2". Standard Cell Handles and Results Create a StdCellHandle. The StdCellHandle definition includes the design rules (conductor and via widths and spacings) for the routing channels as well as the circuit structure definition. Properties row and logic cell properties Used to specify the number of rows for a standard cell assembly. Should be a property on Core cellType being laid out Used to specify the row on which a logic cell is to be placed. rowProp and and INT row number should be a property/value on a logic cell insatance Used to specify the position of a logic within a row or of an public pin on a side. Should be used with INT value on logic cell instance. side and public properties Used to specify the side on which a public pin is to be placed. (mumble)SideProp should be a TRUE on a public wire if it is to appear on (mumble) side Used to specify the position (INT) in which a public pin is to be placed on a side. (mumble)SideProp must be true on that side; should be a property/value on a public wire Used to specify the position of a public in the schematic is to be retained int the layout; value must be TRUE Used to specify the maximum number or exits on a side. Used to specify the HINT for publics spacing on a side. placement properties Used to specify indirectly the investment to make in placement. Used to specify DIRECTLY the investment to make in placement. Used to specify all the properties that aer interesting to SC specifies the allowed length of the longest row compared to the minimun distance longest row internal use for internal use only Standard Cell Optimization and Construction The following operations are available for a standard cell design. Determine an initial placement for the instances. Improve the positions of instances within rows. Improve the positions of the feedthrus within rows. Improve the positions of instances within rows using wire lenght as figure of merit. Improve the orientation of instances. Improve the orientation of instances using wire lenght as figure of merit. Initialize for simulated annealing improvement. determine parameters for simulated placement. Improve the placement for the instances (in pairs) by simulated annealing. Improve the placement for the instances (one at a time) by simulated annealing. Improve the placement for the instances by exhaustive search. Determine strategic paths for the wiring that must cross cell rows. Determine strategic paths for the wiring that must cross cell rows. Uses experimental global routing Determine actual wiring paths. Create a ChipNDale object and include the placement and routing in the object. Determine actual wiring paths. Create a ChipNDale object and include the placement and routing in the object. Uses experimental global routing send a placement ot Timberwolf for placement Clean Up Remove circular references so garbage collection can work Sugar Create a standard cell object by performing the above operations ส=˜Jšฯkœ™JšœH™Hšœ5™5Icode™2—J™š œ˜ Jšœ*˜,—J˜Jšะbkœœ œ˜head™Ibody™y—™ Kš œ œœœœ˜#Kšœœœ˜Kšœœœ˜Kšœ œœ˜Kšœœœ ˜Kšœœœ˜Kšœ œ˜'Kšœœ˜Kšœ œ˜%—™Kšฯnœœ9œœ˜QKšŸœœ:œœ˜TKšœ œ7˜F—™ Kšœ œœ˜'šœœœ˜Kšœœ˜!Kšœ1˜1Kšœ&˜&Kšœ˜K˜J˜—š Ÿœœœœœ˜ŒKšœฏ™ฏ——™!Kšœœœ ˜šœ œœ˜Kšœ œœ˜Kšœœ˜"Kšœœ˜Kš œœœœœ˜Kš œœœœœ˜%Kš œ œœœœ˜#K˜—Kšœœœ ˜šœ œœ˜Kšœ˜Kšœœ˜K˜KšœCœ˜KKšœœ˜Kšœ˜KšœœœœฯcD˜iK˜—Kšœœœ˜)šœœœ˜Kšœ œ˜Kšœ œœ œ˜"K˜—Kšœ œœ ˜!šœ œœ˜Kšœ œœ˜Kšœœœ˜"Kšœ œœ ˜!Kšœ œœ œ˜!K˜—Kšœ œœ ˜!šœ œœ˜Kšœœœ˜Kšœ œ˜—K˜K˜šŸ œœZœœ'œœœ˜ยKšœฝ™ฝ——™ šœ™šœ œ˜Kšœv™v—šœ œ˜KšœOœ@™’—šœœ˜Kšœiœ™Š——K˜šœ™šœ:œ˜?Kšœ—™——šœJœ˜OKšœฌ™ฌ—šœœ˜Kšœn™n—šœ:œ˜?Kšœ6™6—šœFœ˜KKšœœ™7——K˜šœ™šœTœ˜YKšœ?™?—šœ2œ˜7Kšœœ%™=—šœ/˜/Kšœ;™=—šœœ˜Kšœ\™\——K˜Kšœ ™ šœ œ˜K™——™+KšœB™BK˜šŸ œœœ˜6K™1K™—šŸ œœœ˜6K™/K™—šŸ œœœ˜5K™3K™—šŸ œœœ˜8K™TK™—šŸ œœœ˜9K™%K™—šŸœœœ˜;K™JK™—Kšœœ@˜Sšœ œœ˜Kš œœœœœ˜]—šœœœ˜ KšœEœ˜PKšœ0œ˜9K˜—š Ÿœœœœœ"˜wK™/K™—šŸ œœKœ˜vK™-K™—šŸœœ1œœ˜`K™JK™—šŸœœ1œœ˜aK™OK™—šŸ œœœ˜8K™=K™—šŸ œœ˜#K™CK˜—šŸœœ˜'K™eK˜—šŸ œœœ˜