On diagnosis and correction of design errors

This publication has 12 references indexed in Scilit:

• Automating the diagnosis and the rectification of design errors with PRIAM
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Locating logic design errors via test generation and don't-care propagation
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Characterization of Boolean functions for rapid matching in EPGA technology mapping
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Efficient automatic diagnosis of digital circuits
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• An algorithm for locating logic design errors
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• On determining symmetries in inputs of logic circuits
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1994
• Locating functional errors in logic circuits
  Published by Association for Computing Machinery (ACM) ,1989
• Formal verification of hardware correctness: introduction and survey of current research
  Computer, 1988
• Logic design verification via test generation
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1988
• Detection of Group Invariance or Total Symmetry of a Boolean Function*
  Bell System Technical Journal, 1956