Verification of chip multiprocessor memory systems using a relaxed scoreboard | IEEE Conference Publication | IEEE Xplore