See OneSpin's award-winning functional RTL verification products
at EDSFair 2010!
To register for our EDSFair seminars click here (Japanese only)If you cannot attend EDSFair, check out our live webinars about 360 MV
OneSpin invites you to seminars and demonstrations covering its 360 MV family of formal verification solutions at EDSFair 2010. OneSpin's 360 MV has recently been selected for the third time as one of industry's most innovative and significant products for functional RTL verification.
Come and learn about 360 MV's groundbreaking capabilities, which are not available in any other formal RTL verification product on the market:
(1) automatic coverage analysis for sets of SystemVerilog Assertions (SVA)
(2) automatically checked criteria for when verification is 'done'
(3) SVA development directly from timing diagrams
(4) SVA debugging capabilities that pinpoint the exact reason for assertion failures.
These capabilities enable the systematic, high-level verification of design operations and transactions with unprecedented verification coverage and productivity.
User statements about 360 MV:
- "We discovered serious verification holes in our processor IP we had never anticipated"
- "By far the best debugging support for SVA of all verification tools"
- "We uncovered critical bugs in an arbiter IP that we could not track down for years"
- "Clearly beyond the capabilities of our current formal verification tools and methodologies"
- "It is easier to learn than learning how to develop good testbenches"
Where and When
EDSFair, January 28-29, 2010, in Yokohama, Japan Visit OneSpin at Booth 404 and don't miss our verification seminars to learn about 360 MV:- Formal assertion-based verification for starters – Get Going in a Day
Thursday, 28 January, 11:30 - 12:15, Room DM3. Click here for more information - Slashing assertion and design debug effort through automated root cause analysis
Thursday, 28 January, 12:30 - 13:15, Room DM3. Click here for more information - Advances in formal assertion-based verification that ease and speed exhaustive operation- and transaction-level verification
Friday, 29 January, 10:30 - 11:15, Room DM3. Click here for more information
If you cannot attend EDSFair, you can meet our verification experts in our live webinars about 360 MV. For more information click here.