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

Abstract : 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.
Complete list of metadatas

Cited literature [34 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00429058
Contributor : Claude Helmstetter <>
Submitted on : Friday, February 19, 2010 - 2:44:14 PM
Last modification on : Friday, October 25, 2019 - 2:00:54 AM
Long-term archiving on : Tuesday, October 16, 2012 - 1:01:29 PM

File

CH_FM_LMC-FMSD-SCRV.pdf
Files produced by the author(s)

Identifiers

Citation

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, Springer Verlag, 2009, 35 (Number 2 / October, 2009), p. 152-189. ⟨10.1007/s10703-009-0075-z⟩. ⟨hal-00429058⟩

Share

Metrics

Record views

843

Files downloads

256