Olivier Coudert

22 Followers

I have 25 years experience in software architecture and product development, including 9 years in startups. I built 4 products from scratch. I managed international distributed teams (80 people in US, Europe, India, and China). I successfully outsourced product development to India (Bangalore and Noida). I am an EDA expert, and I brought innovations in formal verification, logic synthesis, physical synthesis, and combinatorial optimization. More recently I designed solutions for a wide spectrum of applications, from search engines for e-business, to cloud computing platforms, to massively parallel logic simulation. Specialties: - problem solving, complex system design, memory and runtim...

model checking formal verification cloud computing semiconductor eda elmore delay tiger cudd bdd max clique pruning approximation graph coloring timing closure physical synthesis low power logic synthesis vlsi binate covering problem sat timing false path aws

Präsentationen
Dokumente
Infografiken

Aktuellste Beliebteste SlideShares

Olivier Coudert

Exact coloring of real-life graphs is easy

A Performance Study of BDD-Based Model Checking

Timing and Design Closure in Physical Design Flows

On Solving Covering Problems

An Efficient Algorithm to Verify Generalized False Paths

Model checking in the cloud

Chip design and cloud computing