Abstract
In the previous chapters, we developed our theory assuming a digital model of a neuron. This is useful as it allowed us to solve the test generation problem for digital circuits. In later chapters, we will research several applications of the discrete models. However, the real neurons are analog elements and we must examine how well the present solution will work if actual neural network hardware was available. In this chapter, we present a solution to the test generation problem using a neurocomputer that contains special hardware to perform energy minimization for analog neural networks [4]. We also wrote a computer program on a SUN 3/50 workstation to simulate the network. Both results are in agreement and demonstrate the feasibility of our approach.
“The original question, ’Can machines think?’ ,I believe to be too meaningless to deserve discussion. Nevertheless I believe that at the end of the century the use of words and general educated opinion will have altered so much that one will beable to speak of machines thinking without expecting to be contradicted.” — A.M. Turing in “Computing Machinery and intelligence”,Mind, Vol. LIX, No. 236 (1950).
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
V. D. Agrawal and S. C. Seth. Test Generation for VLSI Chips. TRRR Computer Society Press, Los Alamitos, CA, 1988.
A. V. Aho, J. E. Hopcroft, and J. D. Ullman. The Design and Analysis of Computer Algorithms. Addison-Wesley Publishing Company, Reading, MA, 1974.
J. Alspector and R. B. Allen. A Neuromorphic VLSI Learning System. In P. Loseleben, editor, Advanced Research in VLSI: Proceedings of the 1987 Stanford Conference, pages 313–349. MIT Press, Cambridge, Massachus-setts, 1987.
ANZA — Neurocomputing Coprocessor System. Computer, 21(9): 99, September 1988.
L. E. Atlas and Y. Suzuki. Digital Systems for Artificial Neural Networks. IEEE Circuits and Devices Magazine, 5(6): 20–24, November 1989.
S. T. Chakradhar, V. D. Agrawal, and M. L. Bushnell. On Test Generation Using Neural Computers. International Journal of Computer Aided VLSI Design, 3, March 1991.
S. T. Chakradhar, M. L. Bushnell, and V. D. Agrawal. Automatic Test Pattern Generation Using Neural Networks. In IEEE Proceedings of the International Conference on Computer-Aided Design, pages 416–419, November 1988.
D. Coppersmith and S. Winograd. Matrix Multiplication via Arithmetic Progressions. In Proceedings of the 19th Annual ACM Symposium on Theory of Computing, pages 1–6, May 1987.
P. Hansen, B. Jaumard, and M. Minoux. A Linear Expected-Time Algorithm for Deriving All Logical Conclusions Implied by a Set of Boolean Inequalities. Mathematical Programming, 34(2): 223–23l, March 1986.
J. J. Hopfield and D. Tank. Neural Computation of Decisions in Optimization Problems. Biological Cybernetics, 52(3): 141–152, July 1985.
M. L. James, G. M. Smith, and J. C. Wolford. Applied Numerical Methods for Digital Computation. Harper and Row Publishers, New York, NY, 1985.
J. L. Johnson. A Neural Network Approach to the 3-Satisfiability Problem. Journal of Parallel and Distributed Computing, 6(2): 435–439, Febru ary 1989.
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.
C. D. Kornfeld, R. C. Frye, C. C. Wong, and E. A. Rietman. An Optically Programmed Neural Network. In Proceedings of the International Conference on Neural Networks, San Diego, CA, volume 2, pages 357–364, July 1988.
T. Larrabee. Efficient Generation of Test Patterns Using Boolean Difference. In Proceedings of the IEEE International Test Conference, pages 795–801, August 1989.
P. R. Schneider. On the Necessity to Examine D-Chains in Diagnostic Test Generation. IBM Journal of Research and Development, 11(1):114, January 1967.
B. Soucek and M. Soucek. Neural and Massively Parallel Computers — The Sixth Generation. John Wiley & Sons, Wiley Interscience publications, New York, NY, 1988.
The TTL Data Book for Design Engineers, Second edition, page 199. Texas Instruments, 1973.
S. Warshall. A Theorem on Boolean Matrices. Journal of the ACM, 9(1): l1–12, January 1962.
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). Neural Computers. 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_8
Download citation
DOI: https://doi.org/10.1007/978-1-4615-3958-2_8
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-6767-3
Online ISBN: 978-1-4615-3958-2
eBook Packages: Springer Book Archive