Login / Signup

Synthesis for path delay fault testability via tautology-based untestability identification and factorization.

K. Fuchs
Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1995)
Keyphrases
  • fault detection
  • pairwise
  • fault diagnosis
  • matrix factorization
  • program synthesis
  • genetic algorithm
  • shortest path
  • automatic identification
  • factorization method
  • destination node
  • multiple faults