Executable Formal Specification and Validation of NoC Communication Infrastructures - CNRS - Centre national de la recherche scientifique Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

Executable Formal Specification and Validation of NoC Communication Infrastructures

Résumé

We describe an enhanced generic model for Networks-on-Chip (NoCs), implemented in the executable logic of the ACL2 theorem prover. The model is meant for serving as a formal reference for the specification, validation, and simulation at the initial design phase. Instantiated on a specific NoC, the model may be used for formal proofs and for simulation. The methodology is illustrated on HERMES.
Fichier non déposé

Dates et versions

hal-00334035 , version 1 (24-10-2008)

Identifiants

Citer

D. Borrione, A. Helmy, Laurence Pierre, J. Schmaltz. Executable Formal Specification and Validation of NoC Communication Infrastructures. 21st Symposium on Integrated Circuits and Systems Design (SBCCI'08), Sep 2008, Gramado, Brazil. pp.176-181, ⟨10.1145/1404371.1404421⟩. ⟨hal-00334035⟩

Collections

UGA CNRS TIMA
47 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More