SinixInverterTest.cm
Copyright © 1985 by Xerox Corporation. All rights reserved.
Barth, September 16, 1985 4:26:21 pm PDT
Bertrand Serlet September 26, 1985 9:01:18 pm PDT
PSAdd Rosemary $ Indigo
SinixRose
Rosemary
Run SinixFlattenImpl SinixRose
Inverter.roseLoad
Run RoseConvertImpl
CDRead SinixInverter
← &design ← CDViewer.FindDesign["SinixInverter"]
← ERROR -- to give the time to extract and start simulation
← &coreDesign ← CDProperties.GetPropFromDesign[&design, $SinixExtractedCoreDesign]
← &inverter ← CoreOps.FetchCellType[&coreDesign, "Inverter"]
← &flattened ← SinixFlatten.Flatten[&inverter, SinixFlatten.NonTransistorsExpand].flat
← RoseConvert.InstantiateCellType ← &flattened
← &sim ← RoseCreate.CreateSim[TRUE]
← &test ← RoseCreate.CreateTest[rootName: "InverterTest", typeName: "Inverter", testName: "InverterTest", decider: NIL, sim: &sim]
← &disp ← RoseDisplayOps.NewDisplay[sim:&sim, info: [iconic: FALSE, name: "Inverter.Display"]]
← &bv ← RoseDisplayBrowsing.BrowseDisplay[display:&disp, info: [iconic: FALSE, name: "Inverter.browser"]]
Run InverterTest