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

 
Type:
Webinar  
Original webinar date:
08 Aug 2012  
Location:
Online  
  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 webinar_info@cadence.com

View Webinar »