Copyright c 1986 by Xerox Corporation. All rights reserved.

Last Edited by Curry, October 16, 1986 5:35:34 pm PDT

Don Curry March 31, 1987 8:11:03 pm PST

BEGIN

ROPE: TYPE = Core.ROPE;

QPh:    TYPE = IFUTop.QPh;

StateSeq:   TYPE = REF StateSeqRec;

StateSeqRec:  TYPE = RECORD[seq: SEQUENCE size: CARDINAL OF IFUState];

IFUState:   TYPE = IFUTop.IFUState;

ShowCluster:  PROC;

ShowComplete: PROC[states: IFUTest.StateSeq];

InitStates:   PROC[sim: Rosemary.Simulation, size: CARDINAL] RETURNS[states: StateSeq];

UpdateStates:  PROC[sim: Rosemary.Simulation, states: StateSeq, pass: INT, qph: QPh];

UpdateState:  UpdateProc;

ifuUpdateProc:  ATOM;

UpdateProc: TYPE = PROC[sim: Rosemary.Simulation, state: IFUState, pass: INT, qph: QPh];

Library:   PROC;

Adder:   PROC [size: INT];

Formality:  PROC;

RestructuredCell: PROC[public: Core.Wire, cell: Core.CellType] RETURNS[new: Core.CellType];

PLATestIn: TYPE = RECORD[state:  INT[0..16) ← 0];

PLATestOut: TYPE = RECORD[next:  INT[0..16) ← 0];

END.