Abstract
This paper presents an encoding technique that is common for many different logic synthesis problems. It enables us to construct a system of Boolean functions, and then to decompose this system into sub-systems in such a way that a dependency of functions, included into each sub-system, on the respective arguments is reduced. For complex applications such type of encoding has a high computational complexity and the paper proposes a novel evolutionary algorithm for the solution of this problem.
Chapter PDF
References
S. Baranov, Logic Synthesis for Control Automata (Kluwer Academic Publishers, 1994).
V. Sklyarov, Reconfigurable models of finite state machines and their implementation in FPGAs, Journal of Systems Architecture, 47, 2002, pp. 1043–1064.
V. Sklyarov, Synthesis of Finite State Machines Based on Matrix LSI (Minsk, Science and Technique, 1984).
J. Torresen, Possibilities and Limitations of Applying Evolvable Hardware to Real-World Applications, Proceedings of FPL, Villach, Austria, August, 2000, pp. 230–239.
A. Thompson, P. Layzell, and R.S. Zebulum, Exploration in Design Space: Unconventional Electronics Design Through Artificial Evolution, IEEE Transactions on Evolutionary Computations, vol. 3, No. 3, September, 1999, pp. 167–176.
C. Manovit, C. Aporntewan, and P. Chongstitvatana, Synthesis of Synchronous Sequential Logic Circuits from Partial Input/Output Sequences, Proceedings of ICES’98, Evolvable Systems: From Biology to Hardware, Springer, N 1478, 1998, pp. 98–105.
H. Hemmi, J. Mizoguchi, and K. Shimohara, Development and Evolution of Hardware Behaviors, Toward Evolvable Hardware, Springer, N 1062, 1996, pp. 250–265.
J. Mizoguchi, H. Hemmi, and K. Shimohara, Production genetic algorithms for automated hardware design through an evolutionary process, IEEE Conference on Evolutionary Computations, 1994, pp. 250–265.
J.R. Koza, F.H. Bennet III, D. Andre, and M.A. Keane, Genetic Programming HI (Morgan Kaufmann Publishers, 1999).
J.F. Miller, P. Thomson, and T. Fogarty, Designing Electronic Circuits Using Evolutionary Algorithms. Arithmetic Circuits: A Case Study, Genetic Algorithms and Evolution Strategies in Engineering and Computer Science (John Wiley&Sons, 1998), pp. 105–131.
Z. Michalewicz and D.B. Fogel, How to Solve It: Modern Heuristics (Springer, 2000).
V. Sklyarov, Synthesis of Control Circuits with Dynamically Modifiable Behavior on the Basis of Statically Reconfigurable FPGAs, Proceeding of 13th Symposium on Integrated Circuits and Systems Design: SBCCI, Manaus, Brazil, 18–24 September 2000, pp. 353–358.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 International Federation for Information Processing
About this paper
Cite this paper
Sklyarov, V., Skliarova, I. (2006). Evolutionary Algorithm for State Encoding. In: Bramer, M. (eds) Artificial Intelligence in Theory and Practice. IFIP AI 2006. IFIP International Federation for Information Processing, vol 217. Springer, Boston, MA . https://doi.org/10.1007/978-0-387-34747-9_24
Download citation
DOI: https://doi.org/10.1007/978-0-387-34747-9_24
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-34654-0
Online ISBN: 978-0-387-34747-9
eBook Packages: Computer ScienceComputer Science (R0)