The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Olivier Coudert: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. Olivier Coudert
    On Solving Covering Problems. [Citation Graph (0, 0)][DBLP]
    DAC, 1996, pp:197-202 [Conf]
  5. Olivier Coudert
    Exact Coloring of Real-Life Graphs is Easy. [Citation Graph (0, 0)][DBLP]
    DAC, 1997, pp:121-126 [Conf]
  6. 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]
  7. 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]
  8. Olivier Coudert, Jean Christophe Madre
    New Ideas for Solving Covering Problems. [Citation Graph (0, 0)][DBLP]
    DAC, 1995, pp:641-646 [Conf]
  9. 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]
  10. 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]
  11. 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]
  12. Olivier Coudert
    A New Paradigm for Dichotomy-based Constrained Encoding. [Citation Graph (0, 0)][DBLP]
    DATE, 1998, pp:830-834 [Conf]
  13. 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]
  14. Olivier Coudert, Jason Cong, Sharad Malik, Majid Sarrafzadeh
    Incremental CAD. [Citation Graph (0, 0)][DBLP]
    ICCAD, 2000, pp:236-243 [Conf]
  15. 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]
  16. 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]
  17. Olivier Coudert, C.-J. Richard Shi
    Exact Dichotomy-based Constrained Encodi. [Citation Graph (0, 0)][DBLP]
    ICCD, 1996, pp:426-431 [Conf]
  18. 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]
  19. Olivier Coudert, Ramsey W. Haddad
    Integrated resynthesis for low power. [Citation Graph (0, 0)][DBLP]
    ISLPED, 1996, pp:169-174 [Conf]
  20. 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]
  21. Olivier Coudert
    Optimization in an Integrated Physical Design Flow (Tutorial Abstract). [Citation Graph (0, 0)][DBLP]
    ISQED, 2002, pp:13-14 [Conf]
  22. Olivier Coudert
    Timing and Design Closure in Physical Design Flows (invited). [Citation Graph (0, 0)][DBLP]
    ISQED, 2002, pp:511-516 [Conf]
  23. Olivier Coudert
    Doing Two-Level Logic Minimization 100 Times Faster. [Citation Graph (0, 0)][DBLP]
    SODA, 1995, pp:112-121 [Conf]
  24. Olivier Coudert, Jean Christophe Madre
    Towards a Symbolic Logic Minimization Algorithm. [Citation Graph (0, 0)][DBLP]
    VLSI Design, 1993, pp:329-334 [Conf]
  25. 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]
  26. 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]
  27. 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]

  28. An efficient algorithm to verify generalized false paths. [Citation Graph (, )][DBLP]


  29. Solving graph optimization problems with ZBDDs. [Citation Graph (, )][DBLP]


  30. Formal boolean manipulations for the verification of sequential machines. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002