Formal analysis of the ACE specification for cache coherent systems-on-chip

5Citations
Citations of this article
9Readers
Mendeley users who have this article in their library.
Get full text

Abstract

System-on-Chip (SoC) architectures integrate now many different components, such as processors, accelerators, memory, and I/O blocks, some but not all of which may have caches. Because the validation effort with simulation-based validation techniques, as currently used in industry, grows exponentially with the complexity of the SoC, we investigate in this paper the use of formal verification techniques. More precisely, we use the CADP toolbox to develop and validate a generic formal model of an SoC compliant with the recent ACE specification proposed by ARM to implement system-level coherency. © Springer-Verlag 2013.

Cite

CITATION STYLE

APA

Kriouile, A., & Serwe, W. (2013). Formal analysis of the ACE specification for cache coherent systems-on-chip. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8187 LNCS, pp. 108–122). https://doi.org/10.1007/978-3-642-41010-9_8

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free