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 webinar_info@cadence.com

View Webinar »