Jasper Design Automation had leading-edge formal verification technology before its acquisition by Cadence this summer. A picture of how this technology fits into the Cadence system verification flow emerged Nov. 10, 2014 at a keynote speech at the first Jasper User Group JUG conference held since the acquisition.

via JUG Keynote—How Jasper Formal Verification Technology Fits into the Cadence Flow – Industry Insights – Cadence Blogs – Cadence Community.