Computing, School of
School of Computing: Conference and Workshop Papers
Accessibility Remediation
If you are unable to use this item in its current form due to accessibility barriers, you may request remediation through our remediation request form.
Date of this Version
2007
Document Type
Article
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.