Synthèse architecturale interactive et flexible
Institution:
Grenoble INPGDisciplines:
Directors:
Abstract EN:
This thesis presents an interactive High Level Synthesis environment called AMICAL. The synthesis process is decomposed into a set of refinement steps. The user can execute these steps automatically, manually or in interactive mode when needed. The synthesis scheme is flexible; it allows several architectural models for the generated data-path ( bus model, multiplexer model) and controller (hardwired, programmable). The main issues developed in this thesis are: The models and steps used for refinements in a synthesis process. Several architectural models are defined for bridging gap between two synthesis steps. The interactive synthesis model. It includes a performance model allowing to estimate the synthesized results, and allows the designer to be a real actor of the synthesis process. The generation of different architectures and their algorithm issues. These architectures are usable as inputs for lower synthesis tools
Abstract FR:
Cette thèse présente plusieurs travaux visant à l'amélioration de la synthèse architecturale réalisée à l'aide de l'outil de synthèse de haut niveau AMICAL. Un point clé de ce travail est la notion d'interactivité. Le processus de synthèse se décompose en un ensemble de raffinements successifs. L'utilisateur a la possibilité d'intervenir au cours de ces différentes étapes et d'agir manuellement, ou au contraire de laisser se dérouler seules l'ensemble des étapes tout en gardant une vision claire des actions effectuées. Ce dernier a de plus le choix entre plusieurs styles architecturaux qu'il pourra implémenter à son gré, ce qui autorise une grande flexibilité. Les points principaux abordés au cours de cette thèse sont les suivants: Les étapes et modèles successifs de raffinement au cours du processus de synthèse: chaque sous-tâche engendre un modèle architectural intermédiaire à partir duquel la sous-tâche suivante pourra agir. La notion d'interactivité: celle-ci inclue la mise au point d'un modèle de performance permettant d'estimer la qualité du circuit synthètisé, et permet au concepteur d'être le véritable acteur de la synthèse tout en l'assistant lors de la prise de décisions. La génération de plusieurs types d'architectures et les problèmes algorithmiques qui y sont liés