TestSmallCache.cm
Pradeep Sindhu July 19, 1988 5:48:56 pm PDT
Don Curry July 6, 1988 6:20:00 pm PDT
← Process.SetPriority[Process.priorityBackground]
Run SCParmsImpl
← SCParms.Set[NumBitsPerByte: 2, NumMemLines: 4]
← SCParms.SetCellTypeSpecs[ArraySpec: Procedure, OutputSectionSpec: Procedure, BCyclePipeSpec: Procedure, BWdWtPipeSpec: Procedure]
← SCParms.SetCellTypeSpecs[ArraySpec: Procedure]
Install SmallCache
CDRead SmallCache
← MonitorSmallCachePmCodeImpl.handle ← MonitorSmallCachePmCode.ParseMCode["SmallCachePmCodeImpl.mesa", SmallCacheUtils.workingDirectory];
SmallCacheInner Subblock Tests
Some of these won't work because of interface changes
← SmallCacheTestCode.RunOracleTest["VictimTest", "SmallCacheArray", "Victim"]
← SmallCacheTestCode.RunOracleTest["RML23Test", "SmallCacheArray", "RML234"]
← SmallCacheTestCode.RunOracleTest["CSMuxTest", "SmallCacheArray", "CSMux"]
← SmallCacheTestCode.RunOracleTest["RSMuxTest", "SmallCacheArray", "RSMux"]
← SmallCacheTestCode.RunOracleTest["SharedOwnerTest", "SmallCacheArray", "SharedOwner"]
← SmallCacheTestCode.RunOracleTest["RamTest", "SmallCacheArray", "Ram"]
← SmallCacheTestCode.RunOracleTest["RCamTest", "SmallCacheArray", "RCam"]
← SmallCacheTestCode.RunOracleTest["VCamTest", "SmallCacheArray", "VCam"]
← SmallCacheTestCode.RunOracleTest["IOLVCamTest", "SmallCacheArray", "IOLVCam"]
← SmallCacheTestCode.RunOracleTest["IOLRCamTest", "SmallCacheArray", "IOLRCam"]
← SmallCacheTestCode.RunOracleTest["IOSOTest", "SmallCacheArray", "IOSO"]
← SmallCacheTestCode.RunOracleTest["IORamTest", "SmallCacheArray", "IORam"]
← SmallCacheTestCode.RunOracleTest["RamInterlockCtlTest", "SmallCacheArray", "RamInterlockCtl"]
← SmallCacheTestCode.RunOracleTest["FIFORamTest", "SmallCacheArray", "FIFORam"]
← SmallCacheTestCode.RunOracleTest["FIFOPointerTest", "SmallCacheArray", "FIFOPointer"]
← SmallCacheTestCode.RunOracleTest["RCamInterlockCtlTest", "SmallCache", "RCamInterlockCtl"]
← SmallCacheTestCode.RunOracleTest["BInterfaceInCtlTest", "SmallCache", "BInterfaceInCtl"]
← SmallCacheTestCode.RunOracleTest["PInterfaceCtlTest", "SmallCache", "PInterfaceCtl"]
← SmallCacheTestCode.RunOracleTest["PInterfaceTest", "SmallCache", "PInterface"]
← SmallCacheTestCode.RunOracleTest["SnooperCtlTest", "SmallCache", "SnooperCtl"]
← SmallCacheTestCode.RunOracleTest["PCtlTest", "SmallCache", "PCtlTest"
← SmallCacheTestCode.RunOracleTest["FIFOCountTest", "SmallCache", "FIFOCount"]
← SmallCacheTestCode.RunOracleTest["OutputSectionTest", "SmallCache", "OutputSection"]
← SmallCacheTestCode.RunOracleTest["TimeOutCounterTest", "SmallCache", "TimeOutCounter"]
These must be run to verify that the array works
← SmallCacheTestCode.RunOracleTest["ArraySchematicTest", "SmallCacheArray", "Array"]
← SmallCacheTestCode.RunOracleTest["ArrayProcTest", "SmallCacheArray", "Array"]
SmallCacheInner Tests
These may be omitted because the PAll and BAll tests include these
← SmallCacheTestCode.RunOracleTest["SmallCacheInnerTest", "SmallCache", "SmallCacheInner-InitialReads", NIL, SmallCacheLogic.cacheStateValueA]
← SmallCacheTestCode.RunOracleTest["SmallCacheInnerTest", "SmallCache", "SmallCacheInner-Writes", SmallCacheLogic.cacheStateValueA, SmallCacheLogic.cacheStateValueB]
← SmallCacheTestCode.RunOracleTest["SmallCacheInnerTest", "SmallCache", "SmallCacheInner-WriteMisses", SmallCacheLogic.cacheStateValueB, SmallCacheLogic.cacheStateValueC]
← SmallCacheTestCode.RunOracleTest["SmallCacheInnerTest", "SmallCache", "SmallCacheInner-IO", SmallCacheLogic.cacheStateValueC, SmallCacheLogic.cacheStateValueD]
← SmallCacheTestCode.RunOracleTest["SmallCacheInnerTest", "SmallCache", "SmallCacheInner-Misc", SmallCacheLogic.cacheStateValueD, SmallCacheLogic.cacheStateValueE]
← SmallCacheTestCode.RunOracleTest["SmallCacheInnerTest", "SmallCache", "SmallCacheInner-ClrAllVPV", SmallCacheLogic.cacheStateValueE, SmallCacheLogic.cacheStateValueF]
← SmallCacheTestCode.RunOracleTest["SmallCacheInnerTest", "SmallCache", "SmallCacheInner-ReadBlocks", SmallCacheLogic.cacheStateValueA, SmallCacheLogic.cacheStateValueG]
← SmallCacheTestCode.RunOracleTest["SmallCacheInnerTest", "SmallCache", "SmallCacheInner-WriteBlocks", SmallCacheLogic.cacheStateValueG, SmallCacheLogic.cacheStateValueH]
← SmallCacheTestCode.RunOracleTest["SmallCacheInnerTest", "SmallCache", "SmallCacheInner-WriteSingles", SmallCacheLogic.cacheStateValueH, SmallCacheLogic.cacheStateValueI]
← SmallCacheTestCode.RunOracleTest["SmallCacheInnerTest", "SmallCache", "SmallCacheInner-CondWriteSingles", SmallCacheLogic.cacheStateValueI, SmallCacheLogic.cacheStateValueJ]
← SmallCacheTestCode.RunOracleTest["SmallCacheInnerTest", "SmallCache", "SmallCacheInner-IOReads", SmallCacheLogic.cacheStateValueJ, SmallCacheLogic.cacheStateValueK]
← SmallCacheTestCode.RunOracleTest["SmallCacheInnerTest", "SmallCache", "SmallCacheInner-IOWrites", SmallCacheLogic.cacheStateValueK, SmallCacheLogic.cacheStateValueL]
These MUST be run to verify that the inner works (numBitsPerByte=2, numMemLines=4)
← SmallCacheTestCode.RunOracleTest["SmallCacheInnerTest", "SmallCache", "SmallCacheInner-PAll", NIL, SmallCacheLogic.cacheStateValueF]
← MonitorSmallCachePmCode.PrintUnVisitedPaths[MonitorSmallCachePmCodeImpl.handle, 1]
← SmallCacheTestCode.RunOracleTest["SmallCacheInnerTest", "SmallCache", "SmallCacheInner-BAll", NIL, SmallCacheLogic.cacheStateValueL]
← MonitorSmallCachePmCode.PrintUnVisitedPaths[MonitorSmallCachePmCodeImpl.handle, 1]
← SmallCacheTestCode.RunOracleTest["SmallCacheInnerTest", "SmallCache", "SmallCacheInner-Debug", NIL, NIL]
SmallCache Tests
These MUST be run to verify that the outer works
(numBitsPerByte=8, numMemLines=4 and SCParms.SetCellTypeSpecs to all procedures)
MachineState SmallCache-Initializing
← SmallCacheTestCode.RunOracleTest["SmallCacheTest", "SmallCache", "SmallCache-4Cycles",NIL,NIL]
MachineState SmallCache-BAll
← Logic.SetOracleFileName["SmallCacheTest", "SmallCache-BAll"]
← RosemaryUser.StartTest[SmallCacheTestCode.tester]
MachineState SmallCache-Debug
← Logic.SetOracleFileName["SmallCacheTest", "SmallCache-Debug"]
← RosemaryUser.StartTest[SmallCacheTestCode.tester]
MachineState SmallCache-PAll
← Logic.SetOracleFileName["SmallCacheTest", "SmallCache-PAll"]
← RosemaryUser.StartTest[SmallCacheTestCode.tester]
MachineState Done
SCache Tests (SCache is Don's version--the one that will be manufactured)
These tests MUST be run to verify that the outer being submitted works
MachineState SmallCache-Initializing
← SmallCacheTestCode.RunOracleTest["SCacheTest", "SmallCache", "SmallCache-4Cycles",NIL,NIL]
MachineState SmallCache-BAll
← Logic.SetOracleFileName["SCacheTest", "SmallCache-BAll"]
← RosemaryUser.StartTest[SmallCacheTestCode.tester]
MachineState SmallCache-Debug
← Logic.SetOracleFileName["SCacheTest", "SmallCache-Debug"]
← RosemaryUser.StartTest[SmallCacheTestCode.tester]
MachineState SmallCache-PAll
← Logic.SetOracleFileName["SCacheTest", "SmallCache-PAll"]
← RosemaryUser.StartTest[SmallCacheTestCode.tester]
MachineState Done