Formal Analysis of the ACE Specification for Cache Coherent Systems-on-Chip

Abderahman Kriouile 1, * Wendelin Serwe 1
* Auteur correspondant
1 CONVECS - Construction of verified concurrent systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
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.
Type de document :
Communication dans un congrès
Michael Dierkes and Charles Pecheur. FMICS - 18th International Workshop on Formal Methods for Industrial Critical Systems, Sep 2013, Madrid, Spain. Springer, 8187, pp.108-122, 2013, Lecture Notes in Computer Science (LNCS). 〈http://www.springer.com/computer/swe/book/978-3-642-41009-3〉
Liste complète des métadonnées

Littérature citée [21 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00858521
Contributeur : Wendelin Serwe <>
Soumis le : mardi 10 septembre 2013 - 12:25:20
Dernière modification le : mercredi 11 avril 2018 - 01:51:50
Document(s) archivé(s) le : jeudi 12 décembre 2013 - 10:07:17

Fichier

FMICS_2013_final.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00858521, version 1

Citation

Abderahman Kriouile, Wendelin Serwe. Formal Analysis of the ACE Specification for Cache Coherent Systems-on-Chip. Michael Dierkes and Charles Pecheur. FMICS - 18th International Workshop on Formal Methods for Industrial Critical Systems, Sep 2013, Madrid, Spain. Springer, 8187, pp.108-122, 2013, Lecture Notes in Computer Science (LNCS). 〈http://www.springer.com/computer/swe/book/978-3-642-41009-3〉. 〈hal-00858521〉

Partager

Métriques

Consultations de la notice

655

Téléchargements de fichiers

705