In mid-2014, Cadence completed its purchase of Jasper Design Automation, and became the overnight leader in the formal verification market. Many Jasper formal verification experts came to work for Cadence, among them Oz Levia, who, as vice president of R&D, leads the new Formal and Automated Verification (FAV) business unit at Cadence.

In this interview Levia talks about how formal technologies complement simulation, how automated formal “Apps” directly solve specific problems, what Jasper contributed to the success of formal verification, who uses formal technology and how, and where Cadence is taking formal verification in the future.

Read more.