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:

• A list of Formal Verification Tools has been uploaded.

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:

• Project proposals have been uploaded.

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 8^th). 11-11.50 class this Friday (September 5^th).
• Summary of assigned reading is NOT due on September 5^th. 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 5^th, Friday.