SVA

[Ashay]

Hi,
Can somebody help please tell me a good SVA(System Verilog Assertions)
web-page.

--Thanks and Best Regards,
Ashay

 

[Srinivasan Venkataramanan]

Hi Ashay,
As such I am unaware of a SVA tutorial page as of today (soon I
may write one), but if you have access to VCS, you are sure to find lots of
examples under $VCS_HOME, in VCS documentation etc. Also, www.abv-sva.org
has examples from our new SVA Handbook. Needless to say, our book has
lots-and-lots of examples.

HTH,
Sri

--
Srinivasan Venkataramanan
Co-Author: SystemVerilog Assertions Handbook, http://www.abv-sva.org
Co-Author: Using PSL/SUGAR for Formal and Dynamic Verification 2nd Edition.
http://www.noveldv.com
I own my words and not my employer, unless specifically mentioned
"Ashay" <saurabh_verma78@yahoo.com> wrote in message
news:1109146472.133650.120200@f14g2000cwb.googlegroups.com...

Hi,
Can somebody help please tell me a good SVA(System Verilog Assertions)
web-page.

--Thanks and Best Regards,
Ashay