DIRECTORY CD, CDCells, CDDirectory, CDMenus, CDOps, CDSequencer, Core, CoreProperties, CoreGeometry, IO, PW, PWCore, PWCoreLichen, Rope, RopeList, Sinix, SoS, Sisyph, ViewerIO, ViewerTools; LayoutSchematics: CEDAR PROGRAM IMPORTS CDCells, CDDirectory, CDMenus, CDOps, CoreProperties, IO, PW, PWCore, PWCoreLichen, Rope, RopeList, Sinix, SoS, Sisyph, ViewerIO, ViewerTools = BEGIN ROPE: TYPE = Core.ROPE; CellType: TYPE = Core.CellType; Wire: TYPE = Core.Wire; LayoutSelectedSchematics: PW.UserProc = { cx: Sisyph.Context _ Sisyph.Create[design]; selected: CD.Instance; multiple: BOOL; [selected, multiple] _ CDOps.SelectedInstance[design]; IF selected=NIL THEN {PW.WriteF["\n** No current selection --can't do it.\n"]; RETURN}; IF multiple THEN {PW.WriteF["\n** Multiple instances selected --can't do it.\n"]; RETURN}; IF NOT CDCells.IsCell[selected.ob] THEN {PW.WriteF["\n** Not a cell --can't do it.\n"]; RETURN}; IF NOT Rope.Match["*.sch", CDDirectory.Name[selected.ob]] THEN {PW.WriteF["\n** Not a schematics --can't do it.\n"]; RETURN}; PW.WriteF["\nGenerating layout for %g.\n", IO.rope[CDDirectory.Name[selected.ob]]]; ob _ CheckSch[design, cx, selected.ob].layout; }; WriteBold: PROC [before, bold, after: ROPE _ NIL] = { stream: IO.STREAM _ ViewerIO.CreateViewerStreams ["Terminal", ViewerTools.FindExistingViewer ["Terminal"]].out; IO.PutF[stream, "%g%l%g%l%g", IO.rope[before], IO.rope["b"], IO.rope[bold], IO.rope["B"], IO.rope[after]]; }; CheckMask: PROC [design: CD.Design, layout: CD.Object] RETURNS [ok: BOOL _ TRUE] = { name: ROPE _ CDDirectory.Name[layout]; cellType: CellType _ NARROW [Sinix.Extract[layout, PWCore.extractMode! ANY => {WriteBold["Sinix extraction fails for ", name, " .\n"]; GOTO Fails}].result]; IF SoS.CheckDesignRules [cellType, PWCore.extractMode.decoration, design, NEW [BOOL _ FALSE], FALSE, FALSE, FALSE, NIL] #0 THEN {WriteBold["DRC errors in cell ", name, " .\n"]; GOTO Fails}; EXITS Fails => RETURN [FALSE]; }; CheckSch: PROC [design: CD.Design, cx: Sisyph.Context, sch: CD.Object] RETURNS [ok: BOOL _ TRUE, layout: CD.Object _ NIL] = { name: ROPE _ CDDirectory.Name[sch]; cellType: CellType _ Sisyph.ES[name, cx ! ANY => {WriteBold["Sisyph extraction fails for ", name, ".\n"]; GOTO Fails}]; IF CoreProperties.GetCellTypeProp[cellType, PWCore.layoutAtomProp]=NIL THEN { name _ Rope.Cat[Rope.Substr[name, 0, Rope.Length[name]-4], PWCore.maskSuffix]; layout _ CDDirectory.Fetch[design, name].object; IF layout=NIL THEN RETURN; PWCore.DecorateValue[cellType, layout ! ANY => {WriteBold["Decoration fails for ", name, " .\n"]; GOTO Fails}]; } ELSE layout _ PWCore.Layout[cellType ! ANY => {WriteBold["Layout generation fails for ", name, " .\n"]; GOTO Fails}]; PWCoreLichen.Compare[cellType ! ANY => {WriteBold["Comparaison with schematics fails for ", name, " .\n"]; GOTO Fails}]; ok _ CheckMask[design, layout]; EXITS Fails => RETURN [FALSE, layout]; }; Cat: PROC [list: LIST OF ROPE] RETURNS [catted: ROPE _ NIL] = { WHILE list#NIL DO catted _ Rope.Cat[catted, " ", list.first]; list _ list.rest ENDLOOP; }; Cons: PROC [rope: ROPE, list: LIST OF ROPE] RETURNS [LIST OF ROPE] = { RETURN [IF RopeList.Memb[list, rope] THEN list ELSE CONS [rope, list]]; }; CheckSchematics: PROC [command: CDSequencer.Command] = { cx: Sisyph.Context _ Sisyph.Create[command.design]; checked, notSch, notOk: LIST OF ROPE; sel, notCells: INT _ 0; PW.WriteF["Check schematics\n"]; FOR instances: CD.InstanceList _ CDOps.InstList[command.design], instances.rest WHILE instances#NIL DO obj: CD.Object _ instances.first.ob; name: ROPE _ CDDirectory.Name[obj]; IF NOT instances.first.selected THEN LOOP; sel _ sel + 1; IF NOT CDCells.IsCell[obj] THEN {notCells _ notCells + 1; LOOP}; SELECT TRUE FROM Rope.Match[Rope.Cat["*", PWCore.maskSuffix], name] => { schName: ROPE _ Rope.Cat[Rope.Substr[name, 0, Rope.Length[name]-5], ".sch"]; sch: CD.Object _ CDDirectory.Fetch[command.design, schName].object; IF sch#NIL AND CDCells.IsCell[sch] AND ~ RopeList.Memb[checked, schName] THEN { checked _ Cons[name, Cons[schName, checked]]; IF NOT CheckSch[command.design, cx, sch].ok THEN notOk _ Cons[name, Cons[schName, notOk]]; } ELSE { checked _ Cons[name, checked]; IF NOT CheckMask[command.design, obj].ok THEN notOk _ Cons[name, notOk]; }; }; Rope.Match["*.sch", name] => { IF RopeList.Memb[checked, name] THEN LOOP; checked _ Cons[name, checked]; IF NOT CheckSch[command.design, cx, obj].ok THEN notOk _ Cons[name, notOk]; }; ENDCASE => { notSch _ Cons[name, notSch]; LOOP; }; ENDLOOP; PW.WriteF["%g instances selected.", IO.int[sel]]; IF notCells#0 THEN PW.WriteF[" %g instances not cells.", IO.int[notCells]]; IF notSch#NIL THEN PW.WriteF["\n%gcells not schematics.\n", IO.rope[Cat[notSch]]]; PW.WriteF[" %g schematics checked.\n", IO.int[RopeList.Length[checked]]]; IF notOk#NIL THEN WriteBold["", Cat[notOk], " not ok.\n"]; IF notOk=NIL AND notCells=0 THEN WriteBold["", "OK", ".\n"]; }; PW.Register[LayoutSelectedSchematics, "Layout selected schematics"]; CDMenus.ImplementEntryCommand[$ProgramMenu, "Check selected Schematics", CheckSchematics]; END. ϊLayoutSchematics.mesa Copyright c 1986 by Xerox Corporation. All rights reversed. Created by Bertrand Serlet June 8, 1986 10:16:41 pm PDT Bertrand Serlet October 28, 1986 3:41:23 pm PST due to a bug in TerminalIO.WriteF that does a WriteRope ΚΗ˜– "Cedar" stylešœ™Jšœ Οmœ1™žœ˜ZJš žœžœžœžœ-žœ˜`Jš žœžœ4žœžœ3žœ˜}Jšžœ)žœ&˜SJšœ.˜.J˜K˜—Jšœ7™7š  œžœžœžœ˜5Jšœžœžœ^˜oJš žœžœžœ žœ žœ žœ˜jJ˜K˜—š  œžœ žœžœ žœžœžœ˜TJšœžœ˜&Jšœžœ,žœ=žœ˜œšžœHžœžœžœžœžœžœžœ˜{Kšžœ2žœ˜B—Jšžœ žœžœ˜J˜J˜—š œžœ žœ"žœ žœžœžœ žœ žœ˜}Jšœžœ˜#Jšœžœ žœ=žœ ˜wšžœAžœžœ˜MJšœN˜NJšœ0˜0Jšžœžœžœžœ˜Jšœ(žœ7žœ ˜oJšœžœ#žœ>žœ ˜w—Jšœ žœHžœ ˜xJšœ˜Jšžœ žœžœ ˜&J˜J˜—š œžœžœžœžœžœ žœžœ˜?Jšžœžœžœ>žœ˜WJ˜J˜—š œžœžœžœžœžœžœžœžœžœ˜FJš žœžœžœžœžœ˜GJ˜J˜—š œžœ#˜8Kšœ3˜3Jšœžœžœžœ˜%Jšœžœ˜Jšžœ˜!š žœ žœ?žœ žœž˜fJšœžœ˜$Jšœžœ˜#Jšžœžœžœžœ˜*J˜Jšžœžœžœžœ˜@šžœžœž˜šœ7˜7Jšœ žœ?˜LJšœžœ<˜Cš žœžœžœžœ#žœ˜OJšœ-˜-Jšžœžœ&žœ*˜ZJšœžœ˜Jšœ˜Jšžœžœ#žœ˜HJšœ˜—J˜—šœ˜Jšžœžœžœ˜*Jšœ˜Jšžœžœ&žœ˜KJšœ˜—šžœ˜Jšœžœ˜"Jšœ˜——Jšžœ˜—Jšžœ"žœ ˜1Jšžœ žœžœ%žœ˜LJš žœžœžœžœ'žœ˜RKšžœ&žœ ˜JKšžœžœžœ)˜:Kšžœžœžœ žœ˜