Methods for reducing events in sequential circuit fault simulation
- 10 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
Methods are investigated for reducing events in sequential circuit fault simulation by reducing the number of faults simulated for each test vector. Inactive faults, which are guaranteed to have no effect on the output or the next state, are identified using local information from the fault-free circuit in one technique. In a second technique, the Star-algorithm is extended to handle sequential circuits and provides global information about inactive faults, based on the fault-free circuit state. Both techniques are integrated into the PROOFS synchronous sequential circuit fault simulator. An average 28% reduction in faulty circuit gate evaluations is obtained for the 19 ISCAS-89 benchmark circuits studied using the first technique, and 33% reduction for the two techniques combined. Execution times decrease by an average of 17% when the first technique is used. For the largest circuits, further improvements in execution time are made when the Star-algorithm is included.Keywords
This publication has 8 references indexed in Scilit:
- Sequential Circuit Test Generator (STG) benchmark resultsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Combinational profiles of sequential benchmark circuitsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- PROOFS: a fast, memory efficient sequential circuit fault simulatorPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Why is less information from logic simulation more useful in fault simulation?Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Differential fault simulation - a fast method using minimal memoryPublished by Association for Computing Machinery (ACM) ,1989
- Concurrent simulation of nearly identical digital networksComputer, 1974
- A Deductive Method for Simulating Faults in Logic CircuitsIEEE Transactions on Computers, 1972
- On an Improved Diagnosis ProgramIEEE Transactions on Electronic Computers, 1965