 |
|
|
|
| HAL: hal-00311006, version 1 |
| DOI: 10.1109/FMCAD.2006.10 |
| Detailed view |  Export this paper |
|
|
| Formal Methods in Computer Aided Design (FMCAD'06), San Jose : États-Unis (2006) |
|
|
|
|
| Automatic Generation of Schedulings for Improving the Test Coverage of Systems-on-a-Chip |
|
|
Claude Helmstetter 1, 2Florence Maraninchi 1 |
|
|
| (2006-11) |
|
|
|
| SystemC is becoming a de-facto standard for the early simulation of Systems-on-a-chip (SoCs). It is a parallel language with a scheduler. Testing a SoC written in SystemC implies that we execute it, for some well chosen data. We are bound to use a particular deterministic implementation of the scheduler, whose specification is non-deterministic. Consequently, we may fail to discover bugs that would have appeared using another valid implementation of the scheduler. Current methods for testings SoCs concentrate on the generation of the inputs, and do not address this problem at all. We assume that the selection of relevant data is already done, and we generate several schedulings allowed by the scheduler specification. We use dynamic partial-order reduction techniques to avoid the generation of two schedulings that have the same effect on the system's behavior. Exploring alternative schedulings during testing is a way of guaranteeing that the SoC description, and in particular the embedded software, is scheduler-independent, hence more robust. The technique extends to the exploration of other non-fully specified aspects of SoC descriptions, like timing. |
|
|
|
|
|
|
|
|
|
|
|
| 1: | VERIMAG (VERIMAG - IMAG) |
|
|
|
CNRS : UMR5104 – Université Joseph Fourier - Grenoble I – Institut National Polytechnique de Grenoble (INPG) |
|
|
| 2: | Laboratoire Franco-Chinois d'Informatique, d'Automatique et de Mathématiques Appliquées (LIAMA) |
|
|
|
Institute of Automation, Chinese Academy of Sciences – Chinese Academy of Science (CAS) – Institut national de la recherche agronomique (INRA) – INRIA – Centre de coopération internationale en recherche agronomique pour le développement [CIRAD] – CNRS |
|
|
| 3: | STMicroelectronics (Crolles) (ST-CROLLES) |
|
|
|
STMicroelectronics |
|
|
|
|
|
|
|
|
|
| Subject | : | Computer Science/Embedded Systems Computer Science/Modeling and Simulation Computer Science/Programming Languages |
|
|
| SystemC – TLM – scheduling – coverage – partial order reduction – DPOR – test – simulation |
|
|
|
| Attached file list to this document: | |||||
|
|||||
|
|
|
| hal-00311006, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00311006 | |
| oai:hal.archives-ouvertes.fr:hal-00311006 | |
| From: Matthieu Moy | |
| Submitted on: Tuesday, 12 August 2008 14:04:15 | |
| Updated on: Tuesday, 12 August 2008 14:18:25 | |
