Full simulation coverage for SystemC transaction-level models of systems-on-a-chip - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Formal Methods in System Design Année : 2009

Full simulation coverage for SystemC transaction-level models of systems-on-a-chip

Florence Maraninchi
Laurent Maillet-Contoz
  • Fonction : Auteur
  • PersonId : 845441

Résumé

Transaction-Level Models (TLM) are used for the early validation of embedded software. A TL model is a virtual prototype of the hardware part of a System-on-a-Chip (SoC). When using SystemC for transaction level modeling, the main parallel entities of the hardware platform (processors, DMAs, bus arbiters, etc.) are modeled by asynchronous processes, which are scheduled at simulation time. The specification of this scheduling mechanism is non-deterministic; the set of all possible schedulings of the parallel activities represents the physical parallelism faithfully. Moreover TL models may contain loose timing annotations (intervals for instance), and the set of all possible values of time in these intervals is also meant to represent the hardware behaviors faithfully. However, any simulation engine is built on a deterministic scheduler, and at runtime will use specific values in the time intervals. This means that only a very small subset of all the possible schedulings and timings are exhibited during simulation. Some bugs may be missed if they are due to some behaviors of the hardware that are represented by other schedulings or timings. For a given finite test scenario, the set of valid schedulings and timings of a model is finite, but far too large to be explored fully. We present a solution to cover the set of schedulings and timings efficiently. Our solution is based on dynamic partial order reduction and constraint solving techniques. It gives a complete scheduling and timing set, which guarantees the detection of all local errors and deadlocks for a fixed test scenario.
Fichier principal
Vignette du fichier
CH_FM_LMC-FMSD-SCRV.pdf (459.63 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00429058 , version 1 (19-02-2010)

Identifiants

Citer

Claude Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz. Full simulation coverage for SystemC transaction-level models of systems-on-a-chip. Formal Methods in System Design, 2009, 35 (Number 2 / October, 2009), p. 152-189. ⟨10.1007/s10703-009-0075-z⟩. ⟨hal-00429058⟩
394 Consultations
229 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More