Synthesis for testability: Binary Decision Diagrams

This publication has 14 references indexed in Scilit:

• Efficient implementation of a BDD package
  Published by Association for Computing Machinery (ACM) ,1990
• Parallel pattern fault simulation of path delay faults
  Published by Association for Computing Machinery (ACM) ,1989
• 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
• The complexity of symmetric boolean functions
  Published by Springer Nature ,1987
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986
• Binary Decision Diagrams
  IEEE Transactions on Computers, 1978
• Fault Modeling and Logic Simulation of CMOS and MOS Integrated Circuits
  Bell System Technical Journal, 1978
• Easily Testable Iterative Systems
  IEEE Transactions on Computers, 1973
• Representation of Switching Circuits by Binary-Decision Programs
  Bell System Technical Journal, 1959