<> <> <> <<>> _ 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];>> <> <> <<_ 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"]>> <> _ SmallCacheTestCode.RunOracleTest["ArraySchematicTest", "SmallCacheArray", "Array"] _ SmallCacheTestCode.RunOracleTest["ArrayProcTest", "SmallCacheArray", "Array"] <> <> <<_ 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]>> <> <<_ 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]>> <<>> <> <> <> <<_ SmallCacheTestCode.RunOracleTest["SmallCacheTest", "SmallCache", "SmallCache-4Cycles",NIL,NIL]>> <<>> <> <<_ Logic.SetOracleFileName["SmallCacheTest", "SmallCache-BAll"]>> <<_ RosemaryUser.StartTest[SmallCacheTestCode.tester]>> <<>> <> <<_ Logic.SetOracleFileName["SmallCacheTest", "SmallCache-Debug"]>> <<_ RosemaryUser.StartTest[SmallCacheTestCode.tester]>> <<>> <> <<_ Logic.SetOracleFileName["SmallCacheTest", "SmallCache-PAll"]>> <<_ RosemaryUser.StartTest[SmallCacheTestCode.tester]>> <<>> <> <<>> <> <> <> <<_ SmallCacheTestCode.RunOracleTest["SCacheTest", "SmallCache", "SmallCache-4Cycles",NIL,NIL]>> <<>> <> <<_ Logic.SetOracleFileName["SCacheTest", "SmallCache-BAll"]>> <<_ RosemaryUser.StartTest[SmallCacheTestCode.tester]>> <<>> <> <<_ Logic.SetOracleFileName["SCacheTest", "SmallCache-Debug"]>> <<_ RosemaryUser.StartTest[SmallCacheTestCode.tester]>> <<>> <> <<_ Logic.SetOracleFileName["SCacheTest", "SmallCache-PAll"]>> <<_ RosemaryUser.StartTest[SmallCacheTestCode.tester]>> <<>> <>