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

摘要

An extension Cache Coherence protocol-based multi-level coherency domain simulation verification and test method. An extension Cache Coherence protocol-based multi-level coherency domain CC-NUMA (Cache Coherent Non-Uniform Memory Access) system protocol simulation model is built, a protocol table inquiring and state converting executing mechanism in a key node of a system ensures that a Cache Coherence protocol is maintained in a single computing domain and is simultaneously maintained among a plurality of computing domains, and accuracy and stability of intra-domain and inter-domain transmission are ensured; a credible protocol inlet conversion coverage rate evaluation driven verification method is provided, transactions are processed by loading an optimized transaction generator push model, a coverage rate index is obtained after the operation is ended, and the verification efficiency is increased in comparison with a random transaction promoting mechanism. Through building a multi-processor multi-level coherency domain verification system model and performing relevant simulation verification, the applicability and the effectiveness of the method are further confirmed.