ECE 554: Fault-Tolerant and Testable Computer Systems