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  [53] . We intend to develop methods for abstraction, and interprocedural and compositional analysis of SystemC models. Interesting results have been obtained regarding (see Section  6.3.3 ). One PhD student and one engineer have been hired on this topics, resp. in April and May 2008.