A parallel algorithm for fault simulation based on PROOFS

This publication has 12 references indexed in Scilit:

• Portable parallel logic and fault simulation
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Parallel logic simulation on general purpose machines
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Fault simulation in a distributed environment
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• A library-based approach to portable, parallel, object-oriented programming: interface, implementation, and application
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• NODIFS: a novel, distributed circuit-partitioning based algorithm for fault simulation of combinational and sequential digital designs on loosely-coupled parallel processors
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Parallel test generation for sequential circuits on general-purpose multiprocessors
  Published by Association for Computing Machinery (ACM) ,1991
• On distributed fault simulation
  Computer, 1990
• Concurrent simulation of nearly identical digital networks
  Computer, 1974
• A Deductive Method for Simulating Faults in Logic Circuits
  IEEE Transactions on Computers, 1972
• On an Improved Diagnosis Program
  IEEE Transactions on Electronic Computers, 1965