Symbolic Path Sensitization Analysis and Applications
Jian Cheng Kang, Sharad C. Seth, Shashank K. Mehta · 2007
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.