Team VASY

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

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 http://www-sop.inria.fr/oasis/fiacre ). 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:


previous
next

Logo Inria