Binod Kumar 0001, Swapniel Thakur, Kanad Basu, Masahiro Fujita, Virendra Singh. A Low Overhead Methodology for Validating Memory Consistency Models in Chip Multiprocessors. In 33rd International Conference on VLSI Design and 19th International Conference on Embedded Systems, VLSID 2020, Bangalore, India, January 4-8, 2020. pages 101-106, IEEE, 2020. [doi]
Abstract is missing.