Comparing topological, symbolic and GA-based ATPGs: an experimental approach

This publication has 12 references indexed in Scilit:

• Combinational profiles of sequential benchmark circuits
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Logic verification using binary decision diagrams in a logic synthesis environment
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• HITEC: a test generation package for sequential circuits
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Shared binary decision diagram with attributed edges for efficient Boolean function manipulation
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Advanced techniques for GA-based sequential ATPGs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1996
• An automatic test pattern generator for large sequential circuits based on Genetic Algorithms
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1994
• Sequential circuit test generation in a genetic algorithm framework
  Published by Association for Computing Machinery (ACM) ,1994
• Redundancy identification/removal and test generation for sequential circuits using implicit state enumeration
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1993
• CRIS: A test cultivation program for sequential VLSI circuits
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1992
• On the Acceleration of Test Generation Algorithms
  IEEE Transactions on Computers, 1983