Validating Multi-Processor Cache Coherence Mechanisms under Diminished Observability. - Binod Kumar 001; Atul Kumar Bhosale; Masahiro Fujita; Virendra Singh (ATS, 2019)