Biruk Mammo, Jim Larimer, Matthew Morgan, Dave Fan, Eric Hennenhoefer, Valeria Bertacco. Architectural Trace-Based Functional Coverage for Multiprocessor Verification. In 13th International Workshop on Microprocessor Test and Verification, MTV 2012, Austin, TX, USA, December 10-13, 2012. pages 1-5, IEEE Computer Society, 2012. [doi]
Abstract is missing.