Olivier Coudert

22 Abonné

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

Tout plus

Présentations
Documents
Infographies

Plus récents Les plus populaires

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