DocumentCode
2198568
Title
Symbolic Path Sensitization Analysis and Applications
Author
Kang, Jian ; Seth, Sharad C. ; Mehta, Shashank K.
Author_Institution
Univ. of Nebraska - Lincoln, Lincoln
fYear
2007
fDate
8-11 Oct. 2007
Firstpage
439
Lastpage
444
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Asian Test Symposium, 2007. ATS '07. 16th
Conference_Location
Beijing
ISSN
1081-7735
Print_ISBN
978-0-7695-2890-8
Type
conf
DOI
10.1109/ATS.2007.21
Filename
4388051
Link To Document