@inproceedings{MMK10,
title = { A Theoretical and Experimental Review of {SystemC} Front-ends },
author = {Marquet, Kevin and Moy, Matthieu and Karkare, Bageshri},
year = {2010},
booktitle = {Forum for Design Languages (FDL)},
note = {{B}.1.4, {C}.3 {O}pen{TLM} ({P}rojet {M}inalogic)},
team = {SYNC},
hal_id = {hal-00495886},
keywords = {{SystemC}, front-end, compilation, review},
language = {{A}nglais},
affiliation = {{VERIMAG} - {VERIMAG} - {IMAG} - {CNRS} : {UMR}5104 - {U}niversit{\'e} {J}oseph {F}ourier - {G}renoble {I} - {I}nstitut {N}ational {P}olytechnique de {G}renoble - {INPG}},
collaboration = {{O}pen{TLM}},
abstract = {{SystemC} is a widely used tool for prototyping {S}ystems-on-a-{C}hip. Being implemented as a {C}++ library, a plain {C}++ compiler is sufficient to compile and simulate a {SystemC} program. However, a {SystemC} program needs to be processed by a dedicated tool in order to visualize, formally verify, debug and/or optimize the architecture. In this paper we focus on the tools (called front-ends) used in the initial stages of processing {SystemC} programs. We describe the challenges in developing {SystemC} front-ends and present a survey of existing solutions. The limitations and capabilities of these tools are compared for various features of {SystemC} and intended back-end applications. We present typical examples that front-ends should ideally be able to process, and give theoretical limitations as well as experimental results of existing tools.},
}
