Title :
Symbolic Path Sensitization Analysis and Applications
Author :
Kang, Jian ; Seth, Sharad C. ; Mehta, Shashank K.
Author_Institution :
Univ. of Nebraska - Lincoln, Lincoln
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.
Keywords :
Boolean functions; fault diagnosis; sensitivity analysis; Boolean equations; fault diagnosis; symbolic path sensitization analysis; Application software; Boolean functions; Circuit faults; Circuit testing; Computer science; Difference equations; Encoding; Fault diagnosis; Logic circuits; Logic testing;
Conference_Titel :
Asian Test Symposium, 2007. ATS '07. 16th
Conference_Location :
Beijing
Print_ISBN :
978-0-7695-2890-8
DOI :
10.1109/ATS.2007.21
