EECS 251B: Graduate Digital Logic Design