Symbolic method for circuit testability and fault diagnosis in time domain