//---------------------------------------------------
//
// PROJECT    VERIPAGE   UPDATE
// 
// March 9, 2009
//
//---------------------------------------------------

Welcome to this edition of our newsletter, keeping you up-to-date on SystemVerilog, PSL and SystemC. 

In this issue:

1. PSL Tutorial
2. Can you spot the problem?
3. Have you seen our Book Store lately?
4. Are you receiving this from a friend?
5. Let us know what you want to see on Project VeriPage

//---------------------------------------------------

1. PSL Tutorial

   Starting as an internal development tool at the Haifa Laboratory of IBM in early 90s, today PSL is one of the most widely used assertion language in the world. In 2005, IEEE formally announced it as a standard (IEEE Std. 1850). In this tutorial, Ajeetha Kumari shows you how to use it in your own verification environment.

   <URL: http://www.project-veripage.com/psl_tutorial_1.php>

As always, this and all other articles on Project VeriPage are free. For complete list of articles, please go to:

   <URL: http://www.project-veripage.com/ >

2. Can you spot the problem?

Hal, the Hardware Engineer, can not to find out the final value of the variable z in terms of other variables in the following code. Can you help him?

bit       c, e, o, r, t;
bit [2:0] v, w;
bit [5:0] x, y;
bit [6:0] z;

v = {<<{c,e,r}};
w = {<<{r,o,c}};
x = {>>{v,w}};
y = {<<3{x}};
z = {>>{y,t}};

Tips: 
   (a) You need to know the use of SystemVerilog streaming concatenation operator. 
   (b) Send us your answer to info@project-veripage.com. 
   (c) The answer will be published in the next issue of this newsletter along with the sender of the first correct answer.

Answer to last month's puzzle: 

Vera was passing a dynamic array to an import DPI-C function when the formal is an unsized output. This is a violation of the DPI specification. This is why she got the error message. (To see the original question, go here <URL: http://www.project-veripage.com/newsletter/02_09_2009.txt>).

3. SystemVerilog the old fashioned way - Books! 

   Have you visited Project VeriPage Book Store lately? Fully revamped recently to include the new titles, we have the choicest collection of Digital Design and Verification books (including, yes, books on SystemVerilog, Verilog and PLI) from all over the place.

   <URL: http://www.project-veripage.com/books.php>

Take a look and remember, books are gifts that last a life time.

4. Get your own copy of the newsletter

   If you are receiving this newsletter from a friend, you can get your own copy by subscribing at:

   <URL: http://www.project-veripage.com/list/?p=subscribe&id=1>

5. Let us know what you want to see on Project VeriPage

   The articles on Project VeriPage are created with _you_ in our mind. So, if you have any suggestion for improvement for us, or you want to suggest a topic for new article, write to us: info@project-veripage.com

That's all in this issue. Happy coding!

- Project VeriPage Team.