Introduction to mathematical logic (3rd ed.)
Introduction to mathematical logic (3rd ed.)
Equivalence of robust delay-fault and single stuck-fault test generation
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
Testability properties of multilevel logic networks derived from binary decision diagrams
Proceedings of the 1991 University of California/Santa Cruz conference on Advanced research in VLSI
Achieving Complete Delay Fault Testability by Extra Inputs
Proceedings of the IEEE International Test Conference on Test: Faster, Better, Sooner
False-Path Removal Using Delay Fault Simulation
Journal of Electronic Testing: Theory and Applications - Special Issue on the 7th ASIAN TEST SYMPOSIUM, ATS-98
Hi-index | 14.98 |
Multilevel Logic Optimization Transformations used in existing logic synthesis systems are characterized with respect to their testability preserving and testability enhancing properties. A sufficient condition for a multilevel unate circuit to be "hazard free delay fault testable" is presented. In contrast to existing results that consider either "single path propagating hazard free robust tests" or "general robust tests" we consider "multiple path propagating hazard free robust tests" in our analysis.