Abstract
This chapter is a tutorial on logic circuit modeling, fault modeling and test generation [5]. Concepts of testing, as used in later chapters, are briefly reviewed. Readers having a basic understanding of these concepts may choose to skip this chapter.
“Testing of large circuits can be very testing.”
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
M. Abramovici, M. A. Breuer, and A. D. Friedman. Digital Systems Testing and Testable Design. Computer Science Press, New York, NY, 1990.
V. K. Agarwal and A. S. Fung. Multiple Fault Testing of Large Circuits by Single Fault Test Sets.IEEE Transactions on computers, C-30(11): 855–865, November 198
V. D. Agrawal. When to Use Random Testing. IEEE Transactions on Computer-Aided Design, C-27(ll): 1054–1055, November 1978.
V. D. Agrawal, K. T. Cheng, and P. Agrawal. A Directed-Search Method for Test Generation using a Concurrent Simulator. IEEE Transactions on Computer-Aided Design, 8(2): 131–138, February 1989.
V. D. Agrawal and S. C. Seth. Test Generation for VLSI Chips. IERE Computer Society Press, Los Alamitos, CA, 1988.
V. D. Agrawal, S. C. Seth, and P. Agrawal. Fault Coverage Requirement in Production Testing of LSI Circuits. IEEE Journal of Solid-State Circuits, SC-17(1):57–61, February 1982.
A. V. Aho, J. E. Hopcroft, and J. D. Ullman. The Design and Analysis of Computer Algorithms. Addison-Wesley Publishing Company, Reading, MA, 1974.
K. T. Cheng and V. D. Agrawal. Unified Methods for VLSI Simulation and Test Generation. Kluwer Academic Publishers, Boston, 1989.
K. T. Cheng, V. D. Agrawal, and E. S. Kuh. A Simulation-Based Method for Generating Tests for Sequential Circuits. IEEE Transactions on Computers, C-39(12):1456–1463, December 1990.
H. Fujiwara. FAN: A Fanout-Oriented Test Pattern Generation Algorithm. In Proceedings of the IEEE International Symposium on Circuits and Systems, pages 671–674, July 1985.
H. Fujiwara. Logic Testing and Design for Testability. MIT Press, Cambridge, Massachusetts, 1985.
H. Fujiwara. Computational Complexity of Controllability/Observability Problems for Combinational Circuits. IEEE Transactions on Computers, C-39(6):762–767, June 1990.
H. Fujiwara and T. Inoue. Optimal Granularity of Test Generation in a Distributed system. IEEE Transactions on Computer-Aided Design, 9(8): 885–892, August 1990.
H. Fujiwara and S. Toida. The Complexity of Fault Detection Problem for Combinational Circuits. IEEE Transactions on Computers, C-31(6): 555–560, June 1982.
M. R. Garey and D. S. Johnson. Computers and Intractability: A Guide to the Theory of NP-Completeness. W.H. Freeman & Company, San Francisco, 1979.
J. Giraldi and M. L. Bushneil. EST: The New Frontier in Automatic Test-Pattern Generation. In Proceedings of the 27th ACM/IEEE Design Automation Conference, pages 667–672, June 1990.
P. Goel. An Implicit Enumeration Algorithm to Generate Tests for Combinational Logic Circuits. IEEE Transactions on Computers, C-30(3): 215–222, March 1981.
O. H. Ibarra and S. K. Sahni. Polynomially Complete Fault Detection Problems. IEEE Transactions on Computers, C-24(3): 242–249, March 1975.
T. Kirkland and M. R. Mercer. A Topological Search Algorithm For ATPG. In Proceedings of the 24thACMIIEEE Design Automation Conference, pages 502–508, June 1987.
G. Kramer. Employing Massive Parallelism in Digital ATPG Algorithms. In Proceedings of the IEEE International Test Coherence, pages 108–121, 1983.
T. Larrabee. Efficient Generation of Test Patterns Using Boolean Difference. In Proceedings of the IEEE International Test Conference, pages 795–801, August 1989.
S. Patil and P. Banerjee. A Parallel Branch and Bound Algorithm for Test Generation. IEEE Transactions on Computer-Aided Design, 9(3): 313–322, March 1990.
J. P. Roth, W. G. Bouricius, and P. R. Schneider. Programmed Algorithms to Compute Tests to Detect and Distinguish Between Failures in Logic Circuits. IEEE Transactions on Electronic Computers, EC-16(5): 567–580, October 1967.
M. H. Schulz, E. Trischler, and T. M. Sarfert. SOCRATES: A Highly Efficient Automatic Test Pattern Generation System. IEEE Transactions on Computer-Aided Design, 7(1): 126–136, January 1988.
E. F. Sellers, M. Y. Hsiao, and L. W. Bearnson. Analyzing Errors with the Boolean Difference. IEEE Transactions on Computers, C-17(7): 676–683, 1968.
N. Singh. An Artificial Intelligence Approach to Test Generation. Kluwer Academic Publishers, Boston, 1987.
V. Sivaramakrishnan, S. C. Seth, and P. Agrawal. Parallel Test Pattern Generation using Boolean Satisfiability. In Proceedings of the 4th CSI/IEEE International Symposium on VLSI Design, New Delhi, pages 69–74, January 1991.
Y. Takamatsu and K. Kinoshita. CONT: A Concurrent Test Generation System. IEEE Transactions on Computer-Aided Design, 8(9): September 1989.
Y. Takamatsu and K. Kinoshita. Extended Selection of Switching Target Faults in CONT Algorithm for Test Generation. J. Electronic Testing: Theory and Applications, 1(3): 183–189, October 1990.
N. A. Zaidi and S. A. Szygenda. Design and Analysis of a Hardware Automatic Test Generation System. In A. P. Ambler, P. Agrawal, and W. R. Moore, editors, CAD Accelerators, pages 103–114. North-Holland, Amsterdam, 1991.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1991 Springer Science+Business Media New York
About this chapter
Cite this chapter
Chakradhar, S.T., Agrawal, V.D., Bushneil, M.L. (1991). Logic Circuits and Testing. In: Neural Models and Algorithms for Digital Testing. The Springer International Series in Engineering and Computer Science, vol 140. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-3958-2_2
Download citation
DOI: https://doi.org/10.1007/978-1-4615-3958-2_2
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-6767-3
Online ISBN: 978-1-4615-3958-2
eBook Packages: Springer Book Archive