J.C. Madre

A unified framework for the formal verification of sequential circuits

Olivier Coudert, J.C. Madre · 2002 · 178 citations

Engineering, Verification, Computer-aided Verification +21

Implicit and incremental computation of primes and essential primes of Boolean functions

Olivier Coudert, J.C. Madre · Design Automation Conference · 1992 · 118 citations

Circuit Complexity, Engineering, Boolean Function +20

Proving circuit correctness using formal comparison between expected and extracted behaviour

J.C. Madre, Jean-Paul Billon · Design Automation Conference · 1988 · 97 citations

Circuit Complexity, Engineering, Hardware Verification Language +22

Implicit and incremental computation of primes and essential primes of Boolean functions

Olivier Coudert, J.C. Madre · [1992] Proceedings 29th ACM/IEEE Design Automation Conference · 2003 · 72 citations

Circuit Complexity, Engineering, Boolean Function +21

Fault tree analysis: 10/sup 20/ prime implicants and beyond

Olivier Coudert, J.C. Madre · 2002 · 68 citations

Fault Tree Analysis, Engineering, Verification +17