
ECE 598
SV
Formal Hardware/SoC Verification
Announcements
October 24, 2008:
·
The Presentation Schedule has been uploaded.
October 19, 2008:
- A correction has been made to
Question 3 in the assignment. The new pdf file has been uploaded.
October 17, 2008:
October 9, 2008:
- Assignment
has been uploaded. It is due on October 22,Wednesday
October 6, 2008:
- New links added under Symbolic
Model Checking.
October 2, 2008:
September 22, 2008:
- Additional reading section updated
under Surveys and CTL Model Checking.
- Paper summary due on Wednesday,
September 24.
- CTL supplemental notes have been
added in the Notes section.
September 7, 2008:
- Additional reading section
updated with new links under LTL Model Checking.
- A rough draft of Lecture Notes have been added.
September 3, 2008:
- New Class timings, starting next
Monday (September 8th). 11-11.50 class this Friday (September 5th).
- Summary of assigned reading is NOT due on September 5th.
New due date will be announced later.
- Papers selected so far for
individual topic presentations are now online.
Please follow the same text format while sending your confirmed selection
of topic/papers.
August 30, 2008:
- Send me an email about the
topics that you would like to see addressed in your part of the class
(presentation). You can meet me individually to agree upon the 2 papers
that you will present. This needs to be done by Sep 5th.
- Summary of assigned reading due
on September 5th, Friday.