ECE-C690: Dependable Computing
Homework 2
January 27, 2009
The homework is due in class Monday, February 2, 2009.
Each problem is worth 10 points.
1. Textbook problem 2.8.4 (problem 4, section 2.8)
2. Textbook problem 2.8.8
3. Textbook problem 2.8.14
4. Textbook problem 2.8.15
5. The circuit shown below is a simple 4-bit parity checking circuit. The output of the circuit will be 0 if the
4-bit input has even parity; otherwise, the output of the circuit will be 1. Determine if this circuit is either
fault secure or self-testing for single stuck-at-0 and stuck-at-1 faults. Thoroughly explain why the circuit is,
or is not, fault secure or self-testing.
Fig. 1: Four-bit parity checking circuit
6.
1