Dynamic cache loading and verification
The present disclosure relates to a computer implemented method for verification of a cache memory of a device under test. The method comprises executing a cache verification process configured for accessing via an interface and verifying the cache memory of the device under test. Cache accesses to the cache memory of the device under test by the cache verification process via the interface are monitored. A cache access by the cache verification process via the interface is detected. In response to the detecting of the cache access a target of the detected cache access is determined and the cache memory is modified for providing a pre-defined cache read-out result for the detected cache access. Via the interface the pre-defined cache read-out result is returned to the cache verification process in response to the detected cache access.
1 . A computer-implemented method for verification of a cache memory of a device under test, the 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.
2 . The method of claim 1 , wherein the overwriting of the cache memory further comprises:
modifying a data content of the cache memory, which is determined to be the target of the detected cache lookup.
3 . The method of claim 1 , wherein the overwriting of the cache memory further comprises:
generating a data content of the cache memory, which is determined to be the target of the detected cache lookup.
4 . The method of claim 1 , wherein the overwriting of the cache memory further comprises:
modifying a state assigned to the target of the detected cache lookup.
5 . The method of claim 4 , wherein the overwriting of the cache memory further comprises:
modifying the state responsive to identifying that a cache access of the target would cause a cache miss.
6 . The method of claim 5 , wherein the result of a modified state resulting from the modifying of the state of the target of the detected cache lookup is selected from the group consisting of valid, dirty, speculation, and coherency.
7 . The method of claim 4 , wherein the overwriting of the cache memory further comprises:
modifying one or more of a least recently used state of the target of the detected cache lookup, and a most recently used state of the target of the detected cache lookup.
8 . The method of claim 1 , wherein the overwriting of the cache memory further comprises:
modifying a memory reference model of the cache memory of the device under test.
9 . The method of claim 8 , wherein the modifying of the memory reference model comprises extending a pre-defined memory reference model.
10 . The method of claim 1 , wherein the cache memory of the device under test being provided using at least one of a software simulation module configured for simulating the cache memory of the device under test; or a hardware device under test comprising the cache memory.
11 . The method of claim 1 , further comprising:
checking the pre-defined cache read-out result by the cache verification process; and
depending on a result of the checking, generating at least one of a verification pass signal, or a verification failure signal.
12 . 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.
13 . The computer program product of claim 12 , wherein the overwriting of the cache memory further comprises:
modifying a data content of the cache memory, which is determined to be the target of the detected cache lookup.
14 . The computer program product of claim 12 , wherein the overwriting of the cache memory further comprises:
generating a data content of the cache memory, which is determined to be the target of the detected cache lookup.
15 . The computer program product of claim 12 , wherein the overwriting of the cache memory further comprises:
modifying a state assigned to the target of the detected cache lookup.
16 . The computer program product of claim 15 , wherein the overwriting of the cache memory further comprises modifying the state responsive to identifying that a cache access of the target would cause a cache miss.
17 . The computer program product of claim 15 , wherein the overwriting of the cache memory further comprises:
modifying one or more of a least recently used state of the target of the detected cache lookup, and a most recently used state of the target of the detected cache lookup.
18 . The computer program product of claim 12 , wherein the overwriting of the cache memory further comprises:
modifying a memory reference model of the cache memory of the device under test.
19 . 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.
20 . The computer system of claim 19 , wherein the overwriting of the cache memory further comprises:
modifying a data content of the cache memory, which is determined to be the target of the detected cache lookup.
21 . The computer system of claim 19 , wherein the overwriting of the cache memory further comprises:
generating a data content of the cache memory, which is determined to be the target of the detected cache lookup.
22 . The computer system of claim 19 , wherein the overwriting of the cache memory further comprises:
modifying a state assigned to the target of the detected cache lookup.
23 . The computer system of claim 22 , wherein the overwriting of the cache memory further comprises:
modifying the state responsive to identifying that a cache access of the target would cause a cache miss.
24 . The computer system of claim 22 , wherein the overwriting of the cache memory further comprises:
modifying one or more of a least recently used state of the target of the detected cache lookup, and a most recently used state of the target of the detected cache lookup.
25 . The computer system of claim 19 , wherein the overwriting of the cache memory further comprises:
modifying a memory reference model of the cache memory of the device under test.