PSL assertion book suggestion

Discussion in 'VHDL' started by thunder, Aug 8, 2011.

  1. thunder

    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
    thunder, Aug 8, 2011
    #1
    1. Advertising

Want to reply to this thread or ask your own question?

It takes just 2 minutes to sign up (and it's free!). Just click the sign up button to choose a username and then you can ask your own questions on the forum.
Similar Threads
  1. ben cohen
    Replies:
    2
    Views:
    545
    annytom
    Dec 21, 2003
  2. ben cohen
    Replies:
    0
    Views:
    770
    ben cohen
    Jan 27, 2004
  3. Kumar Vijay Mishra

    PSL pros and cons

    Kumar Vijay Mishra, Sep 29, 2004, in forum: VHDL
    Replies:
    2
    Views:
    2,561
    vhdlcohen
    Oct 2, 2004
  4. thunder

    PSL book suggestions

    thunder, Aug 8, 2011, in forum: VHDL
    Replies:
    2
    Views:
    1,558
    Matthias Alles
    Aug 10, 2011
  5. David Belohrad
    Replies:
    1
    Views:
    882
    HT-Lab
    Dec 16, 2011
Loading...

Share This Page