Accueil > Recherche > Exposés > PinaVM and Tweto : Compilation and Optimization Techniques for (...)

PinaVM and Tweto : Compilation and Optimization Techniques for SystemC

Presented at "Journées Compilation à Dinard", April 2011

jeudi 28 avril 2011

SystemC is the industry-standard tool for high-level modeling of System-on-Chips. It provides a simulation kernel to model the parallelism of the chip, a notion of components and communication primitives. SystemC is implemented as a C++ library, which means a SystemC program can be compiled with a plain C++ compiler.

However, we show in this talk that plain C++ compilers lack information about the program. SystemC-specific compilation techniques, combining knowledge of the static part of the program with the dynamically-created architecture, allow interesting applications like formal verification and SystemC-specific optimizations.

This talk presents a front-end, PinaVM, able to extract all this information, and one back-end, Tweto, that extends a JIT-compiler with a SystemC-specific optimizer.

Documents joints

  • Slides

    28 avril 2011
    info document : PDF
    1.3 Mo

Valid XHTML 1.0 Transitional
SPIP | | Plan du site | Suivre la vie du site RSS 2.0
Habillage visuel © styleshout sous Licence Creative Commons Attribution 2.5 License