DocumentCode
511925
Title
ISIS: Runtime verification of TLM platforms
Author
Ferro, Luca ; Pierre, Laurence
Author_Institution
TIMA Lab., CNRS-GrenobleINP-UJF, Grenoble, France
fYear
2009
fDate
22-24 Sept. 2009
Firstpage
1
Lastpage
6
Abstract
The context of this paper is the dynamic assertion-based verification (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.
Keywords
C++ language; circuit CAD; ISIS; PSL language; TLM SystemC models; TLM platforms; dynamic assertion-based verification; runtime verification; temporal properties; untimed TLM descriptions; Clocks; Context modeling; Hardware design languages; Intersymbol interference; Laboratories; Libraries; Logic; Prototypes; Runtime; System-on-a-chip;
fLanguage
English
Publisher
ieee
Conference_Titel
Specification & Design Languages, 2009. FDL 2009. Forum on
Conference_Location
Sophia Antipolis
ISSN
1636-9874
Electronic_ISBN
1636-9874
Type
conf
Filename
5404067
Link To Document