IFUPLAFetchRdDecode:
CEDAR
DEFINITIONS =
BEGIN
FetchRdDecodePLA: PLAOps.PLA;
FetchRdDecodeProc:
PROC[argRec: FetchRdDecodeIn]
RETURNS[resRec: FetchRdDecodeOut];
-- default must be zero for use initializing sigificance arg
FetchDecodeIn:
TYPE =
RECORD[writing: BOOL ← FALSE, wtIndex: [0..4) ← 0, rdIndex: [0..16) ← 0];
FetchRdDecodeIn: TYPE = FetchDecodeIn;
FetchRdDecodeOut: TYPE = RECORD[rdEnable: [0..65535] ← 0];
END.