Verimag

bibtex

@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.},
}

URL

Publication Sections


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

info visites 912503