GRAF, Marleson; SANTOS, Luiz C. V. dos. Shared Memory Verification for Multicore Chip Designs. In: CONCURSO DE TESES E DISSERTAÇÕES (CTD), 34. , 2021, Evento Online. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2021 . p. 67-72. ISSN 2763-8820. DOI: https://doi.org/10.5753/ctd.2021.15760.