T
thunder
Guest
Hi All
We have started using PSL assertins for our VHDL IP.
I have downloadded some material from Google search and have written a
small number of assertions.
I wondered if any one has any suggestions for books to act as a more
advanced tutorial/reference om PSL assertions.
The google search pointef me to Ben Cohens' book on PSL/Sugar. I
wonder if any one has used this book and if so have any comments on
it.
Thanks in advance
JO
We have started using PSL assertins for our VHDL IP.
I have downloadded some material from Google search and have written a
small number of assertions.
I wondered if any one has any suggestions for books to act as a more
advanced tutorial/reference om PSL assertions.
The google search pointef me to Ben Cohens' book on PSL/Sugar. I
wonder if any one has used this book and if so have any comments on
it.
Thanks in advance
JO