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.
Join Cadence Training and Sr. Principal Education Application Engineer Mike Avery for this free technical Training Webinar.
We will demonstrate how Jasper Visualize and WaveEdit provide an easy-to-use vehicle, so you can get the answers to your own questions—quickly and easily.
Date and Time
07:00 PST / 10:00 EST / 15:00 GMT / 16:00 CET / 17:00 IST (Israel) / 20:30 IST / 23:00 CST
To register for the “Solve Tricky SVA Problems with Jasper Visualize and WaveEdit” webinar, use the REGISTER button below and sign in with your Cadence Support account (email ID and password) to log in to the Learning and Support System. Then select “Enroll” to register for the session. Once registered, you’ll receive a confirmation email containing all login details.
If you don’t have a Cadence Support account, go to Registration Help or Register Now, and complete the requested information.
For questions and inquiries, or issues with registration, reach out to us:
Europe, Middle East, and Africa: email@example.com
USA: Bonnie Ip
India: Preeti P Gowda
China: Cathy Li
Japan: Yuji Shimazaki
You might also want to check out the Jasper University!