This invention relates to the field of
system-on-
chip (SoC) testing technology, specifically to a dynamic
verification method for SoC chips based on a memory
consistency model. The method includes collecting memory access data entering the
cache controller and generating feature vectors; classifying the feature vectors using a
decision tree to filter out risky memory data; expanding test cases based on the risky memory data to obtain test cases; testing the SoC
chip based on the test cases; and iterating the
decision tree model based on the test results. Addressing the problem that existing SoC
verification test cases are ineffective against dynamically changing memory read / write patterns, this invention introduces a hardware monitoring unit into the
cache controller to directly capture memory read / write data appearing in the cache. A
decision tree model is then used to filter out risky memory data that may cause failures. Based on this, test cases are constructed and expanded to facilitate testing of the SoC's memory read / write mechanism, and the
decision tree model is improved to obtain more test cases.