Hardware Verification -- CS 395t -- Homepage

Homepage: http://www.cs.utexas.edu/users/hunt/class/2004-fall/cs395t/cs395t.html


     Unique Number:  54310
 Class Room Number:  Welch 3.266
	Class Time:  Tuesday, 10:00 -- 1:00 pm

  Office Locations:  Taylor 2.108, Main 2012
      Office Hours:  Monday, 2:00 -- 4:00 pm, Available MWF, 10:00 -- noon
	Instructor:  Warren A. Hunt, Jr.

Below is an approximate syllabus for the class. We may adjust the content to suit the interests of the class.

01   Sep  2  Introduction
02   Sep  7  Basic Modeling
03   Sep 14  Boolean Logic
04   Sep 21  FSMs and their specification
05   Sep 28  Reachability
06   Oct  5  Circuit Verification by Induction
07   Oct 12  Model Checking
08   Oct 19  Project Proposal Presentations
09   Oct 26  ?
10   Nov  2  Erik on SAT for ACL2 and Hardware
11   Nov  9  Final Exam
12   Nov 16  FMCAD
13   Nov 23  Project Presentations
14   Nov 30  Project Presentations

Return to CS395t course homepage.