<> <> <> <<>> DIRECTORY Convert, Core, CoreClasses, CoreFlat, CoreOps, CoreProperties, Rope, spMain, spGlobals, SymTab, TiogaFileOps, ViewerTools; <<>> JasmineThyme: CEDAR PROGRAM IMPORTS Convert, CoreClasses, CoreFlat, CoreOps, CoreProperties, Rope, spMain, spGlobals, SymTab, TiogaFileOps, ViewerTools = BEGIN TNode: TYPE = TiogaFileOps.Ref; nodeProp: ATOM = CoreProperties.RegisterProperty[$JasmineNode]; hasNameProp: ATOM = CoreProperties.RegisterProperty[$JasmineNameProp]; <<>> CreateThymeFile: PROC [model: SymTab.Ref, outputFile: Core.ROPE] = { root: TNode _ TiogaFileOps.CreateRoot[]; PrintHeader[outputFile, root]; PrintCircuit[root]; TiogaFileOps.Store[root, outputFile] }; PrintHeader: PROC [outputFile: Core.ROPE, root: TNode] = { node: TNode; TiogaFileOps.SetStyle[root, "Cedar"]; node _ TiogaFileOps.InsertAsLastChild[root]; TiogaFileOps.SetContents[node, Rope.Cat["-- ", outputFile, "; Created by Jasmine."]]; [] _ TiogaFileOps.InsertAsLastChild[root]; }; PrintCircuit: PROC [root: TNode] = { tNode: TNode _ TiogaFileOps.InsertAsLastChild[root]; tSubNode: TNode; plotControl: Core.ROPE; TiogaFileOps.SetContents[tNode, "CIRCUIT[Lambda _ 1, TDegC _ 25] = {"]; tSubNode _ TiogaFileOps.InsertAsLastChild[tNode]; TiogaFileOps.SetContents[tSubNode, "Vdd: Node;"]; tSubNode _ TiogaFileOps.InsertAsLastChild[tNode]; TiogaFileOps.SetContents[tSubNode, "! /DATools/DATools6.0/Thyme/SignalGenerators.thy"]; tSubNode _ TiogaFileOps.InsertAsLastChild[tNode]; TiogaFileOps.SetContents[tSubNode, "! /DATools/DATools6.0/Thyme/BSim.thy\n"]; tSubNode _ TiogaFileOps.InsertAsLastChild[tNode]; TiogaFileOps.SetContents[tSubNode, "powerSupply: voltage[Vdd, Gnd] = 5.0;"]; <> PrintInstanceNodes[root, cellType, cellType.public[0]]; <<>> <> --Optional-- <> tNode _ TiogaFileOps.InsertAsLastChild[root]; plotControl _ Rope.Cat[ Rope.Cat["PLOT[\"", "Jasmine Test Model", "\", "], Rope.Cat[":", "1ns", ", "], Rope.Concat["-3", ", "], Rope.Concat["8", ", "], Rope.Concat["myGnd, jn15"] ]; plotControl _ Rope.Concat[plotControl, "];"]; TiogaFileOps.SetContents[tNode, plotControl]; <> tNode _ TiogaFileOps.InsertAsLastChild[root]; TiogaFileOps.SetContents[tNode, Rope.Cat["RUN[", Rope.Cat["tMin _ ", "0ns", ", "], Rope.Cat["tMax _ ", "200ns", "];"] ]]; }; --PrintCircuit PrintInstanceNodes: PROC [tRoot: TNode, cellType: Core.CellType, wire: Core.Wire] = { RegisterInternalNode: PROC [nodeID: INT] RETURNS [nodeIDName: Core.ROPE] = { nodeIDName _ Rope.Cat["jn", Convert.RopeFromInt[nodeID], nodeSeparator]; jasmineNodeList _ CONS[nodeIDName, jasmineNodeList]; }; --RegisterInternalNode RegisterJasmineNode: PROC [jNode: Core.ROPE] = { nodeIDName _ Rope.Cat[jNode, nodeSeparator]; jasmineNodeList _ CONS[nodeIDName, jasmineNodeList]; }; --RegisterJasmineNode AccumulateNode: CoreFlat.EachInternalWireProc --[bindings: HashTable.Table, path: PackedPath, cellType: Core.CellType, wire: Core.Wire]-- = { jasmineNodeName: Core.ROPE _ NIL; RegisterJasmineNode[CoreOps.GetShortWireName[wire]]; IF (jasmineNodeName_NARROW[CoreProperties.GetWireProp[from: wire, prop: nodeProp]])#NIL THEN RegisterJasmineNode[jasmineNodeName]; }; --AccumulateNode AccumulateInstance: CoreFlat.EachWireInstanceProc --[bindings: HashTable.Table, path: PackedPath, instance: CoreClasses.CellInstance, wire: Core.Wire] RETURNS [flatten: BOOL _ TRUE]-- = { NameInstance: PROC[inst: CoreClasses.CellInstance] RETURNS [name: Core.ROPE] = { name _ CoreClasses.GetCellInstanceName[inst]; IF CoreProperties.GetCellInstanceProp[inst, hasNameProp]#NIL THEN RETURN; IF name=NIL THEN { name _ Rope.Cat["Block", Convert.RopeFromInt[instID]]; instID _ instID.SUCC; }; [] _ CoreClasses.SetCellInstanceName[inst, name]; CoreProperties.PutCellInstanceProp[inst, hasNameProp, hasNameProp]; }; SELECT instance.type.class FROM CoreClasses.recordCellClass => { subTNodeInstance _ Rope.Cat[ Rope.Cat[NameInstance[instance], ": ", CoreOps.GetCellTypeName[instance.type]], "[", CoreOps.GetShortWireName[instance.actual], "];"]; }; < {>> <> <> <> <> <> < "ETran",>> < "CTran">> < ERROR,>> <> <> <> <<];>> <<};>> CoreClasses.transistorCellClass => { subTNodeInstance _ Rope.Cat[ Rope.Cat[NameInstance[instance], ": Capacitor"], Rope.Cat["[", RegisterInternalNode[jNodeID], "Gnd", "] = "], Rope.Cat[Convert.RopeFromReal[5.0], "pF", ";"] ]; }; ENDCASE => ERROR; jNodeID _ jNodeID.SUCC; instList _ CONS[subTNodeInstance, instList]; }; --AccumulateInstance subTNodeInstance, subTNodeWires, subTNodeResistors, nodeIDName, rName: Core.ROPE; nodeSeparator: Core.ROPE _ ", "; tNode, subTNode: TNode; jasmineNodeList, instList: LIST OF Core.ROPE _ NIL; instID, resID, capID, jNodeID: INT _ 0; tNode _ TiogaFileOps.InsertAsLastChild[tRoot]; instList _ Reverse[instList]; jasmineNodeList _ Reverse[jasmineNodeList]; FOR jnList: LIST OF Core.ROPE _ jasmineNodeList, jnList.rest UNTIL jnList=NIL DO subTNodeWires _ Rope.Cat[subTNodeWires, jnList.first]; ENDLOOP; subTNodeWires_ Rope.Substr[base: subTNodeWires, len: (Rope.Length[subTNodeWires]-Rope.Length[nodeSeparator])]; subTNode _ TiogaFileOps.InsertAsLastChild[tNode]; TiogaFileOps.SetContents[subTNode, Rope.Cat[subTNodeWires, ": Node;"]]; subTNode _ TiogaFileOps.InsertAsLastChild[tNode]; TiogaFileOps.SetContents[subTNode, "peakCurrent: Current[myGnd, jn15] = 8mA;"]; FOR jnList: LIST OF Core.ROPE _ jasmineNodeList, jnList.rest UNTIL jnList=NIL DO IF jnList.rest = NIL THEN EXIT; rName _ Rope.Cat["R", Convert.RopeFromInt[resID]]; subTNodeResistors _ Rope.Cat[ Rope.Cat[rName, ": Resistor"], Rope.Cat["[", jnList.first, Rope.Substr[base: jnList.rest.first, len: (Rope.Length[jnList.rest.first]-Rope.Length[nodeSeparator])], "] = "], Rope.Cat[Convert.RopeFromReal[0.02386], "K", ";"] ]; resID _ resID.SUCC; subTNode _ TiogaFileOps.InsertAsLastChild[tNode]; TiogaFileOps.SetContents[subTNode, subTNodeResistors]; ENDLOOP; FOR iList: LIST OF Core.ROPE _ instList, iList.rest UNTIL iList=NIL DO subTNode _ TiogaFileOps.InsertAsLastChild[tNode]; TiogaFileOps.SetContents[subTNode, iList.first]; ENDLOOP; subTNode _ TiogaFileOps.InsertAsLastChild[tNode]; TiogaFileOps.SetContents[subTNode, Rope.Cat["testSignal: RectWave[", CoreOps.GetShortWireName[wire], " | period_50ns, width_26ns, tRise_1ns, tFall_1ns, tDelay_4ns];"] ]; subTNode _ TiogaFileOps.InsertAsLastChild[tNode]; TiogaFileOps.SetContents[subTNode, "};\n"]; }; --PrintInstanceNodes ShowThyme: PROC [workingDir, thyFile: Core.ROPE] = { thyHandle: spGlobals.Handle _ spGlobals.MakeThymeViewers[workingDir]; ViewerTools.SetContents[thyHandle.input, thyFile]; spMain.NormalRun[thyHandle]; }; Reverse: PROC [ropes: LIST OF Core.ROPE] RETURNS [revRopes: LIST OF Core.ROPE _ NIL] = { WHILE ropes#NIL DO revRopes _ CONS [ropes.first, revRopes]; ropes _ ropes.rest ENDLOOP; }; END.