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