Diagnosis & reliable design of digital systems (Digital system design series)