California Software Development Expert #26376

I have 20 years of experience and specialize in the field of electronic design automation (EDA) software and computer design, with specific knowledge of digital simulation, application-specific integrated circuit (ASIC) verification and software design. I have published on such topics as formal verification using dynamic SAT, distributed computing applied to Podd formal proofs and commercial database management systems (DBMS) used for engineering applications.

Request this expert witness