General Information

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

Office Hours: Monday and Wednesday, 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: Tuesdays and Thursdays, 1:00-2:30 a.m., Earth and Planetary Sciences 102

Mid-term Exam I: February 14, 2012

Mid-term Exam II: March 29, 2012

Final Exam: April 26, 2012

Grading: Three exams, 30% each. Homework/quizzes are 10%.

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.