Pinapa has been developed by in the context of his PhD Thesis. It is used in the project.
Pinapa
A front-end for SystemC/TLM
Pinapa is a front-end for SystemC/TLM, that allows to combine the information on the architecture of a TLM platform, with the syntax trees of the threads.
View online : Pinapa on sourceforge