PSL

Hi Girish

In case you're not aware of it, the Cadence tools like IUS and IFV now come with a really good documentation browser called "cdnshelp". If you run cdnshelp, it opens a GUI where you can search the docs for terms like "vunit".

I'd recommend to read the IFV docs - look into the "book" called "Assertion Writing Guide" in cdnshelp, then navigate into "Using PSL", followed by "Placing PSL Assertions" and finally the section called "Putting PSL Assertions in Verification Units". This gives a lot of detail, but also a good overview on what to put in the vunit, the syntax and how the vunit binds to the design.

In summary though, a vunit is a side-file that you compile along with your Verilog / VHDL source code. It effectively gets inserted into the module that it binds to, as though you'd typed the vunit code directly in the same module. This lets you access all the module's internal nets, and even add new Verilog code to assist the assertions (e.g. to decode a signal or count values).

Note that you don't have to put your PSL inside comments in a vunit, since the compiler already knows to expect PSL keywords in the vunit.

Hope this helps. Let us know if you need more help.

Steve.

Hi Steve

I went through the cdnshelp directory but i did not find anything called Assertion Writing Guide

please Help me procure the documents / book

regards

natg

I've attached a screenshot of my cdnshelp view, does that help?
By the way, the default view in cdnshelp can be changed to look like mine if you go the the View menu and select "Navigation->Tree View". You can set this permanently via the Edit->Settings menu.

There is another alternative: Look up the document on the web:

http://sourcelink.cadence.com/docs/files/Release_Info/Docs/abvwrite/abvwrite8.2/abvwriteTOC.html

Regards,

Joerg.

Hi Steve

this is after the help tab opens a doc

my problem is that i am unable to open the help itself so you need to guide me to this document by stating the path

wherein i can open this particlar document

regards

natg

Well, I'm not sure what you tried so far, so here's a couple of suggestions:

1. Use the web link that Joerg posted.

2. "cdnshelp" is a program that you run. If "ifv" is on your PATH, then cdnshelp should also be visible and executable. Just try running cdnshelp as a Unix command.

3. If for some reason you cannot find cdnshelp on your path, run it using the full path name: <path_to_ifv_install>/tools/bin/cdnshelp

4. If this still doesn't work, you can try the PDF version of the docs. In <path_to_ifv_install>/doc/ you'll find a bunch of directories, and inside those are PDF files, so the ABV Writing Guide is stored in doc/abvwrite/abvwrite.pdf.

Hi

Thanks a lot for the link

regards

natg

Thanks Steve

i have been able to invoke it using the command prompt

regards

natg