Abstract
Concurrent error detection schemes in digital systems are often based upon error-detecting codes. In [9], we presented a methodology for encoding the states of sequential machines using convolutional codes for on-line detection of sequencing errors. In conjunction with this methodology, we defined an equivalence relation on convolutional codes that exhaustively characterizes the possible transient error detection capabilities and complexities of sequential machine realizations based upon convolutional codes. In this paper, we determine the number of equivalence classes of (n, k, 1) convolutional codes generated by minimal encoders requiring k memory elements and provide a procedure for generating representatives from each equivalence class.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Armstrong, D. B., "A General Method of Applying Error Correction to Synchronous Digital Systems", Bell System Technical Journal, v. 40, n. 2, March 1961, pp. 577–593.
Russo, R. L., "Synthesis of Error-Tolerant Counters Using Minimum Distance Three State Assignment", IEEE Transactions on Computers, v. ec-14, June 1965, pp. 359–366.
Sellers, Frederick F., Jr., Mu-Yue Hsaio, Leroy W. Bearnson, Error Detecting Logic for Digital Computers. McGraw-Hill, Inc.: New York, New York, 1986.
Das, Santanu and Henry Y. H. Chuang, "A Unified Approach to the Realization of Fail-Safe Sequential Machines", IEEE Proceedings of the Fourth Annual International Symposium on Fault-Tolerant Computing, 1974, pp. 3-2–3-6.
Namjoo, Masood, "Design of Concurrently Testable Microprogrammed Control Units", CRC Technical Report No. 82-6, Stanford University, Stanford, CA, June 1982.
Shen, John Paul and Michael A. Schuette, "On-Line Self-Monitoring Using Signatured Instruction Streams", IEEE International Test Conference, 1983, pp. 275–282.
Sridhar, T. and S. M. Thatte, "Concurrent Checking of Program Flow in VLSI Processors", IEEE International Test Conference, 1982, pp. 191–199.
Duran J. and T. E. Mangir, "A Design Approach for a Microprogrammed Control Unit with Built-in Self Test", ACM Proceedings of the 16th Annual Microprogramming Workshop, 1983, pp. 55–60.
Holmquist, Lawrence P. and L. L. Kinney, "Error Detection with Latency in Sequential Circuits", IEEE International Test Conference, 1988, pp. 926–933.
Holmquist, Lawrence P., "Concurrent Error Detection with Latency in Sequential Circuits", Ph.D. Dissertation, University of Minnesota, Minneapolis, November 1989.
Forney, G. David, "Convolutional Codes I: Algebraic Structure", IEEE Transactions on Information Theory, v. 16, n. 6, November 1970, pp. 720–738.
Piret, Ph., Convolutional Codes: An Algebraic Approach, Cambridge, Massachusetts: The MIT Press, 1988.
Lin, Shu and Daniel J. Costello, Jr., Error Control Coding: Fundamentals and Applications. Englewood Cliffs, New Jersey: Prentice-Hall, Inc., 1983.
Peterson, W. Wesley and E. J. Weldon, Jr., Error-Correcting Codes. Cambridge, Massachusetts: The MIT Press, 1972.
McCoy, Neal H. and Thomas R. Berger, Algebra: Groups, Rings, and Other Topics. Boston, Massachusetts: Allyn and Bacon, Inc., 1977.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Holmquist, L.P., Kinney, L.L. (1991). Concurrent error detection in sequential circuits using convolutional codes. In: Mattson, H.F., Mora, T., Rao, T.R.N. (eds) Applied Algebra, Algebraic Algorithms and Error-Correcting Codes. AAECC 1991. Lecture Notes in Computer Science, vol 539. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54522-0_107
Download citation
DOI: https://doi.org/10.1007/3-540-54522-0_107
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54522-4
Online ISBN: 978-3-540-38436-6
eBook Packages: Springer Book Archive