@dblp

A mechanism to verify cache coherence transactions in multicore systems.

, , and . DFT, page 211-216. IEEE Computer Society, (2012)

Links and resources

Tags