Why is cache coherency so hard to verify?
Mike BARTLEY
SVP at Tessolve Semiconductors Part-time Consultant for Alpinum Consulting and Training
Cache Coherency is a graph-based scenario model designed to generate cache-related test cases. These test cases can be generated to run on any verification platform, from simulation to silicon. This article from EDA Café describes why cache coherency is so hard to verify and why an automated approach is the best solution.
Read More
Learn more about how T&VS helps you to verify Cache Coherency