|
|
|
|
|
|||||||
 |
VHDL - Good websites for Formal Verification ? |
|
|
Thread Tools | Search this Thread |
10-07-2003, 07:27 AM
|
#1 |
Good websites for Formal Verification ?
Hi
I need introductory notes / white papers on Formal Verification. Could you give me pointers to resources on the Web ? Thanks ThEWHizKiD thewhizkid |
|
|
|
10-07-2003, 11:52 AM
|
#2 |
|
Posts: n/a
|
Re: Good websites for Formal Verification ?
(thewhizkid) wrote in message news:<. com>...
> 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 |
|
|
|
10-07-2003, 01:47 PM
|
#3 |
|
Posts: n/a
|
Re: Good websites for Formal Verification ?
(thewhizkid) wrote in message news:<. com>...
> Hi > > I need introductory notes / white papers on Formal Verification. > Could you give me pointers to resources on the Web ? > > Thanks > ThEWHizKiD Try http://www.haifa.il.ibm.com/projects...lications.html Spur |
|
|
|
10-07-2003, 04:04 PM
|
#4 |
|
Posts: n/a
|
Re: Good websites for Formal Verification ?
In fact, I put together a tutorial on Formal Verification in my Master's
thesis, maybe you'll find it interesting. http://www.ida.liu.se/~x02jerha/Rapport.pdf , go for chapter 4. /Jerker Jerker Hammarberg \(DST\) |
|
|
|
| Thread Tools | Search this Thread |
|
|
Similar Threads
|
||||
| Thread | Thread Starter | Forum | Replies | Last Post |
| Need examples of GOOD Anime | Geo H | DVD Video | 84 | 05-20-2008 06:04 AM |
| Re: recommend a good interactive cdrom/online training course? | Anthony | A+ Certification | 2 | 09-04-2004 08:35 AM |
| Seems like skippy disc does good work: some email exchange on thesubject | Jeff Smithpeters | DVD Video | 0 | 09-20-2003 11:25 PM |
| Question about DVD websites | Joshua Davis | DVD Video | 3 | 09-20-2003 12:23 AM |
| DVD Verdict reviews: THE GOOD THIEF, VENOM, DARK BLUE, and more! | DVD Verdict | DVD Video | 0 | 09-04-2003 10:04 AM |
