Overall Objectives
Application Domains
New Results
Contracts and Grants with Industry
Other Grants and Activities

Section: Other Grants and Activities

National Collaborations

The Vasy team plays an active role in the joint research center launched in 2004 between Inria Rhône-Alpes and the Leti laboratory of Cea -Grenoble. In co-operation with Leti scientists (Edith Beigné, François Bertrand, Fabien Clermidy, Yvain Thonnart, and Pascal Vivet), Vasy develops software tools for the design of asynchronous circuits and architectures such as Gals ( Globally Asynchronous Locally Synchronous ), NoC s ( Networks on Chip ), and SoC s ( Systems on Chip ). The Tima laboratory (Dominique Borrione and Marc Renaudin) also contributes to this research action. In 2005, our work focused on a translator that connects the verification tools developed by Vasy to the hardware synthesis tools developed by Tima (see §  6.2.3 ).

Together with the Oasis team of Inria Sophia-Antipolis (Tomas Barros and Eric Madelaine), the Ltci team of Enst -Paris (Hamid Irfan, Elie Najm, and Sylvie Vignes), the Svf team of the Laas/Cnrs laboratory (Bernard Berthomieu and François Vernadat), and the Mvr team of Irit (Mamoun Filali), Vasy is part of the national action Fiacre Aci Sécurité Informatique started in 2004 (see ). In 2005, we investigated semantic interconnections between the Cadp toolbox and the tools developed by the other Fiacre partners.

Additionally, we collaborated in 2005 with several Inria teams:

Beyond Inria , we had sustained scientific relations with the following teams:


Logo Inria