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

> Research article (2018 Formal Methods in Computer Aided Design (FMCAD), 2018) · cited 16× · AI/ML

**Wikidata**: [openalex:W2909507673](https://www.wikidata.org/wiki/openalex:W2909507673)  
**Source**: https://4ort.xyz/entity/ila-mcm-integrating-memory-consistency-models-with-instruction-level-abstractions-for-heterogeneous-system-on-chip-verif