Learn SVA If You Know PSL and Learn PSL If You Know SVA

Training Bytes, Cadence’s self-paced learning videos, are the solution for you to get immediate answers to your specific questions. No waiting, no cost, no travel!

With Training Bytes, you can focus on one topic and get up to speed with just a short 5- to 10-minute video.

Interested in PSL (Property Specification Language) and SVA (SystemVerilog Assertions)? The two are more similar than you think. By exploiting the similarities between PSL and SVA, one can easily and quickly learn one language if one is familiar with the other. Did you know that there was an alignment committee led by IEEE to ensure that SVA and PSL used syntax as similar as possible?

If this sounds cool to you, there's a whole video on it here on COS.

You can also look at The Difference Between SVA and PSL. While the previous video explains the similarities between the two languages, this video explains the differences.

And if you would like to dig deeper, these videos are part of the very extensive SVA Learning Channel.

There, you can find many more interesting topics, including:

• 5 SVA Coding Guidelines
• Improving Formal Verification Performance
• How to Reuse SVA Properties
• What Is the Minimum Number of Characters Needed to Create an SVA Property Which You Don’t Understand

Just search “Efficient SVA Explained by Examples (Video)” into the search field on Cadence Support--or use the link above--and you will find yourself in the SVA Learning Channel.

Of course, there’s lots of other topics covered there—just check it out yourself!

You’ll also find selected Training Bytes on YouTube.

You feedback is important to us. Tell us how you like our Training Bytes. Send your message to eur_training@cadence.com.