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