JasmineTest.cm
Copyright © 1986 by Xerox Corporation. All rights reserved.
Neil Gunther, April 24, 1986 2:14:46 pm PST
Last Edited by: Neil Gunther July 24, 1986 10:16:03 am PDT
← &ct ← Sinix.Extract[CDDirectory.Fetch[PW.OpenDesign["///Users/gunther.pa/chips/JasmineCells"], "TestCell"].object, SinixCMos.extractBMode].result;
--to look at wire rects
--← &wg ← CoreProperties.GetWireProp[&ct.public[0], $SinixCMosBWireGeometry];
--to look at xtors
--← &xtor ← CoreProperties.GetCellInstanceProp[&ct.data[0], $SinixCMosBInstance];
← JasmineImpl.db ← FALSE; --diagnostics--
← &tess ← JasmineImpl.CornerStitchWire[&ct, &ct.public[0]];
--← CStitching.ListArea[&tess, CStitching.all];
--← CSMonitor.Monitor[&tess, "TestCell: Tesselation", NIL];
← JasmineImpl.EstablishTopography[&tess];
--← CSMonitor.Monitor[&tess, "TestCell: Jasmine Objects", NIL];
--to pretty print the Core data structure:
--← CoreOps.Print[&ct];
← JasmineImpl.resolution ← high;
← &model ← JasmineImpl.CreateModel[&tess];
--← JasmineMonitorImpl.DisplayModel[&model, "Jasmine Model: TestCell"];
← JasmineImpl.PrintModel[&model];
--← JasmineThymeImpl.CreateThymeFile[&model, "JasmineTestCell.thy"];
--open ///Users/gunther.pa/chips/JasmineTestCell.thy