Detectable Perturbations: A Paradigm for Technology-Specific Multi-Fault Test Generation
|
Abstract:
Abstract-- This paper introduces the concept of detectable perturbations as a method to generate tests that can then cover any technology-specific faults such as multiple bridging, open and stuck-at faults. Rather than devising a customized test pattern generation system for each class of technology-specific faults, we implemented a generic system to generate tests for single and multiple perturbations. We demonstrate the versatility of this approach by generating tests for a set of large benchmark circuits that have been mapped into single- and multi-output modules. These tests cover single stuck-at, multi-output bridging, stuckat, as well as any mutation faults in the functionality of the technology-mapped cells. Experimental results provide useful insights about the quality of single stuck-at test patterns versus coverages for the additional classes of faults. I.
Citations
| 403 | Synthesis and Optimization of Digital Circuits – DeMicheli - 1994 |
| 26 | A Practical Approach to Fault Simulation and Test Generation for Bridging Faults – Abramovici, Menon - 1985 |
| 25 | Software Testing – Roper - 1994 |
| 17 | Don't care Set Specifications in Combinational and Synchronous Logic Circuits – Damiani, Micheli - 1993 |
| 9 | Release 1.1 – SIS - 1992 |
| 8 | Generating test patterns for bridge faults in CMOS ICs – Chess, Larrabee - 1994 |
| 6 | Introduction of permissible bridges with application to logic optimization after technology mapping – Rohfleisch, Berglez - 1994 |
| 5 | Guide and Tutorials. Xilinx Incorporation, 2100 Logic Drive – User - 1991 |
| 3 | Functionality Test and Don't Care Synthesis – Zemva, Brglez, et al. - 1993 |
| 1 | Detectable Perturbations: A Paradigm for Complete Coverage of Mutation Faults – Zemva, Brglez - 1995 |
| 1 | A Functionality Fault Model: Feasibility and Applications – Zemva, Brglez, et al. - 1994 |
| 1 | Addendum to the ISCAS85 Benchmark Directory – Tromp - 1993 |
