Conference proceeding
Fault simulation under the multiple observation time approach using backward implications
Proceedings of the 34th annual Design Automation Conference, pp.608-613
DAC '97
06/13/1997
DOI: 10.1145/266021.266297
Abstract
We present an improved procedure for fault simulation under themultiple observation time approach based on state expansion.Under state expansion, an incompletely specified state reachedduring fault simulation is replaced by 2{k} states, each one assigninga different combination to k unspecified present state variables.For each expanded state, additional output values are thenimplied. As a result, a fault that cannot be identified as detectedusing conventional simulation may now be identified as detected.The procedure proposed here enhances state expansion by backwardimplications to take advantage of every present state variablevalue specified under state expansion. As a result of usingbackward implications, fewer states need to be considered afterstate expansion, fewer state expansions are potentially neededfor every fault, and the number of faults that can be efficientlyconsidered is increased. Experimental results are presented tosupport these claims.
Details
- Title: Subtitle
- Fault simulation under the multiple observation time approach using backward implications
- Creators
- Irith Pomeranz - University of IowaSudhakar Reddy - University of Iowa
- Resource Type
- Conference proceeding
- Publication Details
- Proceedings of the 34th annual Design Automation Conference, pp.608-613
- Publisher
- ACM
- Series
- DAC '97
- DOI
- 10.1145/266021.266297
- ISSN
- 0738-100X
- Language
- English
- Date published
- 06/13/1997
- Academic Unit
- Electrical and Computer Engineering
- Record Identifier
- 9984197170102771
Metrics
10 Record Views