Dynamic cache loading and verification

A computer program product for verification of a cache memory of a device under test, the computer program product comprising a computer-readable storage medium having computer-readable program code embodied therewith, the computer-readable program code being configured to implement a method comprising:

• executing a cache verification process configured for accessing via an interface to verify the cache memory of the device under test;
• detecting a cache lookup of a target as part of a read request of data by the cache verification process via the interface;
• responsive to the detecting, and prior to performing a cache read-out of the target, overwriting a cache memory of the target with a pre-defined cache read-out result comprising a scenario of interest;
• and
• performing the cache read-out of the target to the cache verification process responsive to the read request, wherein the cache read-out comprises the pre-defined cache read-out result.

A computer system for verification of a cache memory of a device under test, the computer system comprising:

• one or more processors, one or more computer-readable memories, one or more computer-readable tangible storage devices, and program instructions stored on at least one of the one or more storage devices for execution by at least one of the one or more processors via at least one of the one or more memories, wherein the computer system is capable of performing a method comprising:
• executing a cache verification process configured for accessing via an interface to verify the cache memory of the device under test;
• detecting a cache lookup of a target as part of a read request of data by the cache verification process via the interface;
• responsive to the detecting, and prior to performing a cache read-out of the target, overwriting a cache memory of the target with a pre-defined cache read-out result comprising a scenario of interest;
• and
• performing the cache read-out of the target to the cache verification process responsive to the read request, wherein the cache read-out comprises the pre-defined cache read-out result.