Join OneSpin at DVCon Europe 2018!
We're looking forward to catching up with lovers of formal verification around the world at DVCon Europe!
Join us at the Holiday Inn Munich City Centre, October 24 – 25, 2018, where the following events will offer opportunities to see OneSpin's formal verification experts in action:
Wednesday, October 24 | 4:00pm - 5:30pm | Forum 7
Speaker: Nicolae Tusinschi - OneSpin Solutions GmbH
Organizer: Sergio Marchese - OneSpin Solutions GmbH
Modern verification methodologies incorporate multiple coverage solutions. These range from functional to structural coverage, leverage various coverage models, and operate using varied technologies in both the simulation and formal process. The main purpose of these coverage solutions is to establish a signoff metric that indicates when enough verification has been performed. However, as coverage approaches have evolved, new use models have emerged for these tools that increase their value in the verification process.
Mutation coverage is a relatively new technique pioneered by formal and simulation providers. The approach is to pose the question: if my design is fully covered by a specific testbench or assertion set, then if I change something in the design, the tests should detect this change. If they don’t then the area of change is not covered. The approach is widely regarded as a highly effective method for establishing both structural and functional coverage, and is used in design flows where high verification confidence is mandatory.
The exhaustive nature of formal further improves the value of mutation coverage and allows for useful information on the source of uncovered scenarios to be obtained. This opens up a new use model in the area of bug hunting, where coverage tools may be used to analyze complex operational scenarios and detect well-hidden error conditions.
In addition, model-based mutation coverage allows for a meaningful integration of formal and simulation coverage metrics. A long-standing wish of many verification engineers and managers, coverage integration reduces effort overlap between simulation and formal, and enables faster, more rigorous signoff.
Leveraging classic case studies notorious for complex bugs, the attendees will be guided through a range of techniques applicable to many design applications.
The tutorial agenda is as follow:
- Introduction to mutation and formal coverage
- Model-based mutation coverage with formal – it’s not so tough!
- Bug hunting using mutation coverage
- Bug hunting on a practical design example
- Signoff with model-based mutation coverage
- Merging formal and simulation coverage metrics
Exhibit Floor, Booth 402
Wednesday, October 24, 2018
10:00am - 7:00pm
Thursday, October 25, 2018
10:00am - 6:30pm
Stop by booth 402 to talk with our team about how our formal verification solutions can help you to meet your coverage goals.