Contribution à la Synthèse de Haut Niveau de circuits spéculatifs

Cette thèse porte sur la synthèse de haut niveau de circuits spéculatifs. Elle étend les travaux existants sur la synthèse de haut niveau de processeurs à jeu d'instructions en ajoutant à cette approche des mécanismes qui ne sont pas spécifiques à la conception de processeurs.
    L'objectif de la synthèse de haut niveau spéculative est de permettre de concevoir automatiquement des circuits spéculatifs à partir d'une description comportementale dans un langage de haut niveau tel que le C ou le C++. Pour faire cela, notre approche consiste à insérer les mécanismes nécessaires à la spéculation grâce à des transformations de compilateurs, et notamment avec la représentation Gated-SSA des programmes.
  En particulier, cette thèse propose une approche d'exploration d'espace de conception pour déterminer où et comment insérer les mécanismes de spéculation. Nous proposons également une approche permettant de prendre en compte les conflits de ressources et d'insérer les mécanismes de spéculation pour tirer un maximum parti du partage de ressources. Enfin, nous proposons des optimisations permettant de diminuer le surcoût en ressources lié à l'insertion des mécanismes de spéculation dans les circuits générés.