Cache:
PUBLIC
PROC [ vm: CacheOps.VirtualMemory, nLines:
NAT ← CacheOps.StdLinesPerCache, skipRejects:
BOOL ←
FALSE ]
RETURNS [ ct: Core.CellType ];
CacheState:
TYPE =
RECORD [
phALast: BOOL ← FALSE, -- hack to improve simulation performance
cache: CacheOps.Cache,
randomStream: Random.RandomStream,
cycleNo: INT ← 0,
skipRejects: BOOL ← FALSE,
rejectCycles: NAT ← 0,
cmdAB: Dragon.PBusCommands ← NoOp,
address, fetchData, storeDataBA: Dragon.HexWord ← 0,
cmdType: {noOp, reset, fetch, store} ← noOp,
pageFault, writeFault, firstBOfCmdBA: BOOL ← FALSE
];