ClockGenCountDown.cm
Copyright Ó 1987 by Xerox Corporation. All rights reserved.
Louis Monier June 22, 1988 7:26:24 pm PDT
-- Start everything and read in the source design
Statistics on
-- you always want to know how long it took
ColorDisplayModeOff
-- saves a lot of cycles
Install DAUser SCCmosB PadFrame
← CedarProcess.SetPriority[background]
← &design ←
PW.OpenDesign["ClockGen.dale"]
-- read the CD design
← &cx ← Sisyph.Create[&design,
NIL]
-- this creates a context for Sysiph
-- Extract cell
← &ct ← Sisyph.
ES["ClockGen.sch", &cx]
-- this extracts the top-level schematic
-- Generate Layout
← &ob ← PWCore.Layout[&ct]
← PW.Draw[&ob]
← PWCore.Store[&ct,
TRUE]
-- Apply Static to find unconnected wires
Install Static
← Static.CountLeafConnections[&ct, Static.CheckCount, CoreFlat.CreateCutSet[labels:
LIST["Logic"]]]
-- errors can be found found in the terminal
-- Compare layout and schematics
Install PWCoreLichen
← PWCoreLichen.SetAutomorphismHack[TRUE]
← PWCoreLichen.CompareForTheRestOfUs[&ct, &design, 0.8]
-- Check the connectivity
Install ConnectivityChecker
CheckConnectivity ClockGenLayout.dale
-- signals all disconnected internals; returns a list of disconnected publics
-- DRC ClockGenLayout.dale (we need a programming interface)