<> <> <> <> <<>> _ &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