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