December 3, 2021

CHICAGO PIXELS

SEMICONDUCTOR RESEARCH CENTER

It would be nice if there were a pre-packaged set of assertions which could formally check all aspects of cache coherence in an SoC. In fact, formal checks do a very nice job for the control aspects of a coherent network. But that covers only one part of the cache coherence verification task. Dataflow checks are just as important, where… Read More

The post Accelerating Cache Coherence Verification appeared first on SemiWiki.