Test Coverage for Loose Timing Annotations

Abstract : The design flow of systems-on-a-chip (SoCs) identifies several abstraction levels higher than the Register-Transfer-Level that constitutes the input of the synthesis tools. These levels are called transactional, because systems are described as asynchronous parallel activities communicating by transactions. The most abstract transactional model is purely functional. The following model in the design flow is annotated with some timing information on the duration of the main components, that serves for performance evaluation. The timing annotations are included as special wait instructions, but since the timing information is imprecise, it should not result in additional synchronizations. We would like the functional properties of the system to be independent of the precise timing. In previous work [1], we showed how to adapt dynamic partial order reduction techniques to functional models of SoCs written in SystemC, in order to guarantee that functional properties are schedulerindependent. In this paper, we extend this work to timed systems with bounded delays, in order to guarantee timing-independence. The idea is to generate a set of executions that covers small variations of the timing annotations.
Type de document :
Communication dans un congrès
Formal Methods for Industrial Critical Systems (FMICS), Aug 2006, Bonn, Germany. 2006
Liste complète des métadonnées

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

Contributeur : Claude Helmstetter <>
Soumis le : mercredi 7 janvier 2009 - 18:19:08
Dernière modification le : vendredi 6 juillet 2018 - 10:08:02
Document(s) archivé(s) le : mardi 8 juin 2010 - 16:56:33


Fichiers produits par l'(les) auteur(s)


  • HAL Id : inria-00350936, version 1



Claude Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz. Test Coverage for Loose Timing Annotations. Formal Methods for Industrial Critical Systems (FMICS), Aug 2006, Bonn, Germany. 2006. 〈inria-00350936〉



Consultations de la notice


Téléchargements de fichiers