Abstract
Synchronous finite state machines are very important for digital sequential designs. Among other important aspects, they represent a powerful way for synchronizing hardware components so that these components may cooperate adequately in the fulfillment of the main objective of the hardware design. In this paper, we propose an evolutionary methodology based on the principles of quantum computing to synthesize finite state machines. First, we optimally solve the state assignment NP-complete problem, which is inherent to designing any synchronous finite state machines. This is motivated by the fact that with an optimal state assignment, one can physically implement the state machine in question using a minimal hardware area and response time. Second, with the optimal state assignment provided, we propose to use the same evolutionary methodology to yield an optimal evolvable hardware that implements the state machine control component. The evolved hardware requires a minimal hardware area and imposes a minimal propagation delay on the machine output signals.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Bibliography
ACM/SIGDA, Collaborative Benchmarking and Experimental Algorithmics, 1989.
M.-R. Akbarzadeh-T and A.-R. Khorsand, Quantum Gate Optimization in a Meta-Level Genetic Quantum Algorithm, In Proceedings…, volume 4, pages 3055–3062, Piscataway, NJ, USA, 2005, IEEE Int. Conference on Systems, Man and Cybernetics, IEEE Press.
Belgasem Ali, Evolutionary Algorithms for Synthesis and Optimization of Sequential Logic Circuits, Doctor of philosophy, School of Engineering of Napier University, Edinburgh, UK, 2003.
J.N. Amaral, Kagan Tumer, and Joydeep Glosh, Designing Genetic Algorithms for the State Assignment Problem, IEEE Transactions on Systems, Man, and Cybernetics, 25 (4), pp. 686–694, apr. 1995.
D.B. Armstrong, A Programmed Algorithm for Assigning Internal Codes to Sequential Machines, IRE Transactions on Electronic Computers, EC-11(4), pp. 466–472, feb. 1962.
Taylor L. Booth, Sequential Machines and Automata Theory, John Wiley & Sons, New York, USA, 1967.
Milos Ercegovac, Tomas Lang, and Jaime H. Moreno, Introduo aos Sistemas Digitais, Bookman, Porto Alegre, Brasil, 1999.
Kuk-Hyun Han and Jong-Hwan Kim, Quantum-Inspired Evolutionary Algorithm for a Class of Combinatorial Optimization, IEEE Transactions on Evolutionary Computation, 6 (6), pp. 580–593, dec. 2002.
J. Hartmanis, On the state assignment problem for sequential machines, IRE Transactions on Electronic Computers, EC-10 (2), pp. 157–165, dec. 1961.
Tony Hey, Quantum computing, Comput. Control Eng. J., 10 (3), pp. 105–112, june 1999.
Robert Hinterding. Representation, Constraint Satisfaction and the Knapsack Problem, In Proceedings of the Congress on Evolutionary Computation, volume 2, pages 1286–1292, Piscataway, NJ, USA, 1999. IEEE Press.
W. S. Humphrey, Switching Circuits with Computer Applications, McGraw-Hill, New York, USA, 1958.
Ajit Narayanan, Quantum computing for beginners, In Proceedings…, volume 3, pages 2231– 2238, Piscataway, NJ, USA, 1999. Congress on Evolutionary Computation, IEEE Press.
Nadia Nedjah and L. M. Mourelle, Evolutionary Synthesis of Synchronous Finite State Machines, In Nadia Nedjah and L. M. Mourelle, editors, Evolvable Machines, pages 103– 128. Springer-Verlag, Berlin, Germany, 1 edition, 2005a.
V. T. Rhyne, Fundamentals of digital systems design, Computer Applications in Electrical Engineering Series, Prentice-Hall, 1973.
Berkeley Logic Synthesis and Verification Group, Abc, 2005.
Gexiang Zhang et al., Novel Quantum Genetic Algorithm and its Applications, Frontiers of Electrical and Electronic Engineering in China, 1 (1), pp. 31–36, jan. 2006.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2010 Atlantis Press/World Scientific
About this chapter
Cite this chapter
Nedjah, N., Araujo, M.P.M., Mourelle, L.d.M. (2010). Mealy Finite State Machines: A Quantum Inspired Evolutionary Approach. In: Intelligence for Nonlinear Dynamics and Synchronisation. Atlantis Computational Intelligence Systems, vol 3. Atlantis Press. https://doi.org/10.2991/978-94-91216-30-5_2
Download citation
DOI: https://doi.org/10.2991/978-94-91216-30-5_2
Publisher Name: Atlantis Press
Online ISBN: 978-94-91216-30-5
eBook Packages: Computer ScienceComputer Science (R0)