EECS 290A

Advanced Methods in Logic Synthesis and Equivalence Checking

General Information

Course Instructors

Lectures will be given by Professor Brayton, Alan Mishchenko, by students presenting papers, and by outside experts.

Place and Time

Spring 2008, Tues 1:30pm-2:30pm, 540A/B Cory (2-unit course)

Grading

Students will have the option of doing 1) a project using the tool-kit packages of ABC or 2) studying a recent paper in the field and giving a summary/class presentation on the topic. The grade for the course will be based on the student’s participation in class and on his/her project/study.

Class Website

Papers, PowerPoint slides, announcements etc. will be posted on the website.

For additional info, email {brayton, alanmi} at eecs dot Berkeley dot edu