Symbolic Path Sensitization Analysis and Applications

Authors

Jian Kang, University of Nebraska-LincolnFollow
Sharad C. Seth, University of Nebraska-LincolnFollow
Shashank K. Mehta, Indian Institute of Technology, KanpurFollow

Date of this Version

2007

Comments

Published in 16th IEEE Asian Test Symposium (2007), pp. 439- 444. DOI 10.1109/ATS.2007.21 Copyright © 2007 IEEE. Used by permission.

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.