Section: Contracts and Grants with Industry
ANR project FotoVP
Participants : Loïc Besnard, Thierry Gautier, Jean-Pierre Talpin, Kenneth Johnson.
The Espresso project-team participates to the ANR project FotoVP, leaded by Verimag. The aim of the FotoVP is to develop virtual prototyping tools and techniques for the simulation and verification of system-level C/SystemC specifications in synchronous models of computation.