Spec&Check: An Approach to the Building of Shared-Memory Runtime Checkers for Multicore Chip Design Verification. - Marleson Graf; Olav P. Henschel; Rafael P. Alevato; Luiz C. V. dos Santos (ICCAD, 2019)