Automating the diagnosis and the rectification of design errors with PRIAM

This publication has 7 references indexed in Scilit:

• Debugging integrated circuits: AI can help
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Proving circuit correctness using formal comparison between expected and extracted behaviour
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Using Logic Programming for Fault Diagnosis in Digital Circuits
  Published by Springer Nature ,1987
• Natural deduction as higher-order resolution
  The Journal of Logic Programming, 1986
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986
• The Application of Program Verification to Hardware Verification
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1979
• Binary Decision Diagrams
  IEEE Transactions on Computers, 1978