Which assertion language is good to start with - PSL or SVA?

[kumar33]

PSL or SVA

Hi All,

As a Fresher which assertion language is good to start with - PSL or SVA?
Whether Industry is moving towards SVA from PSL?
Thanks,
Kumar

 

[koggestone]

Re: PSL or SVA

both are IEEE standards,but for longterm , i would bet on SVA since its a part of SV.

 

[ljxpjpjljx]

Re: PSL or SVA

SVA is more popular and OVL is also a good choice!

 

[hdlcohen]

Re: PSL or SVA

Having written books on both languages, I definitely prefer SVA it has a lot of very nice features.
In fact, we just came out with a new book "SystemVerilog Assertions Handbook, 2nd Edition" that includes the IEEE 1800-2009 updates.
For more information, see https://systemverilog.us/sva2_toc_preface.pdf
https://systemverilog.us/sva_handbook2_cover.jpg

SystemVerilog Assertions Handbook, 2nd Edition is an excellent reference for learning the basics of the assertion language. The book includes the new IEEE 1800-2009 updates for the assertions and the application of the checker. Syntax summaries along side examples help in learning the syntax. There are many examples with graphical representations that demonstrate the concepts. Basic rules are listed, often with quotes from the standard, and then explained. The book goes beyond the standard to demonstrate many subtleties that produce unexpected results and poor performance, and flags the pitfalls to avoid. It is a great refresher for experienced users and for those looking to understand what is new in the SVA language for the IEEE 1800-2009 release. Additional chapters present methodology and application perspectives. This book is co-authored by:
Ben Cohen, Srinivasan Venkataramanan, Ajeetha Kumari, and Lisa Piper

 

[kumar33]

PSL or SVA

HI All,

Thanks alot

-Kumar