Les nouvelles technologies sub-microniques offrent de grandes capacités en terme d'intégration de systèmes qui peuvent satisfaire les applications de traitement du signal, des images et de communications numériques (TDSI) les plus exigeantes. Pour maîtriser ces nouvelles technologies, de nouvelles méthodes de conceptions et outils de CAO voient le jour: conception système et conception comportementale. Si ces méthodes offrent une passerelle efficace entre les concepteurs en algorithmes et les concepteurs en circuits, elles posent cependant de nouveaux problèmes méthodologiques pour l'automatisation de la conception. Notre travail entre dans cette démarche et se focalise en particulier sur la transformation, sous contraintes, des types abstraits utilisés pour les déclarations de variables au niveau de spécification comportementale vers les types « vecteur de bit » que savent intégrer les outils de conception logique. Nous nous plaçons dans le cadre de l'outil de synthèse comportementale GAUT, développé au LESTER pour lequel nous présentons les différents modèles, analyses et méthodes d'optimisation définies et mises en oeuvre pour la maîtrise des bruits de calculs dans les architectures temps réel en précision finie. Les implémentations d'applications de TDSI que nous avons réalisées, montrent l'efficacité et l'importance de cette démarche en terme d'optimisation des architectures....