Graf, Marleson, and Luiz C. V. dos Santos. "Shared Memory Verification for Multicore Chip Designs." Anais do XXXIV Concurso de Teses e DissertaƧƵes, Evento Online, 2021. SBC, 2021, pp.67-72.