Graf, M., & Santos, L. (2021). Shared Memory Verification for Multicore Chip Designs. In Anais do XXXIV Concurso de Teses e Dissertações, (pp. 67-72). Porto Alegre: SBC. doi:10.5753/ctd.2021.15760