Login / Signup

Using BDDs and ZBDDs for Efficient Identification of Testable Path Delay Faults.

Saravanan PadmanabanSpyros Tragoudas
Published in: DATE (2004)
Keyphrases
  • binary decision diagrams
  • heuristic search
  • neural network
  • dynamic programming
  • fault detection
  • random graphs
  • multiple faults