Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Accelerated transition fault simulation
DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
Digital sensitivity: predicting signal interaction using functional analysis
Proceedings of the 1996 IEEE/ACM international conference on Computer-aided design
Test Generation for Path Delay Faults Using Binary Decision Diagrams
IEEE Transactions on Computers
On Generating High Quality Tests for Transition Faults
ATS '02 Proceedings of the 11th Asian Test Symposium
On Invalidation Mechanisms for Non-Robust Delay Tests
ITC '00 Proceedings of the 2000 IEEE International Test Conference
TranGen: a SAT-based ATPG for path-oriented transition faults
Proceedings of the 2004 Asia and South Pacific Design Automation Conference
On the detection of delay faults
ITC'88 Proceedings of the 1988 international conference on Test: new frontiers in testing
Classification and identification of nonrobust untestable path delay faults
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
A unified framework for generating all propagation functions for logic errors and events
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Test set enhancement for quality transition faults using function-based methods
GLSVLSI '05 Proceedings of the 15th ACM Great Lakes symposium on VLSI
Quality Transition Fault Tests Suitable for Small Delay Defects
ICCD '05 Proceedings of the 2005 International Conference on Computer Design
Hi-index | 0.00 |
It is shown how to generate a function that contains all possible tests to detect a transition fault. Moreover, a systematic methodology is presented, that derives the functions for all transition faults based on only two circuit traversals. Quality tests are generated by requiring that the function formulation considers established sensitization criteria to either activate a transition at the fault site or propagate it to a circuit output. Experimental results on the ISCAS'85 and ISCAS'89 benchmarks demonstrate the promise of the method which can also lead to efficient compaction methods for transition faults.