Input Bridging Fault and Non Feedback Bridging Fault Detection and Test Vector Generation by Boolean Satisfiability Method
DOI:
https://doi.org/10.14419/ijet.v7i3.12.16105Keywords:
Boolean Satisfiability, Input Bridging Fault, Non Feedback Bridging Fault, Test Vectors.Abstract
The input bridging faults and non feedback bridging fault( short between lines) occurs due to improper soldering.This paper enumerates the Fault detection and high quality test vector generation for these faults by using Boolean Satisfiability method with the help of JAVA code.This method can be adapted to deal with many faults in the combinational circuits.
Â
Â
References
[1] Michele Favalli and Marcello Dalpasso “Boolean and PseudoBoolean Test Generation for Feedback Bridging Faults†IEEE Trans on Computers, VOL. 65, NO. 3, MARCH 2016
[2] Soumitrakumarmandal,â€Digital electronics principles and applications†Tata Mc GrawHill private limited ,New Delhi
[3] T. Larrabee, “Test pattern generation using Boolean satisfiabilityâ€IEEE Trans. Comput.-Aided Design Integr. Circuits Syst., vol. 11,no. 1, pp. 4–15, Jan. 1992.
[4] R. Drechsler, et al., “Test Generation Using Boolean Proof Enginesâ€.New York, NY, USA: Springer Verlag, 2009.
[5] M. Favalli and M. Dalpasso, “How many test vectors we need to detect a bridging fault?†J. Electron. Testing, vol. 25, no. 1, pp. 79–95, 2009.
[6] Chih-Ang Chen and Sandeep K. Gupta, “Satisfiability-Based Test Generatorfor Path Delay Faults in Combinational Circuits “Design Automation Conference Proceedings 1996.
[7] A. Biere, M. Heule, H. V. Mareen, and T. Walsh, Eds.,â€Handbook of Satisfiability.†Amsterdam, The Netherlands: IOS Press, 2009.
Downloads
How to Cite
Received date: July 23, 2018
Accepted date: July 23, 2018
Published date: July 20, 2018