Verimag

bibtex

@inproceedings{MMM05c,
    title = { {LusSy}: A Toolbox for the Analysis of Systems-on-a-Chip at the Transactional Level },
    author = {Moy, Matthieu and Maraninchi, Florence and Maillet-Contoz, Laurent},
    month = {June},
    year = {2005},
    booktitle = {International Conference on Application of Concurrency to System Design},
    pages = {26--35},
    team = {SYNC},
    abstract = {We describe a toolbox for the analysis of Systems-on-a-chip described in {SystemC} at the transactional level. The tools are able to extract information from {SystemC} code, and to build a set of parallel automata that capture the semantics of a {SystemC} design, including the transaction-level specific constructs. As far as we know, this provides the first executable formal semantics of {SystemC}. Being implemented as a traditional compiler front-end, it is able to deal with general {SystemC} designs. The intermediate representation is now connected to existing formal verification tools via appropriate encodings. The toolbox is open and other tools will be used in the future. },
}

URL

Publication Sections


Contact | Site Map | Site created with SPIP 2.1.26 + AHUNTSIC [CC License]

Logged in visitors: 15 ; visits: 393593