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

Activité
À propos

Olivier Coudert

Présentations

Chip design and cloud computing

Model checking in the cloud

An Efficient Algorithm to Verify Generalized False Paths

On Solving Covering Problems

Timing and Design Closure in Physical Design Flows

A Performance Study of BDD-Based Model Checking

Exact coloring of real-life graphs is easy