Pinapa: An extraction tool for systemc descriptions of systems-on-a-chip

Matthieu Moy (1) , Florence Maraninchi (1) , Laurent Maillet-Contoz (2)

1 VERIMAG - IMAG - VERIMAG
2 ST-CROLLES - STMicroelectronics [Crolles]

SystemC is becoming a de-facto standard for the description of complex systems-on-a-chip. It enables system-level descriptions of SoCs: the same language is used for the description of the architecture, software and hardware parts. A tool like pinapa is compulsory to work on realistic SoCs designs for anything else than simulation: it is able to extract both architecture and behavior information from SystemC code, with very few limitations. pinapa can be used as a front-end for various analysis tools, ranging from “superlint” to model-checking. It is open source and available from http://greensocs.sourceforge.net/pinapa/. There exists no equivalent tool for SystemC up to now.

Mots clés: SystemC; front-end; parser; pinapa; tlm; transaction-level modeling

Domaines: Systèmes embarqués; Informatique et langage [cs.CL]; Architectures Matérielles [cs.AR]

Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz. Pinapa: An extraction tool for systemc descriptions of systems-on-a-chip. ACM international conference on Embedded software, Jun 2005, New-York, United States. pp.317 - 324, ⟨10.1145/1086228.1086286⟩. ⟨hal-00198669⟩