Transformation of Equational Specification by Means of Genetic Programming
High Level Synthesis (HLS)is a designing methodology aimed to the synthesis of RT-level hardware devices from behavioral development specifications. In this work we present an evolutionary algorithm in order to optimize circuit specifications by means of a special type of genetic operator. We have named this operator algebraic mutation, carried out with the help of algebraic equations. This work can be classified within the development of an automatic tool of Formal Synthesis by using genetic techniques. We have applied this technique to a simple circuit equational specification and to a much more complex algebraic equation. In the first case our algorithm simplifies the equation until the best specification is found and in the second a solution improving the former is always obtained.
KeywordsGenetic Programming Mutation Operator Crossover Operator Pulse Code Modulation Main Node
Unable to display preview. Download preview PDF.
- 1.W. Banzhaf, P. Nordin, R.E. Keller and F.D. Francone, Genetic Programming An introduction. On the Automatic Evolution of Computer Programs and Its Applications, Morgan Kaufmann, dpunkt.verlag, 1998.Google Scholar
- 2.CCITT, Adaptative differential pulse code modulation (ADPCM), Rec.G.721, Fascicle III. 4, 1998.Google Scholar
- 4.J. I. Hidalgo, Técnicas de partición y Ubicación para Sistemas Multi-FPGA basadas en Algoritmos Genéticos, Tesis doctoral, noviembre 2001.Google Scholar
- 6.J. M. Mendías, R. Hermida, M. Fernández Correct High-Level Synthesis:a Formal Perspective, in Proc. of Design, Automation and Test in Europe, DATE’ 98.Google Scholar
- 7.J. M. Mendías, R.Hermida, M. Fernández Formal Techniques for Hardware Allocation, Proc. of 10th International Conference on VLSI Design, VLSI’ 97.Google Scholar
- 8.R. Poli, W.B. Langdon, On the Search Properties of Different Crossover Operators in Genetic Programming, Genetic Programming 1998: Proceedings of the Third Annual Conference, pages 293–301.Google Scholar
- 9.T. Weinbrenner, Genetic programming kernel Version 0.5.2 C++Class Library, http://thor.emk.e-thecnik.tu-darmstadt.de/~thomasw/gpkernel1.html