Lors du développement d'un SoC, la tâche principale du concepteur est de sélectionner et d'intégrer les IP pour répondre aux besoins applicatifs tout en respectant les délais de mise sur le marché. Or la taille des espaces de conception 'a explorer pour chaque IP est vaste et la sélection des critères à prendre en compte est critique. Ainsi, dans le cas des architectures reconfigurables, la recherche d'adéquation avec le domaine applicatif implique l'exploration de critères tels que la granularité des ressources, le type de topologie ou encore les modes de reconfiguration dynamique. Outre ces aspects architecturaux, la facilité de programmation et la validation fonctionnelle est à considérer car elle influe sur la productivité des concepteurs d'applications. Pour permettre une exploration rapide et efficace du vaste espace de conception des architectures reconfigurables, le concepteur a besoin de méthodes et d'outils pour : (1) évaluer les variantes architecturales suivant différentes métriques (e.g. temps de configuration, nombre de ressources, etc.) ; (2) programmer rapidement et facilement l'unité reconfigurable pour itérer sur plusieurs applications ; (3) valider fonctionnellement une exécution de l'application au niveau système puis par simulation in situ après synthèse. L'exposé présentera l'outil Biniou développé au sein du Lab-STICC MOCS pour adresser ces problématiques.