Self-Checking and Fault-Tolerant Digital Design