ArbiterTest.mesa
Last Edited by: Barth, October 15, 1984 5:46:34 pm PDT
Last Edited by: Gasbarro, April 9, 1984 4:52:32 pm PST
DIRECTORY
Rope USING [ROPE];
ArbiterTest: CEDAR DEFINITIONS =
BEGIN
stop: BOOL;
comment, testMachine: Rope.ROPE;
ArbIndex: TYPE = [0..16);
MCmdIndex: TYPE = [0..4);
LogicValue: TYPE = [0..2);
ApplyInputsSenseOutputs: PROC;
AdvanceClocks: PROC;
arbInputs: ARRAY ArbIndex OF LogicValue;
arbOutputs: ARRAY ArbIndex OF LogicValue;
arbMCmd: ARRAY MCmdIndex OF LogicValue;
arbReset, arbNewRq, arbPhA, arbPhB: LogicValue;
END.