<> <> <> <<>> DIRECTORY Core, PLAOps; PLASim: CEDAR DEFINITIONS = BEGIN simplePLAClass: Core.CellClass; SimplePLAState: TYPE = REF SimplePLAStateRec; SimplePLAStateRec: TYPE = RECORD [ pla: PLAOps.PLA _ NIL, in: NAT _ 0, nin: NAT _ 0, out: NAT _ 0, inSize: NAT _ 0, outSize: NAT _ 0, badIns: BOOL _ FALSE ]; 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.