Critical path tracing as a diagnostic evaluation method for sequential systems
Publisher
The University of Arizona.Rights
Copyright © is held by the author. Digital access to this material is made possible by the University Libraries, University of Arizona. Further transmission, reproduction or presentation (such as public display or performance) of protected items is prohibited except with permission of the author.Abstract
Diagnostic tests are designed to detect and isolate faults in sequential systems. The problem is to evaluate the effectiveness of the design. For stuck faults a diagnostic model can be used. A fault simulation strategy is presented for generating this model. First, definitions, for identifying critical inputs are derived. A definition is a statement of the conditions to sensitize an input. Then a fault free simulation is used to generate a critical value array. A critical path is traced through the sensitized inputs marked in the array using a critical value array tracing algorithm that is developed. This algorithm traces a path back in time, as required for a sequential system, to identify detectable faults for the model.Type
textThesis-Reproduction (electronic)
Degree Name
M.S.Degree Level
mastersDegree Program
Graduate CollegeElectrical and Computer Engineering