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

Last Edited by: Barth, June 29, 1984 4:27:56 pm PDT

DIRECTORY

CacheMicroMachine: CEDAR DEFINITIONS =

BEGIN

SequenceNumber: TYPE = [0..7);

CycleNumber: TYPE = [0..7);

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

LogicBlock: PROC[blockName: Rope.ROPE];

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

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.