Stebėti
Olivier Coudert
Olivier Coudert
Patvirtintas el. paštas synopsys.com - Pagrindinis puslapis
Pavadinimas
Cituota
Cituota
Metai
Verification of synchronous sequential machines based on symbolic execution
O Coudert, C Berthet, JC Madre
International Conference on Computer Aided Verification, 365-373, 1989
7311989
A unified framework for the formal verification of sequential circuits
O Coudert, JC Madre
The Best of ICCAD, 39-50, 2003
4172003
Verification of sequential machines using boolean functional vectors
O Coudert
IMEC-IFIP International Workshop on Applied Formal Methods for Correct VLSI …, 1989
3561989
Two-level logic minimization: an overview
O Coudert
Integration 17 (2), 97-140, 1994
2731994
Implicit and Incremental Computation of Primes and Essential Primes of Boolean Functions.
O Coudert, JC Madre
DAC 92, 36-39, 1992
2421992
On solving covering problems
O Coudert
Proceedings of the 33rd Annual Design Automation Conference, 197-202, 1996
2141996
Gate sizing for constrained delay/power/area optimization
O Coudert
IEEE Transactions on Very Large Scale Integration (VLSI) Systems 5 (4), 465-472, 1997
1981997
Verifying temporal properties of sequential machines without building their state diagrams
O Coudert, JC Madre, C Berthet
International Conference on Computer Aided Verification, 23-32, 1990
1821990
Automating the Diagnosis and the Rectification of Design Errors with PRIAM
JC Madre, O Coudert, JP Billon
The Best of ICCAD, 17-27, 2003
1512003
Fault tree analysis: 10/sup 20/prime implicants and beyond
O Coudert, JC Madre
Annual Reliability and Maintainability Symposium 1993 Proceedings, 240-245, 1993
1271993
New ideas for solving covering problems
O Coudert, JC Madre
Proceedings of the 32nd annual ACM/IEEE Design Automation Conference, 641-646, 1995
1171995
A performance study of BDD-based model checking
B Yang, RE Bryant, DR O’Hallaron, A Biere, O Coudert, G Janssen, ...
International conference on formal methods in computer-aided design, 255-289, 1998
1161998
Exact coloring of real-life graphs is easy
O Coudert
Proceedings of the 34th annual Design Automation Conference, 121-126, 1997
1001997
Doing Two-Level Logic Minimization 100 Times Faster.
O Coudert
SODA, 112-121, 1995
951995
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
911996
Metaprime: An interactive fault-tree analyzer
O Coudert, JC Madre
IEEE Transactions on Reliability 43 (1), 121-127, 1994
801994
A new viewpoint on two-level logic minimization
O Coudert, JC Madre, H Fraisse
30th ACM/IEEE Design Automation Conference, 625-630, 1993
781993
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
751990
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
741992
Incremental cad
O Coudert, J Cong, S Malik, M Sarrafzadeh
IEEE/ACM International Conference on Computer Aided Design. ICCAD-2000. IEEE …, 2000
682000
Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.
Straipsniai 1–20