<> <> <> <<>> <<-- Add the rules for difContact!>> <<>> DIRECTORY CD, CDAtomicObjects, CDBasics, CDCells, CDLayers, CDSimpleRules, CDSymbolicObjects, CMosB, CMosBObjects, CDDesignRules; CDDesignRulesImpl: CEDAR PROGRAM IMPORTS CD, CDBasics, CDCells, CDLayers, CDSimpleRules, CDSymbolicObjects, CMosB, CMosBObjects EXPORTS CDDesignRules = BEGIN OPEN CDDesignRules; <> FindRules: PUBLIC PROC [a: ATOM] RETURNS [dr: DesignRules] ~ { targetTech: CD.Technology _ CD.FetchTechnology[a]; -- extract techno from atom instead! lambda: INT _ targetTech.lambda; dr _ NEW [DesignRulesRep _ [ atom: a, techno: targetTech, lambda: lambda, gateSDNodeSp: 3*lambda, standardTrSize: [4*lambda, 2*lambda], trPolExt: 2*lambda, trDifExt: 3*lambda, pol: GetLayer[targetTech, $pol], met: GetLayer[targetTech, $met], met2: GetLayer[targetTech, $met2], cut: GetLayer[targetTech, $cut], cut2: GetLayer[targetTech, $cut2], gate: CD.NewLayer[CMosB.cmosB, $gate], ndif: GetLayer[targetTech, $ndif], pdif: GetLayer[targetTech, $pdif], wndif: GetLayer[targetTech, $wndif], wpdif: GetLayer[targetTech, $wpdif], nwell: GetLayer[targetTech, $nwel], pwell: GetLayer[targetTech, $pwel], nwellCont: GetLayer[targetTech, $nwelCont], pwellCont: GetLayer[targetTech, $pwelCont] ]]; }; <> MinWidth: PUBLIC PROC [dr: DesignRules, layer: CD.Layer] RETURNS [dist: CD.Number] = { dist _ CDSimpleRules.MinWidth[layer]; }; <<-- Layers are electrically non-connected>> MinDist: PUBLIC PROC [dr: DesignRules, l1, l2: CD.Layer] RETURNS [dist: CD.Number] = { OPEN dr; IF l1=gate OR l2=gate THEN RETURN [0]; -- think more! IF l1=nwell OR l2=nwell THEN RETURN [0]; -- strange! IF l1=l2 THEN RETURN [SELECT l1 FROM met => 3*lambda, met2 => 4*lambda, pol => 2*lambda+lambda/2, ndif, pdif => 3*lambda+lambda/2, pwell, nwell => 10*lambda, cut => 3*lambda, cut2 => 4*lambda, ENDCASE => 0 ]; <<-- both layers are distinct>> IF l2=cut2 THEN {l2 _ l1; l1 _ cut2}; IF l1=cut2 THEN { IF IsDiff[dr, l2] THEN RETURN[2*lambda]; IF l2=pol THEN RETURN[2*lambda]; }; <<-- no more cut2 (via)>> IF l1=met OR l2=met THEN RETURN [0]; IF l1=met2 OR l2=met2 THEN RETURN [0]; <<-- no more met or met2>> IF l2=pol THEN {l2 _ l1; l1 _ pol}; IF l1=pol THEN {IF IsDiff[dr, l2] THEN RETURN[lambda] ELSE RETURN[0]}; <<-- no more poly>> IF l2=ndif THEN {l2 _ l1; l1 _ ndif}; IF l1=ndif THEN { RETURN [SELECT l2 FROM pdif => 10*lambda, nwell => 5*lambda, ENDCASE => 0 ]; }; <<-- no more ndif>> IF l2=pdif THEN {l2 _ l1; l1 _ pdif}; IF l1=pdif THEN { RETURN [SELECT l2 FROM pwell => 5*lambda, ENDCASE => 0 ]; }; RETURN [0] }; <<-- Layers are electrically connected>> MinConnectedDist: PUBLIC PROC [dr: DesignRules, l1, l2: CD.Layer] RETURNS [dist: CD.Number] = { OPEN dr; IF l1=nwell OR l2=nwell THEN RETURN [0]; -- good enough for now! IF l1=met OR l2=met THEN RETURN [0]; IF l1=met2 OR l2=met2 THEN RETURN [0]; <<-- no more met or met2>> IF l1=l2 THEN RETURN [0]; <<-- both layers are distinct>> IF l2=cut2 THEN {l2 _ l1; l1 _ cut2}; IF l1=cut2 THEN { -- flatness rules IF IsDiff[dr, l2] THEN RETURN[2*lambda]; IF l2=pol THEN RETURN[2*lambda]; }; <<-- no more cut2 (via)>> IF l2=pol THEN {l2 _ l1; l1 _ pol}; IF l1=pol THEN {IF IsDiff[dr, l2] THEN RETURN[lambda] ELSE RETURN[0]}; -- other than dif? <<-- no more poly>> IF l2=ndif THEN {l2 _ l1; l1 _ ndif}; IF l1=ndif THEN { RETURN [SELECT l2 FROM pdif => 10*lambda, nwell => 5*lambda, ENDCASE => 0 ]; }; <<-- no more ndif>> IF l2=pdif THEN {l2 _ l1; l1 _ pdif}; IF l1=pdif THEN { RETURN [SELECT l2 FROM pwell => 5*lambda, ENDCASE => 0 ]; }; RETURN [0] }; <