Project VAL-AMS

VAL-AMS
High-confidence validation of analog and mixed-signal circuits

People

Laboratory VERIMAG Thao Dang (Chercheur CNRS) Goran Frehse (Maître de conférence UJF) Oded Maler (Directeur de recherche CNRS) Noa Shalev (Ingenieur) Tarik Nahhal (Doctorant)
Laboratory Jean Kuntzman LJK (previously LMC) Antoine Girard (Maître de conférence UJF) Gang Zheng (Post-doctorant, LJK)
Project BIPOP, INRIA Rhône-Alpes Vincent Acary (Chercheur INRIA) Bernard Brogliato (Directeur de Recherche INRIA) Olivier Bonnefon (Ingénieur INRIA) Pascal Denoyelle (Ingénieur INRIA)