<> <> <> <> <> DIRECTORY CD, CDAtomicObjects, CDSimpleRules, Rope, SymTab; CDDesignRules: CEDAR DEFINITIONS = BEGIN <<>> <> <<- a technology (ChipNDale sense) is defined by a set of layers and a set of atomic objects. For example CMosB has metal2, no buried or butting contact but small vias.>> <<- a set of design rules defines the minimum size and spacings of layers, the legal layout of basic objects (transistors and contacts), the value of the difference in capabilities between fab lines trying to manufacture the same process. (By the way, if the notion of design rules is long-lived in ChipNDale, I think that even the size and shape of atomic objects should be parametrized by design rules rather than require a change in technologies; so the same transistor could exist in CMos and CMosB, but its diffusion extension would be 2 the same technology will share layer names.>> <<- Things like electrical models for devices change from one run to another, and represent another level which is not formally introduced in ChipNDale.>> <<>> <> <> <<>> <<>> <> DesignRules: TYPE = REF DesignRulesRep; DesignRulesRep: TYPE = RECORD [ atom: ATOM, -- unique to a set of design rules techno: CD.Technology, -- can be shared by several sets of design rules lambda: INT, gateSDNodeSp: INT, -- typically 2 (target lambda) standardTrSize: CD.Position, trPolExt, trDifExt: INT, pol, met, met2, cut, cut2, gate: CD.Layer, ndif, pdif, wndif, wpdif, nwell, pwell, nwellCont, pwellCont: CD.Layer ]; DRect: TYPE = CDAtomicObjects.DrawRec; -- [r: D2Basic.Rect, lev: CD.Layer _ CD.highLightError] DRects: TYPE = LIST OF DRect; ROPE: TYPE = Rope.ROPE; NotKnown: ERROR; <<-- The atom should be something like $CMosBICL1micron>> FindRules: PROC[a: ATOM] RETURNS [dr: DesignRules]; <<--NIL if not found>> <<>> <> MinWidth: PROC [dr: DesignRules, layer: CD.Layer] RETURNS [CD.Number]; <<-- Minimum width of conductors.>> <<-- (Width of interrest rect).>> MinDist: PROC [dr: DesignRules, l1, l2: CD.Layer] RETURNS [CD.Number]; <<-- Minimum distance between unconnected conductors.>> <<-- 0 if no interaction.>> <<-- Error if l1 and l2 from different technologies. >> <<-- (Distance of interrest rects).>> MinConnectedDist: PROC [dr: DesignRules, l1, l2: CD.Layer] RETURNS [CD.Number]; <<-- Minimum distance between connected conductors.>> <<-- 0 if no interaction.>> <<-- Error if l1 and l2 from different technologies. >> <<-- (Distance of interrest rects).>> <<>> <