Olivier Coudert

Publication Activity (10 Years)

Years Active: 1989-2010
Publications (10 Years): 0

Publications

Olivier Coudert
An efficient algorithm to verify generalized false paths. DAC (2010)
Olivier Coudert
Timing and Design Closure in Physical Design Flows (invited). ISQED (2002)
Olivier Coudert
Optimization in an Integrated Physical Design Flow (Tutorial Abstract). ISQED (2002)
Rob A. Rutenbar, Olivier Coudert, Patrick Groeneveld, Jürgen Koehl, Scott Peterson, Vivek Raghavan, Naresh Soni
Automatic Hierarchical Design: Fantasy or Reality? (Panel). ICCAD (2001)
Olivier Coudert, Jason Cong, Sharad Malik, Majid Sarrafzadeh
Incremental CAD. ICCAD (2000)
Raul Camposano, Olivier Coudert, Patrick Groeneveld, Leon Stok, Ralph H. J. M. Otten
Timing closure: the solution and its problems. ASP-DAC (2000)
Olivier Coudert, Igor L. Markov, Christoph Meinel, Ellen Sentovich
Web-based frameworks to enable CAD RD (abstract). DAC (2000)
Bwolen Yang, Randal E. Bryant, David R. O'Hallaron, Armin Biere, Olivier Coudert, Geert Janssen, Rajeev K. Ranjan, Fabio Somenzi
A Performance Study of BDD-Based Model Checking. FMCAD (1998)
Olivier Coudert
A New Paradigm for Dichotomy-based Constrained Encoding. DATE (1998)
Olivier Coudert
Gate sizing for constrained delay/power/area optimization. IEEE Trans. Very Large Scale Integr. Syst. 5 (4) (1997)
Olivier Coudert
Solving graph optimization problems with ZBDDs. ED&TC (1997)
Olivier Coudert
Exact Coloring of Real-Life Graphs is Easy. DAC (1997)
Olivier Coudert
Gate Sizing: A General Purpose Optimization Approach. ED&TC (1996)
Olivier Coudert, Ramsey W. Haddad
Integrated resynthesis for low power. ISLPED (1996)
Olivier Coudert, C.-J. Richard Shi
Exact Dichotomy-based Constrained Encodi. ICCD (1996)
Kurt Keutzer, Olivier Coudert, Ramsey W. Haddad
What is the state of the art in commercial EDA tools for low power? ISLPED (1996)
Olivier Coudert, Ramsey W. Haddad, Srilatha Manne
New Algorithms for Gate Sizing: A Comparative Study. DAC (1996)
Olivier Coudert
On Solving Covering Problems. DAC (1996)
Olivier Coudert, Jean Christophe Madre
New Ideas for Solving Covering Problems. DAC (1995)
Olivier Coudert
Doing Two-Level Logic Minimization 100 Times Faster. SODA (1995)
Olivier Coudert, Jean Christophe Madre
The Implicit Set Paradigm: A New Approach to Finite State System Verification. Formal Methods Syst. Des. 6 (2) (1995)
Olivier Coudert
Two-level logic minimization: an overview. Integr. 17 (2) (1994)
Olivier Coudert, Jean Christophe Madre
Une approche intentionnelle du calcul des implicants premiers et essentiels des fonctions booléennes. RAIRO Theor. Informatics Appl. 28 (2) (1994)
Olivier Coudert, Jean Christophe Madre, Henri Fraisse
A New Viewpoint on Two-Level Logic Minimization. DAC (1993)
Olivier Coudert, Jean Christophe Madre
Towards a Symbolic Logic Minimization Algorithm. VLSI Design (1993)
Bill Lin, Olivier Coudert, Jean Christophe Madre
Symbolic Prime Generation for Multiple-Valued Functions. DAC (1992)
Olivier Coudert, Jean Christophe Madre
Implicit and Incremental Computation of Primes and Essential Primes of Boolean Functions. DAC (1992)
Jean Christophe Madre, Olivier Coudert
A Logically Complete Reasoning Maintenance System Based on a Logical Constraint Solver. IJCAI (1991)
Olivier Coudert, Jean Christophe Madre
A Unified Framework for the Formal Verification of Sequential Circuits. ICCAD (1990)
Olivier Coudert, Jean Christophe Madre, Christian Berthet
Verifying Temporal Properties of Sequential Machines without Building Their State Diagrams. CAV (DIMACS/AMS volume) (1990)
Olivier Coudert, Christian Berthet, Jean Christophe Madre
Formal boolean manipulations for the verification of sequential machines. EURO-DAC (1990)
Olivier Coudert, Jean Christophe Madre, Christian Berthet
Verifying Temporal Properties of Sequential Machines Without Building their State Diagrams. CAV (1990)
Christian Berthet, Olivier Coudert, Jean Christophe Madre
New ideas on symbolic manipulations of finite state machines. ICCD (1990)
Jean Christophe Madre, Olivier Coudert, Jean-Paul Billon
Automating the diagnosis and the rectification of design errors with PRIAM. ICCAD (1989)
Olivier Coudert, Christian Berthet, Jean Christophe Madre
Verification of Synchronous Sequential Machines Based on Symbolic Execution. Automatic Verification Methods for Finite State Systems (1989)