[Indigo]<Dragon>Cache>Rosemary>Cache.df=>CacheMicroMachine.Mesa

Last Edited by: Barth, April 10, 1984 10:56:28 am PST

DIRECTORY

CacheMicroMachine: CEDAR DEFINITIONS =

BEGIN

SequenceNumber: TYPE = [0..7);

CycleNumber: TYPE = [0..7);

TimingType: TYPE = {A, B, AB, BA, C};

LogicBlock: PROC[blockName: Rope.ROPE];

NewDecode: PROC[t: TimingType, d: ATOM];

Master: PROC;

Slave: PROC;

Sequence: PROC [number: SequenceNumber];

Cycle: PROC [number: CycleNumber, decodes: LIST OF ATOM];

SetState: PROC[slave: BOOL, sequence: SequenceNumber, cycle: CycleNumber];

Decode: PROC[decode: ATOM] RETURNS [asserted: BOOL];

END.