Genetic programming: on the programming of computers by means of natural selection
Genetic programming: on the programming of computers by means of natural selection
Genetic programming: an introduction: on the automatic evolution of computer programs and its applications
Correct high-level synthesis: a formal perspective
Proceedings of the conference on Design, automation and test in Europe
Formal Techniques for Hardware Allocation
VLSID '97 Proceedings of the Tenth International Conference on VLSI Design: VLSI in Multimedia Applications
Evolving computer programs without subtree crossover
IEEE Transactions on Evolutionary Computation
| Hi-index | 0.00 |
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.