<> <> <> <> <> DIRECTORY CD USING [Design], Core, Boole, CoreCreate USING [PA, WR], Rope USING [ROPE]; BooleCore: CEDAR DEFINITIONS = BEGIN <> Expression: TYPE = Boole.Expression; Variable: TYPE = Boole.Variable; ROPE: TYPE = Rope.ROPE; CellType: TYPE = Core.CellType; Properties: TYPE = Core.Properties; Wire: TYPE = Core.Wire; Wires: TYPE = Core.Wires; WR: TYPE = CoreCreate.WR; PA: TYPE = CoreCreate.PA; <> EqualInt: PROC [wire: Wire, int: INT] RETURNS [expr: Expression]; <> <> InputRec: TYPE = RECORD [ input: WR, driver: CellType, pas: LIST OF PA _ NIL ]; <> <<>> OutputRec: TYPE = RECORD [ output: WR, expr: Expression, driver: CellType, pas: LIST OF PA _ NIL ]; <> <> Inputs: TYPE = LIST OF InputRec; Outputs: TYPE = LIST OF OutputRec; AlpsCell: PROC [public: Wire, inputs: Inputs, outputs: Outputs, name: ROPE _ NIL, props: Properties _ NIL] RETURNS [CellType]; <> <> <> <> <> <<>> GetCellLibrary: PROC RETURNS [cellLibrary: CD.Design]; <> <<>> GetCellLibraryCell: PROC [name: ROPE] RETURNS [CellType _ NIL]; <> <> <<>> END.