Computer Science and Engineering, Department of
Date of this Version
2007
Abstract
A new symbolic approach models the sensitization paths to selected primary output(s) as Boolean equations, with satisfying solutions representing the set of all sources of single and multiple sensitizations in the circuit. The paper discusses two applications of this idea: model-free fault diagnosis and input sensitization analysis.
Comments
Published in 16th IEEE Asian Test Symposium (2007), pp. 439- 444. DOI 10.1109/ATS.2007.21 Copyright © 2007 IEEE. Used by permission.