PLASim.mesa,
Copyright c 1986 by Xerox Corporation. All rights reserved.
Last Edited by Curry, October 17, 1986 0:12:31 am PDT
DIRECTORY Core, PLAOps;
PLASim: CEDAR DEFINITIONS =
BEGIN
simplePLAClass: Core.CellClass;
SimplePLAState:  TYPE = REF SimplePLAStateRec;
SimplePLAStateRec: TYPE = RECORD [
pla: PLAOps.PLANIL,
in:   NAT ← 0,
nin:  NAT ← 0,
out:  NAT ← 0,
inSize: NAT ← 0,
outSize: NAT ← 0,
badIns: BOOLFALSE ];
CreateSimplePLAPublic: PROC[name: Core.ROPE, additionalPublics: Core.Wires ← NIL]
RETURNS[public: Core.Wire];
CreateSimplePLA: PROC[name: Core.ROPE, public: Core.Wire]
RETURNS[cellType: Core.CellType];
SetUpRose: PROC[cell: Core.CellType];
BadIns:   PROC RETURNS[BOOL];
BadInsReset: PROC;
END.