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 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.