Olivier Coudert

35 papers A* 12A 7B 1C 2Misc 1Journal 4Unranked 8

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