TamarinDefs.mesa
Copyright Ó 1987 by Xerox Corporation. All rights reserved.
by Ross January 26, 1987 3:05:03 pm PST
Last Edited by: Ross January 26, 1987 4:03:38 pm PST
DIRECTORY Rope;
TamarinDefs: CEDAR DEFINITIONS = BEGIN
This interface consists entirely of type definitions for the architectural data structures for
the Tamarin Lisp processor. TamarinBlocks contains the PROCS for manipulating functional
blocks.
numFrames: NAT = 6;
numWordsPerFrame: NAT = 40;
TWord: TYPE = RECORD [
tag: [0..256),
value: INT];
RFWord: TYPE = RECORD [
wd: TWord,
ntr: INT,   -- Number of times read
ntw: INT];  -- Number of times writen
Bus: TYPE = RECORD [
name: Rope.ROPE,
isDriven: BOOL,
tw: TWord];
StateType: TYPE = NAT;
RegStateType: TYPE = ARRAY [0..numFrames] OF ARRAY [0..numWordsPerFrame] OF RFWord;
ProcessorState: TYPE = REF ProcessorStateRec;
ProcessorStateRec: TYPE = RECORD [
regFileState: RegStateType,
dpState: StateType,
ibufState: StateType,
pcState: StateType,
memContState: StateType];
END.