FetchControl.pla
Copyright © 1984 by Xerox Corporation. All rights reversed.
Created by: Bertrand Serlet, April 15, 1985 6:19:34 pm PST
Last Edited: Serlet, April 15, 1985 9:31:54 pm PST
TruthTableFile ← "FetchControl.tt"; -- ROPE giving the name of the file containing the TruthTable.
TileSet ← "///SelfTimePLATileSet.dale"
Optimize ← TRUE; -- BOOL saying if permutation should be attempted.
Inputs ← LIST["jump", "getNext", "hold", "reject", "jumping", "jumpInProgress", "jumpPending", "fetching", "roomFor1", "roomFor2", "faulted", "ipPageFault", "opLength[0]", "opLength[1]", "opLength[2]", "offSet[0]", "offSet[1]"]; -- LIST OF ROPE giving the names of all inputs. Must be given.
Outputs ← LIST["jumpInProgress", "jumpPending", "newFetch", "fetching", "faulted", "incrPrefetch", "wt[0]", "wt[1]", "wt[2]", "rd[0]", "rd[1]", "rd[2]", "rd[3]", "rd[4]", "rd[5]", "rd[6]", "rd[7]", "rd[8]"]; -- LIST OF ROPE giving the names of all outputs. Must be given.
Latches ← LIST[]; -- LIST OF ROPE giving the names of all latches, i.e. outputs which are fed back in the inputs. Before an eventual permutation, order is Inputs then Latches on one side, Latches then outputs on the other.
DistanceBetweenGlue ← 99;
PrintRows ← 5;