M. Graf and L. Santos.
" Shared Memory Verification for Multicore Chip Designs", in <em>Proceedings of the 34th Thesis and Dissertation Contest</em>, Evento Online, 2021, pp. 67-72, doi: <a href="https://doi.org/10.5753/ctd.2021.15760">https://doi.org/10.5753/ctd.2021.15760</a>.