Team Pop Art

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography

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  [62] . 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.


previous
next

Logo Inria