Checking the correctness of memories | IEEE Conference Publication | IEEE Xplore