Logic model for faults, fault detection in combinational and sequential circuits, fault diagnosis design for testability, built-in testing. Prereq: CMPS 581 or consent of instructor. Same as EECE 584.