Folgen
Olivier Coudert
Olivier Coudert
Bestätigte E-Mail-Adresse bei synopsys.com - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Verification of synchronous sequential machines based on symbolic execution
O Coudert, C Berthet, JC Madre
Automatic Verification Methods for Finite State Systems: International …, 1990
7491990
A unified framework for the formal verification of sequential circuits
O Coudert, JC Madre
The Best of ICCAD: 20 Years of Excellence in Computer-Aided Design, 39-50, 1990
4351990
Verification of sequential machines using boolean functional vectors
O Coudert
IMEC-IFIP international workshop on applied formal methods for correct VLSI …, 1989
3701989
Two-level logic minimization: an overview
O Coudert
Integration 17 (2), 97-140, 1994
2801994
Implicit and Incremental Computation of Primes and Essential Primes of Boolean Functions.
O Coudert, JC Madre
DAC 92, 36-39, 1992
2441992
On solving covering problems
O Coudert
Proceedings of the 33rd Annual Design Automation Conference, 197-202, 1996
2181996
Gate sizing for constrained delay/power/area optimization
O Coudert
IEEE Transactions on Very Large Scale Integration (VLSI) Systems 5 (4), 465-472, 1997
2131997
Verifying temporal properties of sequential machines without building their state diagrams
O Coudert, JC Madre, C Berthet
Computer-Aided Verification: 2nd International Conference, CAV'90 New …, 1991
1911991
Automating the Diagnosis and the Rectification of Design Errors with PRIAM
JC Madre, O Coudert, JP Billon
The Best of ICCAD: 20 Years of Excellence in Computer-Aided Design, 17-27, 1989
1551989
Fault tree analysis: 10/sup 20/prime implicants and beyond
O Coudert, JC Madre
Annual Reliability and Maintainability Symposium 1993 Proceedings, 240-245, 1993
1331993
New ideas for solving covering problems
O Coudert, JC Madre
Proceedings of the 32nd annual ACM/IEEE Design Automation Conference, 641-646, 1995
1231995
A performance study of BDD-based model checking
B Yang, RE Bryant, DR O’Hallaron, A Biere, O Coudert, G Janssen, ...
Formal Methods in Computer-Aided Design: Second International Conference …, 1998
1221998
Exact coloring of real-life graphs is easy
O Coudert
Proceedings of the 34th annual Design Automation Conference, 121-126, 1997
1041997
Doing Two-Level Logic Minimization 100 Times Faster.
O Coudert
SODA, 112-121, 1995
971995
New algorithms for gate sizing: A comparative study
O Coudert, R Haddad, S Manne
Proceedings of the 33rd annual Design Automation Conference, 734-739, 1996
921996
Metaprime: An interactive fault-tree analyzer
O Coudert, JC Madre
IEEE Transactions on Reliability 43 (1), 121-127, 1994
881994
A new viewpoint on two-level logic minimization
O Coudert, JC Madre, H Fraisse
Proceedings of the 30th international Design Automation Conference, 625-630, 1993
821993
A new method to compute prime and essential prime implicants of boolean functions
O Coudert, JC Madre
Advanced Research in VLSI and Parallel systems, 113-128, 1992
781992
New ideas on symbolic manipulations of finite state machines
C Berthet, O Coudert, JC Madre
Proceedings., 1990 IEEE International Conference on Computer Design: VLSI in …, 1990
771990
Incremental cad
O Coudert, J Cong, S Malik, M Sarrafzadeh
IEEE/ACM International Conference on Computer Aided Design. ICCAD-2000. IEEE …, 2000
692000
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20