• Home
  • :
  • Community
  • :
  • Blogs
  • :
  • Cadence Support
  • :
  • Learn SVA If You Know PSL and Learn PSL If You Know SVA

Cadence Support Blogs

XTeam
XTeam
7 Apr 2020
Subscriptions

Get email delivery of the Cadence blog featured here

  • All Blog Categories
  • Breakfast Bytes
  • Cadence Academic Network
  • Cadence Support
  • Custom IC Design
  • カスタムIC/ミックスシグナル
  • 定制IC芯片设计
  • Digital Implementation
  • Functional Verification
  • IC Packaging and SiP Design
  • Life at Cadence
  • The India Circuit
  • Mixed-Signal Design
  • PCB Design
  • PCB設計/ICパッケージ設計
  • PCB、IC封装:设计与仿真分析
  • PCB解析/ICパッケージ解析
  • RF Design
  • RF /マイクロ波設計
  • Signal and Power Integrity (PCB/IC Packaging)
  • Silicon Signoff
  • Spotlight Taiwan
  • System Design and Verification
  • Tensilica and Design IP
  • Whiteboard Wednesdays
  • Archive
    • Cadence on the Beat
    • Industry Insights
    • Logic Design
    • Low Power
    • The Design Chronicles

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.

Tags:
  • video |
  • Support |
  • psa |
  • training bytes |
  • SVL |
  • sva learning channel |