DIRECTORY Boole, BooleCore, Core, CoreCreate; TestSCExpr: CEDAR PROGRAM IMPORTS Boole, BooleCore, CoreCreate ~ BEGIN OPEN CoreCreate; 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. TestSCExpr.mesa Copyright c 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 Test Êã˜codešœ™Kšœ Ïmœ1™