Multi-processor Memory Scoreboard: A Multi-processor Memory Ordering and Data Consistency Checker | IEEE Conference Publication | IEEE Xplore