Synthesis for Testability: Binary Decision Diagrams

This publication has 11 references indexed in Scilit:

• Hochintegrierte Schaltungen: Prüfgerechter Entwurf und Test
  Published by Springer Nature ,1991
• Hierarchical design based on a calculus of nets
  Published by Association for Computing Machinery (ACM) ,1987
• Realistic fault modeling for VLSI testing
  Published by Association for Computing Machinery (ACM) ,1987
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986
• Physical Versus Logical Fault Models MOS LSI Circuits: Impact on Their Testability
  IEEE Transactions on Computers, 1980
• Binary Decision Diagrams
  IEEE Transactions on Computers, 1978
• Fault Modeling and Logic Simulation of CMOS and MOS Integrated Circuits
  Bell System Technical Journal, 1978
• Diagnosis & Reliable Design of Digital Systems
  Published by Springer Nature ,1976
• Easily Testable Iterative Systems
  IEEE Transactions on Computers, 1973
• Representation of Switching Circuits by Binary-Decision Programs
  Bell System Technical Journal, 1959