<<[Indigo]Cache>Rosemary>Cache.df=>CacheMicroMachine.Mesa>> <> DIRECTORY Rope USING [ROPE]; 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.