General Information

Instructor, William D. Richard, Ph.D., Bryan Hall 307B, 314-935-4676, wdr@wustl.edu

Office Hours: Tuesdays and Thursdays, 1:00-3:00 p.m. or by appointment

Course Web Page: http://classes.engineering.wustl.edu/cse460t

Text: Logic Synthesis and Verification Algorithms by Hachtel and Somenzi

Class Meeting: Mondays and Wednesdays, 11:30 a.m. - 1:00 p.m., Lab Sciences 250

Mid-term Exam I: TBD

Mid-term Exam II: TBD

Final Exam: TBD

Grading: Three exams, 33.33% each. Homework/quizzes are 0%.

Homework: Homework will be assigned weekly. It will be due the class period after it is assigned. Homework will be turned in at the start of class on the due date. No late homework will be accepted. Homework should be done on an individual basis but you may confer with your friends, course consultants, graders, etc.