Ping Yeung, Ph.D. is the Principal Engineer in Siemens EDA. He has over 20 years application, marketing, and product development experience in the EDA industry, including positions at 0-In, Synopsys, and Mentor Graphics. He holds 7 patents in the CDC and formal verification areas.