OneSpin Product Demos
 |
|
Floor demos (no registration required) |
Please visit Booth #625 for information on OneSpin and our award-winning functional verification solutions. We invite you to discuss your company's specific verification needs and challenges with us, and to see how our verification solutions can address your needs.
Kindly register for the following demos to obtain in-depth technical information from our experts.
|
|
Suite demos (registration required) |
Introduction to SVA-based verification using 360 Module Verifier
(30 minutes plus Q&A)
Demonstrates how 360 MV supports standard assertion-based verification flows. Covers: how to import SVA assertions into 360 MV; how to verify and debug both legacy and new assertions; and high-level functional requirements.
Preferred Date/Time #1 Preferred Date/Time #2
or
Attendees
Would you prefer a private demo? Yes No
Breakthrough in formal RTL verification using SVA
(30 minutes plus Q&A)
We will demonstrate OneSpin's latest breakthrough in formal RTL verification, to be announced shortly before DAC. Come and find your path to error-free modules and IP. Watch out for the news announcement shortly before DAC.
Preferred Date/Time #1Preferred Date/Time #2
or
Attendees
Would you prefer a private demo? Yes No
Tutorial: High-level operation verification using SVA
(Once per day, 40 minutes with real-time Q&A)
We will demonstrate the use of a simple, yet powerful SVA library that enables the intuitive capture and verification of a design’s expected high-level behavior – a systematic operation-based approach to RTL verification. The library considerably eases the capture of timing diagrams that express the expected behavior of the design’s operations in a fail-safe manner. It uses a simple subset of SVA primitives, together with tailor-made library elements defined with native SVA, to directly translate timing diagrams into SVA. The library enhances property readability, debug, maintainability and re-use. We will walk through a set of increasingly complex timing diagrams and their respective SVA representations to illustrate the advantages of using the library.
Preferred Date/Time #1Preferred Date/Time #2
or
Attendees
Would you prefer a private demo? Yes No
|
|
Private company meetings (registration required) |
For more in-depth discussion about how OneSpin can address your company's specific verification needs and challenges, please register for a private meeting in a confidential setting. Discuss with our executives, engineering and/or R&D staff topics such as evaluations, verification projects, business partnerships, roadmaps, cooperation models, and others.
Preferred Date/Time #1Preferred Date/Time #2
or
Your specific interests:
Attendees
We look forward to seeing you at DAC!
Would you like to receive more information about OnesSpin and our verification solutions?
Yes No
Comments:
|
