PSL or SVA?

Formally PSL is part of VHDL-2008.  Currently VHDL does not provide any access to the coverage/assertion information that PSL is tracking.  Hence, currently PSL and SVA provide similar capability.  

In the next revision of VHDL, we have proposals that address this oversight and give the testbench access to the coverage/assertion information in PSL.  At that point, PSL will have a significant advantage over SVA in the VHDL environment because the testbench can then adjust its test generation parameters to steer a test toward things that need to be generated.  

WRT to SV, I think OSVVM compares favorably.  OSVVM’s coverage capability is already a superset of SV.  SV has a constraint solver and OSVVM does not, however, I think this will be replaced by an intelligent testbenches.  See blog post, “Why no constraint solver?”  https://osvvm.wpengine.com/archives/458

I am available for consulting and training if you need help getting the full power of OSVVM.  I also have additional packages that I currently release only to training and consulting clients.   You can reach me at jim@synthworks.com

My views on PSL vs. SVA for VHDL users:

1. PSL is more intuitive choice here as it has VHDL flavor (now that’s part of VHDL 2008). Hence both RTL and Verif team can add 9and debug) assertions. This is very important from a methodology standpoint of adopting ABV.

2. PSL historically has better support in Formal tools than SVA

3. PSL has some nice inheritance features that SVA (not SV-TB/class stuff) doesn’t have

4. PSL’s so called FL (Foundation Layer/language) sub-set is lot more efficient and intuitive to write succinct temporals than SEREs/sequences as in SVA (2005). Note: SVA-09 did add it and calls it LTL, but very few tools support it even today. So if you want to be productive PSL is THE way to go. See: https://www.cvcblr.com/blog/?p=689 for a small example on this.

5. PSL also has SV flavor, so learn one language, both VHDL & SV users can use it.

6. PSL works with E/Specman nicely with built-in action blocks (similar to Jim’s proposals), so this makes it even more compelling.

7.  Last but not the least – it is not all that difficult to migrate from PSL to SVA (or vice versa) if one needs in the future, so get productive with PSL today and if you ever have to migrate to SVA – it is not that hard.

Good Luck

Srini

http://www.cvcblr.com