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/EMSOC

In the context of the pôle de compétitivité EMSOC/Minalogic, we participate in the four-year project OpenTLM on analysis of systems-on-chip modeled at the transaction level in SystemC [59] . We intend to develop methods for abstraction, and interprocedural and compositional analysis of SystemC models. Two PhD students will be hired on these topics.


previous
next

Logo Inria