TestSCExpr.mesa
Copyright © 1986 by Xerox Corporation. All rights reserved.
Monier, September 13, 1986 9:11:01 pm PDT
Last Edited by: Louis Monier September 15, 1986 11:55:20 pm PDT
Generation of Standard Cells from Boolean Expressions in Boole form
DIRECTORY
Boole, BooleCore, Core, CoreCreate;
TestSCExpr: CEDAR PROGRAM
IMPORTS Boole, BooleCore, CoreCreate
~ BEGIN OPEN CoreCreate;
Test
p: Core.Wire ← CoreCreate.Wires["a", Seq["b", 2], "Vdd", "Gnd", "Out"];
a: Core.Wire ← CoreCreate.FindWire[p, "a"];
b: Core.Wire ← CoreCreate.FindWire[p, "b"];
Vdd: Core.Wire ← CoreCreate.FindWire[p, "Vdd"];
Gnd: Core.Wire ← CoreCreate.FindWire[p, "Gnd"];
Out: Core.Wire ← CoreCreate.FindWire[p, "Out"];
expr: Boole.Expression ← Boole.And[a, Boole.Or[b[0], b[1]], Boole.true];
output: BooleCore.StdOutput ← NEW[BooleCore.StdOutputRec ← [Out, expr]];
outputs: BooleCore.StdOutputs ← LIST[output];
ct: Core.CellType ← BooleCore.StandardCellExpression[public: p, outputs: outputs, name: "Test"];
END.