Digital systems testing and testable design - Abramovici, Miron (Electrical engineering communications and signal processing series., 1990)