Kurt Takara is a Product Engineer at a Mentor, a Siemens Business, and specializes in assertion-based verification methods and applications, including formal and clock-domain crossing (CDC) verification. With more than 20 years of experience in engineering design and verification, technical marketing and engineering services, Takara has held engineering, marketing, consulting services and project management roles in electronics and EDA companies such as Synopsys, Ikos Systems, Raytheon and Magnavox. He holds a BSEE from Purdue University and an MBA from Santa Clara University.
