title = { {LusSy}: an open Tool for the Analysis of Systems-on-a-Chip at the Transaction Level },
    author = {Moy, Matthieu and Maraninchi, Florence and Maillet-Contoz, Laurent},
    year = {2006},
    note = {special issue on {SystemC}-based systems},
    journal = {Design Automation for Embedded Systems},
    team = {SYNC},
    abstract = {We describe a toolbox for the analysis of Systems-on-a-chip written in {SystemC} at the transaction level. The tool is 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.},


Publication Sections

Contact | Site Map | Site powered by SPIP 3.0.25 + AHUNTSIC [CC License]

info visites 776362