Marleson Graf and Luiz C. Santos. 2021. Shared Memory Verification for Multicore Chip Designs. In Anais do XXXIV Concurso de Teses e DissertaƧƵes, julho 18, 2021, Evento Online, Brasil. SBC, Porto Alegre, Brasil, 67-72. DOI: https://doi.org/10.5753/ctd.2021.15760.