一种带偏置的基于相关性分析的Cache一致性协议验证方法

Cache一致性协议作为CC-NUMA系统的硬件基础,在CC-NUMA系统的设计过程中占有举足轻重的地位。对于复杂的CC-NUMA系统,由于其Cache一致性协议十分复杂,通常难以进行形式化验证,而常规的伪随机模拟又存在验证效率低下的问题。本文提出了一种对复杂CC-NUMA系统中Cache一致性协议进行模拟验证的方法。该方法通过对验证覆盖目标进行相关性分析,使用偏置技术对传统伪随机模拟验证方法进行了改进。实际验证结果表明,改进后的方法使得模拟验证覆盖率的增长速率有了明显提高。

A Biased Correlation Analysis Based Verification Method for Cache Coherence Protocol

As the hardware foundation of the CC-NUMA (Cache Coherency Non-Uniform Memory Access) system, cache coherence protocol plays a vital role in the system design process. For complex CC-NUMA systems, it is difficult to perform formal verification to the cache coherence protocol because of its great complexity, and the traditional pseudo-random simulation verification also has the problem of inefficiency. This paper presents a simulation based cache coherence protocol verification method which used in the complex CC-NUMA system. The method performs correlation analysis in verification coverage objectives, and use biasing improves the traditional pseudo-random simulation verification method. The actual verification results show that the method markedly improves the verification coverage increase speed.