Good websites for Formal Verification ?

Discussion in 'VHDL' started by thewhizkid, Oct 7, 2003.

  1. thewhizkid

    thewhizkid Guest

    Hi

    I need introductory notes / white papers on Formal Verification.
    Could you give me pointers to resources on the Web ?

    Thanks
    ThEWHizKiD
     
    thewhizkid, Oct 7, 2003
    #1
    1. Advertising

  2. thewhizkid

    VJ Guest

    (thewhizkid) wrote in message news:<>...
    > Hi
    >
    > I need introductory notes / white papers on Formal Verification.
    > Could you give me pointers to resources on the Web ?
    >
    > Thanks
    > ThEWHizKiD


    Tryout the following:
    www.verplex.com
     
    VJ, Oct 7, 2003
    #2
    1. Advertising

  3. thewhizkid

    Spur Guest

    Spur, Oct 7, 2003
    #3
  4. Jerker Hammarberg \(DST\), Oct 7, 2003
    #4
    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. Sebastian Jaeger

    Formal Verification Survey

    Sebastian Jaeger, Oct 24, 2003, in forum: VHDL
    Replies:
    0
    Views:
    1,732
    Sebastian Jaeger
    Oct 24, 2003
  2. ben cohen
    Replies:
    0
    Views:
    799
    ben cohen
    Jan 27, 2004
  3. kitcha
    Replies:
    5
    Views:
    6,744
    kitcha
    Feb 7, 2006
  4. subhash
    Replies:
    0
    Views:
    665
    subhash
    Aug 2, 2006
  5. Replies:
    0
    Views:
    495
Loading...

Share This Page