Detectors for validating the cache

Abstract

The invention relates to a detector for verifying a cache, comprising: an information acquisition module: used to obtain peripheral interface information from all peripheral interfaces of the cache to be verified, the peripheral interface information includes request information, and process the request in the cache to be verified In the information process, the corresponding tag update information is obtained at the tag update point of the tag module interface of the cache to be verified, and the interface information and the corresponding tag update information are sent to the prediction module; tag array: used to store tag verification information; Prediction module: used to update the tag verification information in the tag array based on the interface information and the corresponding tag update information; it is also used to update the tag verification information in the tag array when the cache to be verified is processing the request information. Obtain the current tag information in the cache to be verified from the tag module interface, and compare it with the current tag verification information one by one. If they are inconsistent, generate the first warning information. The invention improves the accuracy and efficiency of cache verification.

Description

technical field [0001] The present invention relates to the field of chip technology, in particular to a detector for verifying cache. Background technique [0002] In the chip design process, the chip design needs to be verified, and the cache (cache) is an important part and an important module that needs to be verified. In the prior art, information is usually obtained from a peripheral interface (interface) of the cache, target data is predicted, and the correctness of the cache is verified by comparing with the target data actually obtained from the cache. However, the cache contains a lot of logic, and it is not accurate enough to verify the cache only from the accuracy of the last fetched data. [0003] For example, when a request obtains the target data through the cache, the target data is not actually queried in the cache during the execution of the cache, but is obtained from the external memory, and the result of the detection and prediction should be obtained d...

AI Technical Summary

Problems solved by technology

However, the cache contains a lot of logic, and it is not accurate enough to verify the cache only from the accuracy of the last obtained data

[0003] For example, when a request obtains the target data through the cache, the target data is not queried in the cache during the cache execution process, but obtained from the external memory, and the detection and prediction results should be obtained directly in the cache Yes, there should be no misses, but the target data obtained in the end is consistent with the predicted target data. Obviously, there is no problem with the cache, resulting in poor cache verification accuracy.

In addition, even if there is a problem in verifying the cache in the existing technology, it is usually necessary to go back to multiple clocks to find the problem, resulting in low cache verification efficiency

Images