LayoutSICSC.cm

Statistics on

ColorDisplayModeOff

Install SCDAUser

run -a MECSimpleRulesImpl SICAnalogSlice

Install PWCoreLichen

← PWCoreLichen.SetAutomorphismHack[TRUE]

← CedarProcess.SetPriority[background]

← &design ← PW.OpenDesign["SAADControlLogic.dale"] 

← &cx ← Sisyph.Create[&design, NIL]

← &lib ← CoreDirectory.CreateLibrary[]

← &ft ← Sisyph.ES["feedthru.sch", &cx]

← &vdd ← Sisyph.ES["vdd.sch", &cx]

← &gnd ← Sisyph.ES["gnd.sch", &cx]

← CoreDirectory.Insert[&lib, "feedthru", &ft]

← CoreDirectory.Insert[&lib, "vdd", &vdd]

← CoreDirectory.Insert[&lib, "gnd", &gnd]

← &lib ← CoreDirectory.RegisterLibrary[&lib, "CMOSB"]

← &ct ← Sisyph.ES["Control.sch", &cx]

← &ob ← PWCore.Layout[&ct]

← PW.Draw[&ob]

← PWCoreLichen.CompareForTheRestOfUs[&ct, &design, 1.0]

← PWCore.Store[&ct, TRUE]

← &ct ← Sisyph.ES["SIC.sch", &cx]

← &ob ← PWCore.Layout[&ct]

← PW.Draw[&ob]

← PWCore.Store[&ct, TRUE]

← PWCoreLichen.CompareForTheRestOfUs[&ct, &design, 0.0001]

Install Static

← Static.CountLeafConnections[&ct, Static.CheckCount, CoreFlat.CreateCutSet[labels: LIST["Logic"]]]

Install Mint

← &circuit ← Mint.CreateCircuit[&ct]

← MintCmds.PrepareCircuit[&circuit, FALSE];

← Mint.CheckLibrary[&circuit]

Install ConnectivityChecker

CheckConnectivity SICLayout.dale

← &design ← PW.OpenDesign["SICLayout.dale"]

← RoutingCheck.Check[&design]