Concepedia

Olivier Coudert

OC

34

Publications

1.8K

Citations

21

H-Index

1990

Active since

Affiliations

Synopsys (United States)(Current)

University of California, Berkeley

Olivier Coudert is an author at Synopsys (United States) specializing in engineering, computer science, and computer engineering.

Top concepts

EngineeringComputer ScienceComputer EngineeringAutomated ReasoningFormal MethodsFormal VerificationSystems EngineeringVerificationDiscrete MathematicsComputational Complexity

Publications per year

1990–2011

34

Publications

34

Two-level logic minimization: an overview

Olivier Coudert · Integration · 1994 · 184 citations

Mathematical Programming, Computational Logic, Logic Synthesis +8

A unified framework for the formal verification of sequential circuits

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

Engineering, Verification, Computer-aided Verification +21

Gate sizing for constrained delay/power/area optimization

Olivier Coudert · IEEE Transactions on Very Large Scale Integration (VLSI) Systems · 1997 · 145 citations

Hardware Security, Gate Sizing Algorithm, Electrical Engineering +14

On solving covering problems

Olivier Coudert · 1996 · 131 citations · Full text

Mathematical Programming, Ca Synopsys Inc., Covering Problems +10

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

Rows per page

1–5 of 34