Reaching Coverage Should be Science Not Art

In his forthcoming talk at DVClub Europe on Tuesday 1st December, Adiel Khan (Senior Staff Engineer, Verification Group Business Unit) at Synopsys will discuss using graph based portable stimulus in system level coverage closure.

“Coverage Closure” is the process used to reach 100% of your coverage goals. In a directed test methodology, it is simply the process of writing all of the test cases outlined in the verification plan.

For RTL-Code coverage this is ensuring all lines and conditions of code have been executed. In a constrained-random methodology, it is the process of adding constraints, defining scenarios or writing directed tests to hit the uncovered areas in your functional and structural coverage model. In the latter case, it is a process that is time-consuming and challenging: you must reverse-engineer the design and verification environment to determine why specific stimulus must be generated to hit those uncovered areas.

Something that is challenging and time-consuming is an ideal candidate for automation. In this case, the Holy Grail is the automation of the feedback loop between the coverage metrics and the required stimulus. The challenge in automating that loop is correlating those metrics with the input constraints, rather than leaving the engineer to draw out and hypothesize on possible ways to reach that coverage metric.

See the full agenda and registration details here

About DVClub

The principal goal of DVClub Europe is to have fun while helping build the verification community through regular educational and networking events.  Attendance is free and can be in-person by attending one of three European venues or via remote access.  Attendance is open to all non-service provider semiconductor professionals but registration is essential as these sessions are often over-subscribed.  DVClub Europe is coordinated by TVS with the support from a number of sponsors.

2015-11-19T06:23:31+00:00 19th November, 2015|Active Event, Blog, Events|
T&VS NEWSLETTER SIGN-UP
The T&VS newsletters inform you about industry news, events and information from T&VS. No spam, we promise and it is always easy to unsubscribe.
We never share your information. Read our Privacy Statement
Interested in Formal Verification?
Then why not attend the TVS Formal
Verification Bootcamp training?
The 2-day Formal Verification Bootcamp is for design and verification engineers looking to enhance their knowledge of formal verification and to learn how to write effective assertions to find and fix bugs. The course is a mix of presentations and hands-on development exercises.
Bootcamp Enquiry Form
If you are interested in receiving additional information on the course then simply email Mike Bartley (TVS CEO and Course Leader) by entering your details below.
Interested in SystemC?
FREE SystemC UVM Library Now Available
The TVS SystemC UVM library closely mimics UVM but gives users a license free UVM-based verification environment.
Have your product requirements been successfully tested and implemented?
Find out how asureSIGN can help you implement a successful Requirements Driven Verification and Test Strategy by visiting asureSIGN or enter your details and we will be in touch.
Course Dates and Pricing
To receive additional information, including course dates and pricing, please contact our training team who will be happy to help.
Download Request
Please complete the following form then click 'submit' to access the download.
Presentation Request
Please complete the following form then click 'submit' to gain access to the presentations.
DOWNLOAD REQUEST
Please complete the following form and then click 'submit' to gain access to the download.
FREE QA ASSESSMENTS
Did you get what you were looking?

Let the testing experts help. We will run a FREE QA assessment which will include our top 5 recommendations to help maximise your testing.