Recuit simulé

Pages: 22 (5266 mots) Publié le: 5 juin 2012
´ 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 unem´ 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 quefaiblement 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´ sentationinter` e e mediaire ind´ pendante de la sp´ cification a et´ pr´ sent´ e e ` ´e e e dans [USpatent]. Les Taylors Expansion Diagrams tels que d´ crit dans ce brevet permettent d’obtenir l’indepene dance voulu vis a vis de la mani` re dont sera implanter la ` e fonctionnalit´ . Il s’agit d’une repr´ sentation cannonique e e qui peut ensuite etre d´ riv´ en diff´ rents graphes flots de ˆ e e e donn´ essuivant les contraintes de l’application. e Cependant, cette repr´ sentation interm´ diaire d´ pend de e e e l’ordre des variables le constituant et cel` influence l’esa pace m´ moire n´ cessaire pour le stocker ainsi que le e e temps d’execution des programmes effectuant des transformations sur le TED. D´ finir l’odre des variables pere mettant de r´ duire la taille de l’arbre ou optimisant le enombre d’op´ ration n´ cessaire est un probl` me connu e e e pour etre NP complet. C’est a la r´ solution de cette ˆ ` e probl´ matique que s’interesse cet article. e La premi` re partie de cet article pr´ sente les Taylor Exe e pansion Diagrams (TEDs), leurs domaines d’applications et en quoi l’ordre des variables est si d´ terminant. La e deuxi` me partie pr´ sentera bri` vement les principes de e ee l’algorithme de recuit simul´ . La troisi` me partie s’ine e teressera a l’application de cette m´ thode de recherche ` e locale au TED. Enfin, la derni` re partie pr´ sentera les e e
2 1

L’augmentation de la taille et de la complexit´ des e syst` mes el´ ctroniques actuelles a n´ cessit´ de relever e ´e e e peu a peu les niveaux d’abstractions des langages de ` sp´ cifications. Il y a pr` sde 20 ans sont apparus des noue e veaux langages de description a hauts niveaux tels que ` le VHDL mais aussi de nouveaux outils de conception permettant d’acc´ lerer le flot de conception. C’est le cas e de la synth` se d’architecture au niveau comportementale e qui permet de passer plus rapidement de la sp´ cification e de l’application a l’implementation logique du circuit. ` Cependant ces...
Lire le document complet

Veuillez vous inscrire pour avoir accès au document.

Vous pouvez également trouver ces documents utiles

  • Le Mariage Simule
  • Jeu simul
  • Mariage simulé et mariage forcé 
  • Intégrer, motiver et simuler la force de vente

Devenez membre d'Etudier

Inscrivez-vous
c'est gratuit !