Publications

Publications

< retour aux publications

Méthode de sélection de checkpoint matériel avec outil de synthèse de haut niveau

Auteur(s) : A. Bourge, A. Ghiti, O. Muller, F. Rousseau

Doc. Source: Journées Nationales du Réseau Doctoral en Microélectronique (JNRDM'14)

Pages : 4

Les puces reconfigurables (FPGA) représentent une ressource de calcul flexible et puissante mais encore trop peu utilisées dans cette optique. Les outils permettant une intensification de l’intégration des FPGA dans les flots de calculs actuels ne sont pas matures. C’est pourquoi nous cherchons a donner au domaine les outils nécessaires à sa croissance. En particulier, l’article suivant montre comment nous mettons en place une solution permettant de donner une réponse au problème du changement de contexte dans le domaine matériel. Deux spécificités caractérisent notre solution. D’une part, on a cherché a diminuer le surcoût lié a l’extraction du contexte d’une tâche matérielle. D’autre part, la sélection des points de sauvegarde s’effectue a haut niveau, avant synthèse logique, grâce au logiciel AUGH, et apporte donc certains avantages sur lesquels nous reviendrons.