Personal Information
Organización/Lugar de trabajo
San Francisco Bay Area United States
Ocupación
Technology Executive, Software Architect, Algorithm and EDA Expert
Sector
Technology / Software / Internet
Sitio web
www.ocoudert.com/blog/
Acerca de
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...
Etiquetas
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
Ver más
Presentaciones
(7)Personal Information
Organización/Lugar de trabajo
San Francisco Bay Area United States
Ocupación
Technology Executive, Software Architect, Algorithm and EDA Expert
Sector
Technology / Software / Internet
Sitio web
www.ocoudert.com/blog/
Acerca de
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...
Etiquetas
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
Ver más