Graf, M., & 		Santos, L.
2021 jul 18.  Shared Memory Verification for Multicore Chip Designs. Anais do Concurso de Teses e Dissertações da SBC (CTD-SBC). [Online] :