|
Search the dblp DataBase
Olivier Coudert:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Raul Camposano, Olivier Coudert, Patrick Groeneveld, Leon Stok, Ralph H. J. M. Otten
Timing closure: the solution and its problems. [Citation Graph (0, 0)][DBLP] ASP-DAC, 2000, pp:359-364 [Conf]
- Olivier Coudert, Christian Berthet, Jean Christophe Madre
Verification of Synchronous Sequential Machines Based on Symbolic Execution. [Citation Graph (0, 0)][DBLP] Automatic Verification Methods for Finite State Systems, 1989, pp:365-373 [Conf]
- Olivier Coudert, Jean Christophe Madre, Christian Berthet
Verifying Temporal Properties of Sequential Machines Without Building their State Diagrams. [Citation Graph (0, 0)][DBLP] CAV, 1990, pp:23-32 [Conf]
- Olivier Coudert
On Solving Covering Problems. [Citation Graph (0, 0)][DBLP] DAC, 1996, pp:197-202 [Conf]
- Olivier Coudert
Exact Coloring of Real-Life Graphs is Easy. [Citation Graph (0, 0)][DBLP] DAC, 1997, pp:121-126 [Conf]
- Olivier Coudert, Ramsey W. Haddad, Srilatha Manne
New Algorithms for Gate Sizing: A Comparative Study. [Citation Graph (0, 0)][DBLP] DAC, 1996, pp:734-739 [Conf]
- Olivier Coudert, Jean Christophe Madre
Implicit and Incremental Computation of Primes and Essential Primes of Boolean Functions. [Citation Graph (0, 0)][DBLP] DAC, 1992, pp:36-39 [Conf]
- Olivier Coudert, Jean Christophe Madre
New Ideas for Solving Covering Problems. [Citation Graph (0, 0)][DBLP] DAC, 1995, pp:641-646 [Conf]
- Olivier Coudert, Jean Christophe Madre, Henri Fraisse
A New Viewpoint on Two-Level Logic Minimization. [Citation Graph (0, 0)][DBLP] DAC, 1993, pp:625-630 [Conf]
- Olivier Coudert, Igor L. Markov, Christoph Meinel, Ellen Sentovich
Web-based frameworks to enable CAD RD (abstract). [Citation Graph (0, 0)][DBLP] DAC, 2000, pp:711- [Conf]
- Bill Lin, Olivier Coudert, Jean Christophe Madre
Symbolic Prime Generation for Multiple-Valued Functions. [Citation Graph (0, 0)][DBLP] DAC, 1992, pp:40-44 [Conf]
- Olivier Coudert
A New Paradigm for Dichotomy-based Constrained Encoding. [Citation Graph (0, 0)][DBLP] DATE, 1998, pp:830-834 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] FMCAD, 1998, pp:255-289 [Conf]
- Olivier Coudert, Jason Cong, Sharad Malik, Majid Sarrafzadeh
Incremental CAD. [Citation Graph (0, 0)][DBLP] ICCAD, 2000, pp:236-243 [Conf]
- Olivier Coudert, Jean Christophe Madre
A Unified Framework for the Formal Verification of Sequential Circuits. [Citation Graph (0, 0)][DBLP] ICCAD, 1990, pp:126-129 [Conf]
- Rob A. Rutenbar, Olivier Coudert, Patrick Groeneveld, Jürgen Koehl, Scott Peterson, Vivek Raghavan, Naresh Soni
Automatic Hierarchical Design: Fantasy or Reality? (Panel). [Citation Graph (0, 0)][DBLP] ICCAD, 2001, pp:656-0 [Conf]
- Olivier Coudert, C.-J. Richard Shi
Exact Dichotomy-based Constrained Encodi. [Citation Graph (0, 0)][DBLP] ICCD, 1996, pp:426-431 [Conf]
- Jean Christophe Madre, Olivier Coudert
A Logically Complete Reasoning Maintenance System Based on a Logical Constraint Solver. [Citation Graph (0, 0)][DBLP] IJCAI, 1991, pp:294-299 [Conf]
- Olivier Coudert, Ramsey W. Haddad
Integrated resynthesis for low power. [Citation Graph (0, 0)][DBLP] ISLPED, 1996, pp:169-174 [Conf]
- Kurt Keutzer, Olivier Coudert, Ramsey W. Haddad
What is the state of the art in commercial EDA tools for low power? [Citation Graph (0, 0)][DBLP] ISLPED, 1996, pp:181-187 [Conf]
- Olivier Coudert
Optimization in an Integrated Physical Design Flow (Tutorial Abstract). [Citation Graph (0, 0)][DBLP] ISQED, 2002, pp:13-14 [Conf]
- Olivier Coudert
Timing and Design Closure in Physical Design Flows (invited). [Citation Graph (0, 0)][DBLP] ISQED, 2002, pp:511-516 [Conf]
- Olivier Coudert
Doing Two-Level Logic Minimization 100 Times Faster. [Citation Graph (0, 0)][DBLP] SODA, 1995, pp:112-121 [Conf]
- Olivier Coudert, Jean Christophe Madre
Towards a Symbolic Logic Minimization Algorithm. [Citation Graph (0, 0)][DBLP] VLSI Design, 1993, pp:329-334 [Conf]
- Olivier Coudert, Jean Christophe Madre
The Implicit Set Paradigm: A New Approach to Finite State System Verification. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 1995, v:6, n:2, pp:133-145 [Journal]
- Olivier Coudert, Jean Christophe Madre
Une approche intentionnelle du calcul des implicants premiers et essentiels des fonctions booléennes. [Citation Graph (0, 0)][DBLP] ITA, 1994, v:28, n:2, pp:125-149 [Journal]
- Olivier Coudert
Gate sizing for constrained delay/power/area optimization. [Citation Graph (0, 0)][DBLP] IEEE Trans. VLSI Syst., 1997, v:5, n:4, pp:465-472 [Journal]
An efficient algorithm to verify generalized false paths. [Citation Graph (, )][DBLP]
Solving graph optimization problems with ZBDDs. [Citation Graph (, )][DBLP]
Formal boolean manipulations for the verification of sequential machines. [Citation Graph (, )][DBLP]
Search in 0.056secs, Finished in 0.357secs
|