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.
JUG Keynote—How Jasper Formal Verification Technology Fits into the Cadence Flow
Agnisys Webinar: The Complete Solution for Register Specification, Design and Verification When: Wednesday, November 12, 1:00 to 2:00 PM Eastern Standard Time Who should at...Read more
In this week's Whiteboard Wednesdays video, Moshik Ruben discusses TripleCheck verification IP (VIP) and how it allows engineers to know they have a thoroughly tested design that complies with the int...Read more