Graf, M., & 		Santos, L.
2021 Jul 18.  Shared Memory Verification for Multicore Chip Designs. Proceedings of the Thesis and Dissertation Contest (CTD). [Online] :