Spécification de bibliothèques pour la synthèse de circuits asynchrones. (Libraries specification for the synthesis of asynchronous circuits)

Ce travail de these s'integre dans le developpement de l'outil de conception automatique de circuits asynchrones TAST (" TIMA Asynchronous Synthesis Tool "). C'est un environnement de conception principalement compose d'un compilateur et d'un synthetiseur offrant la possibilite de cibler plusieurs formats de sortie (description comportementale en VHDL, langage C, description structurelle au niveau porte en VHDL) a partir de descriptions de haut niveau decrites en langage CHP. Le resultat produit par le synthetiseur est une description au niveau porte qui utilise une bibliotheque de cellules generiques. Cette these s'attache a la realisation de l'interface entre le " front-end " de l'outil TAST et le " back-end " integrant les outils commerciaux du flot de conception traditionnel. Pour cela, la bibliotheque generique qui permet de decrire le resultat de la synthese a ete specifiee puis developpee. Cette bibliotheque est une description fonctionnelle des portes qui est independante de la technologie. De plus, cette interface comprend des bibliotheques de cellules specifiques qui permettent de concevoir un circuit de type ASIC ou de type FPGA. La specification de la bibliotheque de cellules generiques a necessite une etude approfondie sur les communications a travers un canal. Cette etude presente d'une maniere unifiee les differents moyens pour realiser ces communications et les differentes facons de les implanter au niveau circuit. Pour completer le developpement de la bibliotheque, le probleme de la realisation d'arbitres est aborde dans le cadre elargi de la conception de reseaux de communication sur puce (" Network on Chip ").