Abstract
In GAs applied to engineering problems (in our case, the optimisation of logic circuits) the fitness function is usually complex and the fitness evaluation is time consuming. The run time is therefore a major consideration when designing a GA for optimisation, thus a look-up table for fitness evaluation is desirable. As a consequence, it is appropriate to limit the number of different chromosome fitness evaluations that any particular run of the GA will be allowed to examine. In this situation the user is uninterested in the number of generations required. It is necessary in this approach to guarantee the users that they will be able to find a good and reliable problem solution within the limited number of evaluations, and hence time available. We refer to this type of GA as a restricted evaluation GA. In this paper we suggest a number of hybrid algorithms which combine a GA with a neighbourhood search (TABU) technique to provide this performance and reliability. The effectiveness of each of these methods is compared and contrasted, and underlying principles are suggested as to why these techniques might prove to be useful in these types of problem.
Preview
Unable to display preview. Download preview PDF.
References
S. B. Akers, “Binary Decision Diagrams”, IEEE Trans. Comput., Vol. C-27, No. 6, pp. 509–516, 1978.
T. Besson, H Bouzouzou, I Floricica, G Saucier and R.Roane, “Input Order for ROBDDs Based on Kernel Analysis,” EuroASIC, EDAC 1993.
K. S. Brace, R. L. Rudell and R. E. Bryant, “Efficient Implementation of a BDD Package”, 27th ACM/IEEE Design Automation Conference, pp. 40–45, 1990.
R. E. Bryant, “Graph-Based Algorithms for Boolean Function Manipulation”, IEEE Trans. on Comput., Vol. C-35, No. 8, pp. 677–691, 1986.
M. Chatterjee, D. K. Pradhan, and W. Kunz, “LOT: Logic Optimization with Testability — New Transformations using Recursive Learning”, ICCAD, 1995.
R. Drechsler, B. Becker and N.Gockel, “A Genetic Algorithm for 2-level AND/EXOR Minimization”, Proc. SASIMI, pp. 49–56, 1995.
R. Drechsler, B. Becker and N.Gockel, “A Genetic Algorithm for Variable Ordering of OBDDs”, ACM/IEEE Workshop on Logic Synthesis, Vol. 5, pp. 55–64, 1995.
R.Drechsler, B. Becker and A. Jahnke, “On Variable Ordering and Decomposition Type Choice in OKFDDs”, Proc. Workshop on Applications of Reed-Muller Expansion in Circuit Design, Japan, pp. 131–136, 1995.
S. J. Friedman and K. J. Supowit, “Finding the Optimal Variable Ordering for Binary Decision Diagrams”, IEEE Trans. Comput., Vol. C-39, No. 5, pp. 710–713, 1990.
M. Fujita and Y. Matsunaga, “Variable Ordering of Binary Decision Diagrams for Multilevel Logic Minimization”, Fujitsu Scientific and Tech. Journal, Vol. 29, pp. 137–145, 1993.
F.Glover, “Tabu search — part I”, ORSA J. Comput, Vol. 1, No. 3, pp. 190–206, 1989.
N. Ishiura, “Synthesis of Multilevel Logic Circuits from Binary Decision Diagrams”, IEICE Trans. Inf. and Syst., Vol. E-76D, No. 9, pp. 1085–1092, 1993.
J.F.Miller and P.Thomson, “Highly efficient exhaustive search algorithm for optimising canonical Reed-Muller expansions of Boolean functions”, Int. J. of Electronics, Vol. 76, No. 4, pp. 601–609, 1994.
J.F. Miller, P. Thomson and P. V. G. Bradbeer, “Ternary Decision Diagram Optimisation of Reed-Muller Logic Functions using a Genetic Algorithm for Variable and Simplification Rule Ordering”, Lecture Notes in Computer Science Vol 993, “Evolutionary Computing”, Springer Verlag, Berlin. pp. 181–190, 1995.
J.F. Miller, P Thomson, “Combinational and Sequential Logic Optimisation using Genetic Algorithms”, GALESIA: 1st IEEE/IEE Joint International Conference on GA Applications, Sheffield, pp. 34–38, 1995.
S. Minato, “Minimum-Width Method of Variable Ordering for Binary Decision Diagrams”, IEICE Trans. Fund., Vol. E-75-A, pp. 392–399, 1992.
N.J.Radcliffe and P.D.Surry, “Formal Memetic Algorithms”, Lecture Notes in Computer Science Vol. 865, “Evolutionary Computing”, Springer Verlag, Berlin. pp. 1–16, 1994.
T. Sasao, “Logic Synthesis and Optimization,” Kluwer Academic Publishers, Mass. Chapter 13, 1993.
T. Sasao, “Representation of Logic Functions using EXOR Operators”, Proc. Workshop on Applications of Reed-Muller Expansion in Circuit Design, Japan, pp. 11–20, 1995.
P.Thomson and J.F. Miller, “Symbolic Method for Simplifying AND-EXOR Representations of Booolean Functions using a Binary Decision Technique and a Genetic Algorithm”, IEE Proceedings on Comp. and Dig Tech., Vol. 143, No. 2 pp 151–155, 1996.
F.-M. Yen and C.-S. Lin, “Building BDDs with Ordering-Reshuffle Strategy,” Electronics Letters., Vol. 29, No. 17, pp. 1540–1541, 1993.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Miller, J.F., Thomson, P. (1996). Restricted evaluation genetic algorithms with Tabu search for optimising Boolean functions as multi-level AND-EXOR networks. In: Fogarty, T.C. (eds) Evolutionary Computing. AISB EC 1996. Lecture Notes in Computer Science, vol 1143. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0032775
Download citation
DOI: https://doi.org/10.1007/BFb0032775
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61749-5
Online ISBN: 978-3-540-70671-7
eBook Packages: Springer Book Archive