VHDL 2008/ PSL Verification: Book Recommendation

[Tobias Baumann]

Hi,

I'm trying to improve my verification processes for VHDL designs and IP
cores with VHDL 2008 and PSL. Therefore I used "The designers guide to
VHDL - Third Edition" (Peter J. Ashenden). Now I want to go further and
need some more specific literature.

Maybe someone has a hint which book is recommendable to buy? There are
two references in the Ashenden book:

[1] A Practical Introduction to PSL, C. Eisner and D. Fisman, 2006
[2] Assertion-Based Design, H. D. Foster et al, 2003

Are there any other good books on the market you can suggest?

Thanks a lot!

Best regards
Tobias

 

[HT-Lab]

On 17/06/2014 14:56, Tobias Baumann wrote:

Hi,

I'm trying to improve my verification processes for VHDL designs and IP
cores with VHDL 2008 and PSL. Therefore I used "The designers guide to
VHDL - Third Edition" (Peter J. Ashenden). Now I want to go further and
need some more specific literature.

Maybe someone has a hint which book is recommendable to buy? There are
two references in the Ashenden book:

[1] A Practical Introduction to PSL, C. Eisner and D. Fisman, 2006
[2] Assertion-Based Design, H. D. Foster et al, 2003

Are there any other good books on the market you can suggest?

Thanks a lot!

Best regards
Tobias

Hi Tobias,

I have Ben Cohen's book which is OKish but I only started to appreciate
PSL (or I hope I do) after going onto a PSL course. I know they are not
particular cheap but it will get you up to speed in just a few days.
There is no problem learning PSL (or SVA) from a book but there are
certain constructs like multiple clocks which you really need to have
explained (multiple times in my case) by an expert.

I would suggest you look into sequences and the cover directive first so
that you can impress your boss with some quick functional coverage, then
ask for about a training budget.....;-)

Good luck,

Hans
www.ht-lab.com

 

[Tobias Baumann]

Am 18.06.2014 12:07, schrieb HT-Lab:

I have Ben Cohen's book which is OKish but I only started to appreciate
PSL (or I hope I do) after going onto a PSL course. I know they are not
particular cheap but it will get you up to speed in just a few days.
There is no problem learning PSL (or SVA) from a book but there are
certain constructs like multiple clocks which you really need to have
explained (multiple times in my case) by an expert.

I would suggest you look into sequences and the cover directive first so
that you can impress your boss with some quick functional coverage, then
ask for about a training budget.....;-)

Hello Hans,

thank you for sharing your experiences. I think if I want to visit a PSL
course, my boss would let me go. But honestly, I'm a person who needs to
learn autodidactically, at least the basics.

If I have a good basic knowledge, then it makes sense to go deeper with
courses. So maybe the Ben Cohen book is a good start. If not - 60$ is
not the world

Thanks a lot,
Tobias