Section: Contracts and Grants with Industry
Pôle de compétitivité Minalogic: OpenTLM
In the context of the pôle de compétitivité Minalogic, we participate in the four-year project OpenTLM on analysis of systems-on-chip modeled at the transaction level in SystemC  . We intend to develop methods for abstraction, and interprocedural and compositional analysis of SystemC models. Preliminary results have been obtained, see Section 6.4.3 . Two PhD students have been hired on these topics, resp. in April and May 2008.