Automated logic synthesis of random pattern testable circuits

This publication has 16 references indexed in Scilit:

• Synthesis of pseudo-random pattern testable designs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Methodology for efficiently inserting and condensing test points
  IEE Proceedings E Computers and Digital Techniques, 1993
• The testability-preserving concurrent decomposition and factorization of Boolean expressions
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1992
• Automatic test point insertion for pseudo-random testing
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1991
• Improved techniques for estimating signal probabilities
  IEEE Transactions on Computers, 1989
• MIS: A Multiple-Level Logic Optimization System
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1987
• A dynamic programming approach to the test point insertion problem
  Published by Association for Computing Machinery (ACM) ,1987
• DAGON: technology binding and local optimization by DAG matching
  Published by Association for Computing Machinery (ACM) ,1987
• Monte-Carlo algorithms for enumeration and reliability problems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1983
• Random-Pattern Coverage Enhancement and Diagnosis for LSSD Logic Self-Test
  IBM Journal of Research and Development, 1983