Invention Grant
- Patent Title: Efficient validation/verification of coherency and snoop filtering mechanisms in computing systems
-
Application No.: US14994453Application Date: 2016-01-13
-
Publication No.: US09612929B1Publication Date: 2017-04-04
- Inventor: Manoj Dusanapudi , Shakti Kapoor
- Applicant: International Business Machines Corporation
- Applicant Address: US NY Armonk
- Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATION
- Current Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATION
- Current Assignee Address: US NY Armonk
- Agency: Patterson + Sheridan, LLP
- Main IPC: G06F11/00
- IPC: G06F11/00 ; G06F11/263 ; G06F11/22

Abstract:
Embodiments disclose techniques for scheduling test cases without regeneration to verify and validate a computing system. In one embodiment, a testing engine generates a test case for a plurality of processors. Each test case includes streams of instructions. The testing engine also allocates at least one cache line associated with the streams of instructions of the generated test case such that each of the plurality of processors accesses different memory locations within the at least one cache line. The testing engine further schedules the generated test case for execution by the plurality of processors to achieve at least a first test coverage among the plurality of processors. The testing engine further re-schedules the generated test case for re-execution by the plurality of processors to achieve at least a second test coverage among the plurality of processors.
Information query