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/index.php/Main_Page

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 Exams: TBD

Final Exam: TBD

Grading: Four exams, 22.5% each. Homework/quizzes are 10%.

Homework: Homework will be assigned weekly. It will be due one week 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.