Software simulation verification method based on Cache coherence protocol

Abstract

The invention provides a software simulation verification method based on a Cache coherence protocol. According to the method, pseudo random test which is capable of compiling constraint models and also carrying out band constraint in a manual mode is subject to software simulation and verification; specific objects are verified, and the accuracy and defect of the protocols are fed back. The method based on software simulation comprises the following steps of: firstly determining a multi-stage coherence description mode based on an expanded Cache Coherence protocol; and subsequently realizing the software simulation verification method, counting the coverage rate and carrying out error report. With the adoption of the method, the Cache Coherence protocol in multi-stage domains in a multi-state space can be verified effectively so as to enable a protocol table to realize the establishment of corresponding logic relationship, judge whether the state transition of a system in accordance with the protocol table accords with the coherence definition through an overall checker, and primarily judge whether a mode established in accordance with the protocol table has expected properties. The model system has the remarkable advantages that counter-examples can be generated automatically so as to assist in debugging errors of the system and accelerating system diagnosis and debugging.

Description

technical field [0001] The invention relates to the technical field of computer applications, in particular to a software simulation verification method for a Cache consistency protocol. Background technique [0002] Cache-coherent distributed shared memory multiprocessor system is an important system structure at present. At present, the processor is directly connected to the memory and supports the Cache coherence protocol itself. Therefore, when building a multi-processor system, these processors are usually directly connected, and the consistency between the processors is maintained by their own protocol to form a single Cache coherency domain. However, due to the limitations of protocol specifications, link ports, etc., the scale of such a single-domain multiprocessor system is usually limited. In order to realize a large-scale CC-NUMA multiprocessor system, it is necessary to expand the coherence domain space with the help of the node controller NC (Node Controller)....

AI Technical Summary

Problems solved by technology

However, due to the limitations of protocol specifications, link ports, etc., the scale of such a single-domain multiprocessor system is usually limited.

Images