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: February 12, 2014

Mid-term Exam II: TBD

Final Exam: TBD

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

Homework: Homework will be assigned weekly and is optional. Homework turned in at the start of class on the due date will be graded by the instructor and returned with a representative grade indicated, but scores will not be recorded. No late homework will be accepted for grading. Homework solutions will be posted after class on the due date. Homework submitted for grading must be done on an individual basis, and students submitting a copy of work done by someone else for grading will be considered to have violated the course policy on academic integrity.