EXTENDED CACHE COHERENCE PROTOCOL-BASED MULTI-LEVEL COHERENCE DOMAIN SIMULATION VERIFICATION AND TEST METHOD

摘要

The present invention provides extended Cache Coherence protocol-based multi-level coherence domain simulation verification and a test method. An extended Cache Coherence protocol-based multi-level coherence domain CC-NUMA system protocol simulation model is constructed, and an execution mechanism for protocol table query in a system key node and state conversion is invented, ensuring that the Cache Coherence protocol is maintained in a single computing domain, and the Cache Coherence protocol is also concurrently maintained among multiple computing domains, and ensuring accuracy and stability in transmission in a domain or between domains. A creditable verification method that drives protocol entry conversion coverage rate evaluation is provided. By loading an optimized transaction generator to push the model to process a transaction, the method obtains a coverage rate index when an operation ends, which improves verification efficiency compared with a random transaction push mechanism. Applicability and effectiveness of the method is further confirmed by constructing a multi-processor multi-coherence domain verification system model and carrying out related simulation verification.