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 - Simplifying Code Coverage Analysis: Automatically Separating the Wheat from the Chaff

Original webinar date:
15 Dec 2011  
  View Webinar »  

Code coverage is a popular method and, for most, a signoff criteria. Unfortunately, code coverage can produce an enormous number of objects, where analysis of even a small number of coverage holes can be very tedious and time consuming. Of course, ignoring those holes can introduce risk that might not be acceptable.

In this webinar, we will show how new automation and a revolutionary “case-splitting” methodology can help you separate the wheat from the chaff—the “reachable” versus the “unreachable” code coverage holes. While formal analysis engines (and the mathematical certainty they offer) are used under the hood, perhaps the best part of the new case-splitting approach is that the flow does not require any understanding of formal analysis and is applicable to anyone familiar with simulation. This is an exciting topic for anyone in the functional verification space. A demonstration will reinforce the concepts learned during the session.

Who should attend?
  • Verification engineers, verification leads, designers, and managers interested in improving quality, productivity, and predictability of their verification process
  • All users who implement code coverage as one of the metrics for verification completeness
  • Recommended background: hardware simulation experience only

What you will learn
  • Case-splitting methodology and its application to code coverage
  • How to determine unreachability from the formal tools
  • How to apply the flow in your verification environment

Questions About this Event?
Send email to

View Webinar »