New Series of Assertion-Based Verification Webinars
Don’t miss our new “Verification Beyond Doubt” webinars.
Meet our verification experts who explain and demonstrate best-practices in assertion-based verification (ABV)
which will save you verification effort and significantly increase your confidence in verification results –
no matter if you are new to formal verification or an experienced user.These webinars are the continuation of our series
of formal ABV webinars that have been attended by hundreds of engineers and managers in the past 6 months.
Here’s some of their feedback:
• “Clearly beyond the capabilities
of our current verification approach”
• “As an experienced formal
verification user, I especially liked your operational ABV methodology.”
• “The
embedded example for automatic detection of verification holes
was really nice.”
• “Excellent webinar, easy to follow;
interesting tool.”
Webinar 1: "Quantify MDV - Metric-Driven Formal ABV"
This webinar explains how OneSpin’s new Quantify MDV capability can help you to eliminate uncertainty about formal verification progress and quality. See how to determine formal verification coverage metrics without any assistance from simulation-based metric generation and how to uncover verification holes in your design. Quantify MDV provides pertinent information that allows you to assess the quality of your assertions and constraints, and it provides the long sought after metrics to measure formal verification progress.
| Stay tuned for our coming announcements in H1/2012 |
For more information about Quantify MDV see our press release and our tech brief.
Webinar 2: "Preventing X-related Bugs through 4-state-logic Formal Analysis"
This webinar explains OneSpin’s 360 MV 4-state-logic formal analysis that enables exhaustive pre-synthesis analysis of X-propagation while considering X-optimism and X-pessimism simultaneously. See how this analysis also avoids RTL-netlist mismatches at the RTL level and thus effectively eliminates the need to run gate-level simulations to check for dangerous x-propagation. It detects, e.g., unintended X-propagation caused by uninitialized registers and ensures safe use of X’s for RTL verification and synthesis optimization.
| Stay tuned for our coming announcements in H1/2012 |
For more information about 360 MV's X-Checking capabilities see our press release.
Datasheets, Whitepapers and Articles
Product Information
360 MV Product Family (datasheet)
The Most Comprehensive Formal Assertion Based Verification Solution
Quantify MDV (tech brief)
Metric-Driven Formal ABV
Whitepaper
Alcatel-Lucent's J. Knaeblein and H. Sahm describe how they used automated assertion generation and OneSpin's 360 MV to
verify a complex HW/SW interface in a large SDH/SONET chip – and slashed verification time and effort by 70 percent.
Automated formal method verifies
highly-configurable HW/SW interface
Articles and Viewpoints
OneSpin advances formal assertion/RTL debug automation by Bill Murray
OneSpin offers step-by-step formal verification suite by Richard Goering
Formal methods: Rocket science or mainstream technology? A deeper look published in SCDsource
Timing Diagrams Ease Formal Property Development published in iDESIGN