Are you experienced in using SVA?
It’s been around for a long time, and it’s tempting to think there’s nothing new to learn.
Have you ever come across situations where SVA can’t solve what appears to be a simple problem?
- What if you wanted to code an assertion that a signal rises at any time, but once it has risen, it stays high forever?
- What if you wanted to cover the same thing? Would the same property(s) work?
- What if you wanted to code an assumption that, eventually, no new requests are ever made on an input again?
Are SVA local variables useful for anything?
Do they do anything that you couldn’t code in another way? How would you know?
Sure, you can refer to the SystemVerilog Language Reference Manual IEEE-1800, but how do you know your interpretation is correct? How would you know if the test case you created covers all scenarios?
The good news is that you don’t need to!
All these questions can be answered by the Jasper Visualize Interactive Debug Environment—with close to zero effort. Just like your own SVA questions.
You’ll also have full confidence that your test case is correct per LRM and has been exhaustively checked using formal techniques.
Watch the recording of the Webinar with Cadence´s Sr. Principal Education Application Engineer Mike Avery which demonstrates how Jasper Visualize and WaveEdit provide an easy-to-use vehicle, so you can get the answers to your own questions—quickly and easily.
You can access the video by using your Cadence Support account (email ID and password). If you don’t have a Cadence Support account, go to Registration Help or Register Now, and complete the requested information.
Solve Tricky SVA Problems with Jasper Visualize and WaveEdit (Webinar)
This video also includes some new features we think you’ll enjoy: Menu (TOC), CC (enabled by default), and Speed Rate. Another helpful feature is the Search function, available under the TOC icon. Search for any word contained in the complete audio transcript, you’ll see the word in context, make your selection, and jump to that part in the video.
Want to learn more?
We can recommend the following trainings:
Please note that there are also Digital Badgesavailable
We can also organize this trainings for you as an instructor-led training rather than live or as a blended training. Please reach out to us at Cadence Training if you are interested in this.
You might also want to check out the Jasper University!
Want to stay up to date on webinars and courses? Subscribe to Cadence Training emails.
Related Blogs:
- PACMAN and Using Jasper for Security Verification
- Jasper User Group 2022: Ziyad's SOTU
- Jasper C2RTL App for Datapath Verification
- Training Insights - Embracing Datapath Verification with Jasper C2RTL App