Functional learning: a new approach to learning in digital circuits

This publication has 12 references indexed in Scilit:

• ON THE ACCELERATION OF TEST GENERATION ALGORlTHMS
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• Recursive Learning: An attractive alternative to the decision tree for test generation in digital ci
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• HANNIBAL: An efficient tool for logic verification based on recursive learning
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Functional learning: a new approach to learning in digital circuits
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A new scheme to compute variable orders for binary decision diagrams
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Accelerated dynamic learning for test pattern generation in combinational circuits
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1993
• Improved deterministic test pattern generation with applications to redundancy identification
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1989
• SOCRATES: a highly efficient automatic test pattern generation system
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1988
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986
• An Implicit Enumeration Algorithm to Generate Tests for Combinational Logic Circuits
  IEEE Transactions on Computers, 1981