ILA-MCM: Integrating Memory Consistency Models with Instruction-Level Abstractions for Heterogeneous System-on-Chip Verification

Hongce Zhang, Caroline Trippel, Yatin A. Manerkar, Aarti Gupta, Margaret Rose Martonosi, Sharad Malik

Research output: Chapter in Book/Report/Conference proceedingConference contribution

10 Scopus citations

Fingerprint

Dive into the research topics of 'ILA-MCM: Integrating Memory Consistency Models with Instruction-Level Abstractions for Heterogeneous System-on-Chip Verification'. Together they form a unique fingerprint.

Keyphrases

Computer Science