SimplexCountdown.cm
Copyright Ó 1987 by Xerox Corporation. All rights reserved.
Louis Monier November 21, 1987 1:30:25 pm PST
                             
Goal
                             
This command file captures all the operations necessary to "finish" a circuit before fabrication. It has been tried on BIC, and gathers a lot of relevant information from all over the DA system.
Each designer is advised to make a copy and customize it.
Disclaimer: Using this command file does not prevent you from reading all about all tools and make any relevant choice of different or extra steps.
The file can be broken into separate files chained by RollBackAnd if you run out of resources on your machine (you will). You then have to duplicate some of the steps (read design, ...)
                             
Assumptions
                             
All libraries have been run through the DRC and Lichen (standard cells, pads, ram) and are frozen until the run goes out.
The design is completed, has been simulated at transistor level, and some timing estimation made (Mint, Spice...)
For power bus sizing, eyeball and be conservative.
You have a df file pertaining to this chip; the df file must verify, so that you can switch between machines rapidly.
You keep a daily log of your work on the chip (very useful when testing the wafers).
                             
The command file
                             
-- 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 PadFrames
-- and anything else you might need such as FSA, DP, Alps, ..., or any of your private code
← CedarProcess.SetPriority[background]
← &design ← PW.OpenDesign["DynaBusInterface.dale"] 
-- read the CD design
← &cx ← Sisyph.Create[&design, NIL]   
-- this creates a context for Sysiph
-- Generate celltype: the top-level schematic is read and extracted
← &ct ← Sisyph.ES["SimplEx.sch", &cx]
-- this extracts the top-level schematic
-- Generate Layout
← &ob ← PWCore.Layout[&ct]
-- creates the CD object and attaches it to the cellType
← PW.Draw[&ob]
-- just a viewer; don't edit or save it
← PWCore.Store[&ct, TRUE]  
-- saves the decorated Core under BIC.core, the layout under BICLayout.dale, and a view of the public pins under BICShell.dale
-- the decorated Core will be read back for future work
-- the layout will be DRCed, plotted, and turned into a Mebes file
-- the shell will be needed to check the pad position and make the probing and bonding maps
-- Apply Static
Install Static
← Static.CountLeafConnections[&ct, Static.CheckCount, CoreFlat.CreateCutSet[labels: LIST["Logic"]]]
-- errors can be found found in the terminal
-- Apply MintCheck
Install Mint
← &circuit ← Mint.CreateCircuit[&ct]
← MintCmds.PrepareCircuit[&circuit, FALSE];
← Mint.CheckLibrary[&circuit]
-- errors can be found found in the terminal
-- make a note of this number of transistors, and write home about it
-- you also get an estimation of the total capacitance which you can use to derive an upper bound on the average power consumption.
-- If your design is too large and must be done in several VMs, the trick is to produce decorated Core files from schematic for large blocks, and have the corresponding icons read the Core file instead of extracting the schematic. The receipe for making the decorated Core files is described above. The icon should be created by
SPACE-O/make cell icon/from code/PWCore.Retrieve["CHIP"].
-- If the construction fits in one VM, it is better to remove intermediate checkpoints for final constructions.
-- Compare layout and schematics
Install PWCoreLichen
← CoreProperties.PutCellTypeProp[on: &ct, prop: $LichenTransistorTolerances, value: "0.8, 0.8"]
-- that's length and width
← PWCoreLichen.SetAutomorphismHack[TRUE]
← PWCoreLichen.Compare[&ct]
-- compares the cellType with the extracted layout
-- Check the connectivity
Install ConnectivityChecker
CheckConnectivity BICLayout.dale
-- signals all disconnected internals; returns a list of disconnected publics
← RoutingCheckImpl.Check[PW.OpenDesign["BICLayout.dale"]]
-- checks for shorts in routing cells
-- DRC BICLayout.dale (we need a programming interface)
-- Plots
CDPlot Sleepy -k CHIPLayout
-- Plot BICLayout.dale and eyeball it
-- Use the shell to produce a bonding map; make sure that all bonding and wiring constraints are satisfied
-- Generate the Mebes files
source CDMEBESCMOSB31Jul87.load
← %CDMEBES.stripesPerClump ← 5;
← %CDMEBES.wDir ← "///mebes/"
← &design ← PW.OpenDesign["BICLayout"]
← CDProperties.PutDesignProp[&design, $CDMEBESMaskSetName, "BIC56789"]
-- 9 chars, alphanum
← CDMEBESMainImpl.StartMEBESMask[NEW[CDSequencer.CommandRec ← [design: &design]]]
-- generates a bunch of files of the form BIC56789.AAA
-- Smodel under /indigo/dragon7.0/BIC12Oct87.df and archive immediately
-- Visit your travel agent for good prices for Tahiti