DIRECTORY Core, CoreClasses, CoreCreate, CoreFlat, Ports, Rosemary, RosemaryUser; Example: CEDAR PROGRAM IMPORTS CoreClasses, CoreCreate, CoreFlat, Ports, Rosemary ~ BEGIN CellType : TYPE = Core.CellType; CellTypes: TYPE = LIST OF Core.CellType; Level: TYPE = Ports.Level; Properties : TYPE = Core.Properties; ROPE: TYPE = Core.ROPE; Wire: TYPE = Core.Wire; Wires: TYPE = Core.Wires; PA: TYPE = CoreCreate.PA; WR: TYPE = CoreCreate.WR; FFState: TYPE = REF FFStateRec; FFStateRec: TYPE = RECORD [ prevClk: Ports.Level, master: Ports.Level ]; Vdd, Gnd, D, Q, Clk: NAT; MyFF: PUBLIC PROC [] RETURNS [ct: CellType] = { public: Wire _ CoreCreate.WireList[LIST["Vdd", "Gnd", "D", "Q", "Clk"]]; ct _ CoreClasses.CreateUnspecified[public: public]; [] _ Rosemary.BindCellType[cellType: ct, roseClassName: myFFName]; [] _ CoreFlat.CellTypeCutLabels[ct, "Logic"]; [Vdd, Gnd, D, Q, Clk] _ Ports.PortIndexes[ct.public, "Vdd", "Gnd", "D", "Q", "Clk"]; Ports.InitPorts[ct, b, none, "Vdd"]; Ports.InitPorts[ct, b, none, "Gnd"]; Ports.InitPorts[ct, l, none, "D"]; Ports.InitPorts[ct, l, drive, "Q"]; Ports.InitPorts[ct, l, none, "Clk"]; }; MyFFInit: Rosemary.InitProc = { ffState: FFState _ IF oldStateAny=NIL THEN NEW[FFStateRec] ELSE NARROW[oldStateAny, FFState]; ffState.prevClk _ X; ffState.master _ X; stateAny _ ffState; }; MyFFEval: Rosemary.EvalProc = { ffState: FFState _ NARROW[stateAny]; IF p[Clk].l = X THEN p[Q].l _ X ELSE { IF p[Clk].l = L THEN ffState.master _ p[D].l; IF ffState.prevClk=L AND p[Clk].l=H THEN p[Q].l _ ffState.master; }; ffState.prevClk _ p[Clk].l; }; myFFName: ROPE = Rosemary.Register[roseClassName: "MyFF", init: MyFFInit, evalSimple: MyFFEval]; END. öRoseExample.mesa Pradeep Sindhu August 5, 1987 3:55:27 pm PDT Flip Flop Section --PROC [cellType: Core.CellType, p: Ports.Port, oldStateAny: REF ANY _ NIL] RETURNS [stateAny: REF ANY _ NIL]-- --PROC [p: Ports.Port, stateAny: REF ANY]-- ÊH˜™Icode™,J™—J™šÏk ˜ KšœG˜G—J™KšÑblnœœ˜Kšœ3˜:šœ˜K˜—head™Kšœœ˜ Kšœœœœ˜(Kšœœ˜Kšœ œ˜$Kšœœœ˜Kšœœ ˜Kšœœ˜Kšœœœ˜Kšœœœ˜K˜Kšœ œœ˜šœœœ˜K˜K˜K˜—K˜Kšœœ˜K˜šžœœœœ˜/Kšœ#œ!˜HKšœ3˜3KšœB˜BKšœ-˜-KšœT˜TK˜$K˜$K˜"K˜#K˜$Kšœ˜K˜—šžœ˜KšÏco™oKš œœ œœœ œœ˜]K˜K˜K˜Kšœ˜K˜—šžœ˜KšŸ+™+Kšœœ˜$šœ ˜Kšœ˜šœ˜Kšœœ˜-Kšœœœ˜AK˜——Kšœ˜Kšœ˜—K˜šœ œR˜`K˜——Kšœ˜J™—…—Ž Ì