´ Application du recuit simule pour l’optimisation des Taylor Expansion Diagrams
´ ´ Guillot Jeremie1 ,Marc Sevaux1 , Maciej Ciesielski2 , Emmanuel Boutillon1 Laboratoire LESTER Universit´ de Bretagne Sud e Centre de recherche Rue de Saint Maude 56100 Lorient jguillot@univ-ubs.fr University of Massachusetts Department of Electrical & Computer Engineering 209B Knowles Engineering Building Amherst , MA 01003 ciesiel@ecs.umass.edu
R´ sum´ Dans un graphe de type Taylor Expansion Diae e gram (TED), d´ finir l’ordre des variables minimisant la e taille du graphe est un probl` me NP complet au mˆ me e e titre qu’il l’est aussi pour les arbres de type Diagramme de D´ cision Binaire (BDD). Cet article pr´ sente une e e contribution a la r´ solution de cette probl´ matique en uti` e e lisant une m´ thode d’optimisation classique inspir´ e de la e e m´ tallurgie appel´ e ( recuit simul´ ) ( Simulated Ane e ( e )ou ( nealing ) anglais. L’impact des param` tres d’intensifi)en e cation et de diversification est pr´ sent´ et une m´ thode e e e d’ajustement automatique de ces param` tres en fonction e du TED est propos´ e. e Mots-cl´ s : Recherche Op´ rationnelle, Taylor Expansion e e Diagram, Recuit Simul´ . e 1 INTRODUCTION criptions HDL de l’application ne contiennent pas seulement une description de la fonctionnalit´ a r´ aliser mais e` e contiennent aussi la mani` re permettant de la construire e (le ”comment”). Les outils de synth` se comportementale e HLS (High Level Synthesys) se basant sur la description HDL du design se trouvent contraint a ne produire ` des solutions que faiblement d´ riv´ es de la sp´ cification e e e alors qu’il ne s’agit bien souvent que d’une petite partie de l’espace de solutions. Ces outils construisent la solution architecturale a partir de la mise a plat des calculs a ` ` ` r´ aliser selon le graphe flot de donn´ es (DFG) obtenu die e rectement a l’aide d’une analyse du code HDL. Pour pal` lier a ce probl` me l’utilisation d’une repr´ sentation