Shared Memory Verification for Multicore Chip Designs - MARLESON GRAF (2020)