
30+ years of experience in Design Verification of complex processors and systems through simulation and/or formal methods. Specialties: Design Verification, Formal Verification, Computer design and organization, Compilers, Distributed systems, Logic design theory, Operating systems design, Machine readable specification and plans, realtime system monitoring and sensor data acquisition.
mips.com
nvidia.com
sgi.com
hpe.com
Santa Clara, California, United States
Principal Engineer
NVIDIA
• www.linkedin.com/company/nvidia
• Full-time
Jan 2009 - Present
Principal Engineer
Jasper Design Automation
• www.linkedin.com/company/jasper-design-automation
Jan 2008 - Dec 2008
Senior Staff Engineer
Azul Systems
• www.linkedin.com/company/azul-systems
Jan 2003 - Jan 2008
Verification Architect
MIPS Technologies
• www.linkedin.com/company/mips-technologies
Apr 2001 - Dec 2003
Director, Design Verification
SandCraft, Inc
Dec 1999 - Mar 2001
Senior Hardware Engineer
Digital Equipment Corporation
• www.linkedin.com/company/hewlett-packard-enterprise
Jan 1990 - Dec 1999