Few individuals have been as visible and influential in the EDA industry as Kathryn Kranen, CEO of formal verification pioneer Jasper Design Automation until its acquisition by Cadence in June 2014. Kranen was also CEO of Verisity Design in the late 1990s, and she served as chairman of the EDA Consortium for two years until the Cadence acquisition. Today she is corporate vice president and general manager for formal and automated verification at Cadence.

In this interview, Kranen talks about her 25+ year history with EDA, how functional verification has changed, how formal technology fits into the IC verification flow, why Jasper developed formal “apps,” and the advantages of the Cadence acquisition.

via Q&A: Kathryn Kranen Discusses Jasper, Formal Verification, and the Cadence Acquisition – Industry Insights – Cadence Community.