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.
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