 |
TIMA Laboratory | Publications |  |
|
TIMA Laboratory | Publications | |
| Fiche détaillée | Chapitres d'ouvrages scientifiques |
 |
| Advances in Design Methods from Modeling Languages for Embedded Systems and SoC's (Selected Contributions from FDL'09) (2010) 213-226 |
|
|
| ISIS: Runtime Verification of TLM Platforms |
|
|
| L. Ferro1L. Pierre1 |
|
|
|
| The context of this chapiter is the dynamic assertion-based verifications (ABV) of TLM SystemC models. We have developed a methodology for checking temporal properties during the SystemC simulation. The assertions are expressed in the PSL language, including the possibility to use its modeling layer, and the method supports timed as well as untimed TLM descriptions. It is implemented in a prototype tool called ISIS. We describe its principles and technical characteristics, and we report various experimental results. |
|
|
|
|
|
|
|
|
|
| 1 : | TIMA - Techniques of Informatics and Microelectronics for integrated systems Architecture |
|
|
|
|
|
|
|
| assertion-based-verification – PSL – SystemC |
| hal-00518671, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00518671 | |
| oai:hal.archives-ouvertes.fr:hal-00518671 | |
| Contributeur : Lucie Torella | |
| Soumis le : Vendredi 17 Septembre 2010, 14:41:54 | |
| Dernière modification le : Vendredi 17 Septembre 2010, 14:41:54 | |