On behavior fault modeling for digital designs

This publication has 12 references indexed in Scilit:

• The KARL/KARATE system-automatic test pattern generation based on RT level descriptions
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Fault and error models for VLSI
  Proceedings of the IEEE, 1986
• Inductive Fault Analysis of MOS Integrated Circuits
  IEEE Design & Test of Computers, 1985
• Design Automation for Digital Systems
  Computer, 1984
• Test Generation Algorithms for Computer Hardware Description Languages
  IEEE Transactions on Computers, 1982
• Functional Level Simulation in FANSIM3 - Algorithms, Data Structures and Results
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1981
• Test Generation for Microprocessors
  IEEE Transactions on Computers, 1980
• Fault Analysis and Test Generation for Programmable Logic Arrays (PLA's)
  IEEE Transactions on Computers, 1979
• Easily Testable Iterative Systems
  IEEE Transactions on Computers, 1973
• Testing for faults in combinational cellular logic arrays
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1967