Assertion-Based Verification Webinars

I always find new formal and mixed sim/formal methodologies interesting...  No warranties expressed or implied, of course.

Cheers,
Connie 

---------- Forwarded message ----------
From: OneSpin Solutions <info@onespin-solutions.com>
Date: Tue, Aug 17, 2010 at 7:08 AM
Subject: New Series: Assertion-Based Verification Webinars

If you are having trouble reading this email, read the online version

New Series: Assertion-Based Verification Webinars		"Operational ABV + Formal Coverage Analysis = 100% Coverage" Tuesday, 24 August, 2010 11:00 - 11:45 AM PDT >> Register here "Preventing X-related Bugs through 4-state-logic Formal Analysis" Thursday, 26 August, 2010 11:00 - 11:45 AM PDT >> Register here
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. Webinar 1: "Operational ABV + Formal Coverage Analysis = 100% Coverage" This webinar explains how OneSpin's 360 MV can eliminate the need for writing  block-level test benches while efficiently achieving certified 100% design coverage. See how  360 MV's Operational ABV methodology and formal coverage analysis simplifies verification planning, guides high-coverage assertion development and automatically identifies any verification holes, i.e. yet unverified design functionality – proven in more than 300 verification projects. 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. 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." Register now. If date or time is inconvenient, check alternatives here. Feel free to forward this invitation to interested colleagues. For more information about 360 MV's new X-Checking capabilities see our  press release.
Operational ABV + Formal Coverage Analysis = 100% Coverage   Tuesday, 24 August, 2010 11:00 - 11:45 AM PDT You will learn:  • how to use the Operational Assertion-Based Verification methodology  • how to derive high-coverage operation-level assertions from timing diagrams  • how to identify and close verification holes using an exhaustive, automatic  coverage analysis Reserve your seat HERE. Space is limited.	Preventing X-related Bugs through 4-state-logic Formal Analysis   Thursday, 26 August, 2010 11:00 - 11:45 AM PDT You will learn:  • how to use fully automatic checks for early X-analysis and X-verification • how to use X-aware SystemVerilog assertions (SVA) to find any unintended X-propagation • how to debug X-related problems using X-aware debugging - featuring full visibility of X's Reserve your seat HERE. Space is limited.

Subscription Information: If you no longer wish to receive news and information about OneSpin, please click the link below. If you have any suggestions, comments or questions about the webinars, please contact Michael Siegel. OneSpin, OneSpin Solutions, OneSpin 360, 360 MV, RootCauseAnalyzer and the OneSpin logo are trademarks of OneSpin Solutions GmbH. All other trademarks are the property of their respective owners. Copyright 2010, OneSpin Solutions GmbH. All rights reserved. Geschäftsführung; Peter Feist, Oliver Habeck | Vorsitzender des Beirats: Edouard Lamy Sitz: München; Amtsgericht München HRB 139464 | UstID#: DE 814413215

To Unsubscribe, please click here.