Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

SystemC/TLM Semantics for Heterogeneous System-on-Chip Validation

Florence Maraninchi 1, * Matthieu Moy 1 Jérôme Cornet 1, 2 Laurent Maillet-Contoz 3 Claude Helmstetter 1, 4, 5 Claus Traulsen 6 
* Auteur correspondant
1 VERIMAG - IMAG - VERIMAG
2 ST-GRENOBLE - STMicroelectronics [Grenoble]
3 ST-CROLLES - STMicroelectronics [Crolles]
4 LIAMA - Laboratoire Franco-Chinois d'Informatique, d'Automatique et de Mathématiques Appliquées
5 FORMES - Formal Methods for Embedded Systems
LIAMA - Laboratoire Franco-Chinois d'Informatique, d'Automatique et de Mathématiques Appliquées, Inria Paris-Rocquencourt
6 Informatic Kiel University
Abstract : SystemC has become a de facto standard for the system-level description of systems-on-a-chip. SystemC/TLM is a library dedicated to transaction level modeling. It allows to define a virtual prototype of a hardware platform, on which the embedded software can be tested. Applying formal validation techniques to SystemC descriptions of SoCs requires that the semantics of the language be formalized. The model of time and concurrency underlying the SystemC definition is intermediate between pure synchrony and pure asynchrony. We list the available solutions for the semantics of SystemC/TLM, and explain how to connect SystemC to existing formal validation tools.
Keywords : model-checking SystemC TLM lustre spin promela semantics verification model SoC System-on-a-Chip
Type de document :
Communication dans un congrès
Liste complète des métadonnées
https://hal.archives-ouvertes.fr/hal-00311011
Contributeur : Matthieu Moy Connectez-vous pour contacter le contributeur
Soumis le : mardi 12 août 2008 - 13:04:54
Dernière modification le : jeudi 3 février 2022 - 11:14:34
Archivage à long terme le : : vendredi 5 octobre 2012 - 11:42:43

Fichier

Vignette du document
paper.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00311011, version 1
  • PRODINRA : 250084

Collections

CIRAD | UGA | IMAG | CNRS | INRIA | INRA | LIAMA | VERIMAG | INRIA2 | TDS-MACS | INRAE

Citation

Florence Maraninchi, Matthieu Moy, Jérôme Cornet, Laurent Maillet-Contoz, Claude Helmstetter, et al.. SystemC/TLM Semantics for Heterogeneous System-on-Chip Validation. 2008 Joint IEEE-NEWCAS and TAISA Conference, Jun 2008, Montréal, Canada. ⟨hal-00311011⟩

Exporter

BibTeX TEI DC DCterms EndNote Datacite

Partager

Métriques

Consultations de la notice

648

Téléchargements de fichiers

313