Home > Research > 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

Thursday 28 April 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.

Attached documents

  • Slides

    28 April 2011
    info document : PDF
    1.3 Mb

Valid XHTML 1.0 Transitional
SPIP | | Site Map | Follow site activity RSS 2.0
Graphic design (c) styleshout under License Creative Commons Attribution 2.5 License