will be under system maintenance from Tuesday June 28, 6pm PT to Sunday July 3, 11pm PT. Login and registration will be disabled.
Home > About Cadence > Events > Event Details

Archived Webinar: Formal Apps to Automate Mainstream Verification Challenges

Original webinar date:
08 Aug 2012  
  View Webinar »  

This webinar will show how technology and methodology can be packaged into “apps” that focus on high-value problems that are more efficiently solved using formal-based methods, and can be automated such that very little knowledge of formal or assertion-based verification (ABV) is required. We will show examples of apps currently in production, and discuss how you can identify cases where custom apps could be invented to handle your projects’ unique needs. Real user case studies of both Cadence-provided and user-created apps will be included.

Questions About this Event?
Send email to

View Webinar »