JasmineThymeTest.cm
Copyright © 1986 by Xerox Corporation. All rights reserved.
Last Edited by: Neil Gunther June 12, 1986 5:03:31 pm PDT
← &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"];