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  . We intend to develop methods for abstraction, and interprocedural and compositional analysis of SystemC models. Two PhD students will be hired on these topics.