| Verification of synchronous sequential machines based on symbolic execution O Coudert, C Berthet, JC Madre Automatic Verification Methods for Finite State Systems: International …, 1990 | 755 | 1990 |
| 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 | 435 | 1990 |
| Verification of sequential machines using boolean functional vectors O Coudert IMEC-IFIP international workshop on applied formal methods for correct VLSI …, 1989 | 377 | 1989 |
| Two-level logic minimization: an overview O Coudert Integration 17 (2), 97-140, 1994 | 286 | 1994 |
| Implicit and Incremental Computation of Primes and Essential Primes of Boolean Functions. O Coudert, JC Madre DAC 92, 36-39, 1992 | 243 | 1992 |
| On solving covering problems O Coudert Proceedings of the 33rd Annual Design Automation Conference, 197-202, 1996 | 218 | 1996 |
| Gate sizing for constrained delay/power/area optimization O Coudert IEEE Transactions on Very Large Scale Integration (VLSI) Systems 5 (4), 465-472, 1997 | 212 | 1997 |
| 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 | 194 | 1991 |
| 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 | 156 | 1989 |
| Fault tree analysis: 10/sup 20/prime implicants and beyond O Coudert, JC Madre Annual Reliability and Maintainability Symposium 1993 Proceedings, 240-245, 1993 | 137 | 1993 |
| 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 | 127 | 1998 |
| New ideas for solving covering problems O Coudert, JC Madre Proceedings of the 32nd annual ACM/IEEE Design Automation Conference, 641-646, 1995 | 123 | 1995 |
| Exact coloring of real-life graphs is easy O Coudert Proceedings of the 34th annual Design Automation Conference, 121-126, 1997 | 107 | 1997 |
| Doing Two-Level Logic Minimization 100 Times Faster. O Coudert SODA, 112-121, 1995 | 99 | 1995 |
| 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 | 94 | 1996 |
| Metaprime: An interactive fault-tree analyzer O Coudert, JC Madre IEEE Transactions on Reliability 43 (1), 121-127, 1994 | 87 | 1994 |
| 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 | 81 | 1993 |
| 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 | 76 | 1992 |
| 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 | 76 | 1990 |
| Incremental cad O Coudert, J Cong, S Malik, M Sarrafzadeh IEEE/ACM International Conference on Computer Aided Design. ICCAD-2000. IEEE …, 2000 | 69 | 2000 |
