M. Graf and L. Santos. "Shared Memory Verification for Multicore Chip Designs", in Anais do XXXIV Concurso de Teses e DissertaƧƵes, Evento Online, 2021, pp. 67-72, doi: https://doi.org/10.5753/ctd.2021.15760.