Architectural Trace-Based Functional Coverage for Multiprocessor Verification. - Biruk Mammo; Jim Larimer; Matthew Morgan; Dave Fan; Eric Hennenhoefer; Valeria Bertacco (MTV, 2012)