Fault diagnosis in sequential circuits pdf