ChipTestRemote:
CEDAR
DEFINITIONS =
BEGIN
regStoresMaxLength: NAT = 20;
RegStore: TYPE = RECORD [ reg, value: WORD ← 0 ];
RegStores:
TYPE =
RECORD [
length: [0..regStoresMaxLength] ← 0,
s: ARRAY [0..regStoresMaxLength) OF RegStore];
WordSeq:
TYPE =
RECORD [
w: SEQUENCE size: CARDINAL OF WORD
];
WriteRegs: PROC [ s: RegStores ];
ReadIBuf: PROC RETURNS [ ChipTest.ChannelVec ];
ExecuteBuffer: PROC [ stepCount: NAT, steps, testData: REF WordSeq ] RETURNS [ result: ChipTest.ChannelVec, stepsLeft: NAT ];
END.