Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Olivier
Last name:	Coudert
DBLP:	26/6362
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 25 of 29  

Select a publication
Show	Title	Venue	Rating	Date
	Olivier Coudert. Optimization in an Integrated Physical Design Flow (Tutorial Abstract).	ISQED 2002	(0)	2002
	Olivier Coudert. Timing and Design Closure in Physical Design Flows (invited).	ISQED 2002	(0)	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	(0)	2001
	Raul Camposano, Olivier Coudert, Patrick Groeneveld, Leon Stok, Ralph H. J. M. Otten. Timing closure: the solution and its problems.	Proceedings of ASP-DAC 2000, Asia and South Pacific Design Automation Conference 2000, Yokohama, Japan 2000	(0)	2000
	Olivier Coudert, Igor L. Markov, Christoph Meinel, Ellen Sentovich. Web-based frameworks to enable CAD RD (abstract).	DAC 2000	(0)	2000
	Olivier Coudert, Jason Cong, Sharad Malik, Majid Sarrafzadeh. Incremental CAD.	Proceedings of the 2000 IEEE/ACM International Conference on Computer-Aided Design, 2000, San Jose, California, USA, November 5-9, 2000 2000	(0)	2000
	Olivier Coudert. A New Paradigm for Dichotomy-based Constrained Encoding.	1998 Design, Automation and Test in Europe (DATE '98), February 23-26, 1998, Le Palais des Congrès de Paris, Paris, France 1998	(0)	1998
	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.	Formal Methods in Computer-Aided Design, Second International Conference, FMCAD '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings 1998	(0)	1998
	Olivier Coudert. Exact Coloring of Real-Life Graphs is Easy.	DAC 1997	(0)	1997
	Olivier Coudert. Solving graph optimization problems with ZBDDs.	European Design and Test Conference (EDTC '97), Paris, France, 17-20 March 1997 1997	(0)	1997
	Olivier Coudert. Gate sizing for constrained delay/power/area optimization.	IEEE Trans. VLSI Syst. 1997, Volume 5	(0)	1997
	Olivier Coudert. On Solving Covering Problems.	DAC 1996	(0)	1996
	Olivier Coudert, Ramsey W. Haddad, Srilatha Manne. New Algorithms for Gate Sizing: A Comparative Study.	DAC 1996	(0)	1996
	Olivier Coudert, C.-J. Richard Shi. Exact Dichotomy-based Constrained Encodi.	1996 International Conference on Computer Design (ICCD '96), VLSI in Computers and Processors, October 7-9, 1996, Austin, TX, USA, Proceedings 1996	(0)	1996
	Olivier Coudert, Ramsey W. Haddad. Integrated resynthesis for low power.	Proceedings of the 1996 International Symposium on Low Power Electronics and Design, 1996, Monterey, California, USA, August 12-14, 1996 1996	(0)	1996
	Kurt Keutzer, Olivier Coudert, Ramsey W. Haddad. What is the state of the art in commercial EDA tools for low power?	Proceedings of the 1996 International Symposium on Low Power Electronics and Design, 1996, Monterey, California, USA, August 12-14, 1996 1996	(0)	1996
	Olivier Coudert, Jean Christophe Madre. New Ideas for Solving Covering Problems.	DAC 1995	(0)	1995
	Olivier Coudert, Jean Christophe Madre. The Implicit Set Paradigm: A New Approach to Finite State System Verification.	Formal Methods in System Design 1995, Volume 6	(0)	1995
	Olivier Coudert. Doing Two-Level Logic Minimization 100 Times Faster.	SODA 1995	(0)	1995
	Olivier Coudert, Jean Christophe Madre. Une approche intentionnelle du calcul des implicants premiers et essentiels des fonctions booléennes.	ITA 1994, Volume 28	(0)	1994
	Olivier Coudert, Jean Christophe Madre, Henri Fraisse. A New Viewpoint on Two-Level Logic Minimization.	DAC 1993	(0)	1993
	Olivier Coudert, Jean Christophe Madre. Towards a Symbolic Logic Minimization Algorithm.	VLSI Design 1993	(0)	1993
	Olivier Coudert, Jean Christophe Madre. Implicit and Incremental Computation of Primes and Essential Primes of Boolean Functions.	DAC 1992	(0)	1992
	Bill Lin, Olivier Coudert, Jean Christophe Madre. Symbolic Prime Generation for Multiple-Valued Functions.	DAC 1992	(0)	1992
	Jean Christophe Madre, Olivier Coudert. A Logically Complete Reasoning Maintenance System Based on a Logical Constraint Solver.	IJCAI 1991	(0)	1991

Your query returned 29 matches in the database.