<> <> <> <<>> _ &ct _ Sinix.Extract[CDDirectory.Fetch[PW.OpenDesign["///Users/gunther.pa/chips/JasmineCells"], "TestCell"].object, SinixCMos.extractBMode].result; _ JasmineThyme.CreateJasmineNodes[&ct, &ct.public[0]]; _ CoreOps.Print[&ct]; _ JasmineThyme.CreateThymeFile[&ct, "SimpleJasmine.thy"]; open ///Users/gunther.pa/chips/SimpleJasmine.thy --_ JasmineThyme.ShowThyme["[]<>Users>gunther.pa>chips", "SimpleJasmine.thy"]; <<>>