Graf, Marleson, E 		Santos, Luiz C..
" Shared Memory Verification for Multicore Chip Designs" <em>Anais do Concurso de Teses e Dissertações da SBC (CTD-SBC)</em> [Online], (18 julho 2021)