Automatic generation of memory consistency tests for chip multiprocessing. - Eberle A. Rambo; Olav P. Henschel; Luiz C. V. dos Santos (ICECS, 2011)

On ESL verification of memory consistency for system-on-chip multiprocessing. - Eberle A. Rambo; Olav P. Henschel; Luiz C. V. dos Santos (DATE, 2012)

Pre-silicon verification of multiprocessor SoCs: The case for on-the-fly coherence/consistency checking. - Olav P. Henschel; Luiz C. V. dos Santos (ICECS, 2013)

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)