Philippe Georgelin

Publication Activity (10 Years)

Years Active: 2000-2012
Publications (10 Years): 0

Top Venues

Joseph Fourier University, Grenoble, France (PHD)

Education History

Joseph Fourier University, Grenoble, France

PHD

Publications

Christian Berthet, Philippe Georgelin, Janvier Ntyame, Mathieu Raffin
Peak power estimation using activity measured on emulator. ICECS (2012)
Philippe Georgelin, Venkat Krishnaswamy
Towards a C++-based design methodology facilitating sequential equivalence checking. DAC (2006)
Vanderlei Moraes Rodrigues, Dominique Borrione, Philippe Georgelin
An ACL2 Model of VHDL for Symbolic Simulation and Formal Verification. SBCCI (2000)
Vanderlei Moraes Rodrigues, Dominique Borrione, Philippe Georgelin
Using the ACL2 Theorem Prover to Reason about VHDL Components. RITA 7 (1) (2000)