Automated Generation of Directed Tests for Transition Coverage in Cache Coherence Protocols

Download Now
Provided by: European Design and Automation Association
Topic: Hardware
Format: PDF
Processors with multiple cores and complex cache coherence protocols are widely employed to improve the overall performance. It is a major challenge to verify the correctness of a cache coherence protocol since the number of reachable states grows exponentially with the number of cores. In this paper, the authors propose an efficient test generation technique, which can be used to achieve full state and transition coverage in simulation based verification for a wide variety of cache coherence protocols. Based on effective analysis of the state space structure, their method can generate more efficient test sequences (50% shorter) compared with tests generated by breadth first search.
Download Now

Find By Topic