Lectures will be given by Professor Brayton, Alan Mishchenko, by students presenting papers, and by outside experts.
Spring 2007, Tues 1:30pm-3:30pm, 540A/B Cory.
There will be a common project in the course on the implementation of a sequential equivalence checker. The grade for the course will be based on the student’s participation in the class and on the project.
Papers, PowerPoint slides, announcements etc. will be posted on the website.
For additional info, email {brayton, alanmi} at eecs dot