PSL assertion book suggestion

[thunder]

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