Diagnosis and Design of Reliable Digital Systems