BELayout.mesa
Copyright © 1986 by Xerox Corporation. All rights reserved.
Last Edited by: Louis Monier September 16, 1986 7:08:43 pm PDT
DIRECTORY
Core, BE, CoreCreate, Rope;
BELayout: CEDAR DEFINITIONS = BEGIN
Common Types
Expression: TYPE = BE.Expression;
Variable: TYPE = BE.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;
Connection with Core
EqualInt:
PROC [wire: Wire, int:
INT]
RETURNS [expr: Expression];
Returns the expression so that the atomic wires of wire express in binary the quantity int.
Standard Cell Generation
StdOutputs: TYPE = LIST OF StdOutput;
StdOutput: TYPE = REF StdOutputRec;
StdOutputRec:
TYPE =
RECORD [
wire: Wire,
expr: Expression];
StandardCellExpression: PROC [public: Wire, outputs: StdOutputs, name: ROPE ← NIL, props: Properties ← NIL] RETURNS [cellType: CellType];
END.