Philippe Georgelin

According to our database, Philippe Georgelin authored at least 5 papers between 2000 and 2012.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2012

Peak power estimation using activity measured on emulator.

Christian Berthet, Philippe Georgelin, Janvier Ntyame, Mathieu Raffin

Proceedings of the 19th IEEE International Conference on Electronics, Circuits and Systems, 2012

2006

Towards a C++-based design methodology facilitating sequential equivalence checking.

Philippe Georgelin, Venkat Krishnaswamy

Proceedings of the 43rd Design Automation Conference, 2006

2001

Vérification formelle de systèmes digitaux synchrones, basée sur la simulation symbolique. (Formal verification of synchronous digital designs, based on symbolic simulation).

Philippe Georgelin

PhD thesis, 2001

2000

Using the ACL2 Theorem Prover to Reason about VHDL Components.

Vanderlei Moraes Rodrigues, Dominique Borrione, Philippe Georgelin

RITA, 2000

An ACL2 Model of VHDL for Symbolic Simulation and Formal Verification.

Vanderlei Moraes Rodrigues, Dominique Borrione, Philippe Georgelin

Proceedings of the 13th Annual Symposium on Integrated Circuits and Systems Design, 2000