Les dernières technologies comme la 65nm, 45nm et la nouvelle technologie 32nm qui sera disponible à la fin de 2010, permettent la production de circuits de plus en plus complexes avec des performances très élevées. Ces nouvelles technologies imposent donc de nouveaux challenges pour la conception de circuits, mais également pour les méthodologies de test de fabrication et de diagnostic. De ce point de vue, les défaillances observées dans ces technologies ne peuvent pas être modélisées par des fautes classiques de collage. Les fautes de délai, de court-circuit, de circuit ouvert, etc. doivent également être prises en compte. Dans ce contexte, l'objectif de cette thèse a été de développer une méthode de diagnostic logique capable à la fois de traiter un ensemble complet de modèles de fautes et de fournir une localisation fiable et précise des défaillances dans un système sur puce. Ce manuscrit est organisé comme suit. Dans la première partie, les modèles de faute existants sont analysés afin de montrer les conditions de sensibilisation de chacun d'eux. La deuxième partie présente une méthode de diagnostic logique basée sur une approche « Effet-à-Cause». La dernière partie propose une nouvelle technique de diagnostic basée sur une approche « Cause-à-Effet » et permettant de traiter les circuits séquentiels. Les deux approches de diagnostic proposées exploitent les conditions de sensibilisations afin de cibler un ensemble élargi de modèles de fautes durant le processus de diagnostic. Les deux techniques sont validées sur un ensemble important de circuits benchmark et sur des systèmes sur puce fournis par la société STMicroelectronics. / Latest technologies like 65nm, 45nm and the next 32nm technology available at the end of 2010, allow the production of more and more complex and vey high performance circuits. These technologies lead to face with new challenges related to design, test and diagnosis. From this perspective, failures observed in these recent technologies can no longer be modeled by the classical stuck-at fault model. Delay faults, short-circuits, opens, etc. have also to be considered. In this context, the purpose of this thesis has been to develop a logic diagnosis approach able to deal with many types of faults as well as providing an accurate and reliable localization of failures in a system on chip. This manuscript is organized as follows. In the first part, existing fault models are analyzed in order to show the sensitization conditions related to each of them. The second part presents a logic diagnosis method based on the 'Effect-Cause' paradigm. The last part proposes another diagnosis technique based on the 'Cause-Effect' paradigm to deal with sequential circuits. The two proposed diagnosis approaches exploit the sensitization conditions in order to be able to consider a large set of fault models during the diagnosis process. Both techniques have been validated on a large set of benchmark circuits and on System-On-Chips provided by STMicroelectronics.

Même si la réduction des apports de nutriments dans les écosystèmes aquatiques est généralement envisagée avec des approches « effects-based », ce n’est pas le cadre qui a été suivi dans cette thèse. En effet, dans une démarche de développement durable, il semble plus pertinent, de définir des mesures de contrôle de la pollution agissant sur les relations de cause à effet. Selon cette logique, la méthodologie proposée par la Directive Cadre sur l’Eau (DCE) pour protéger les écosystèmes aquatiques présente plusieurs faiblesses. Par le fait qu’elle réfère à certains principes de l’économie standard de l’environnement, l’analyse économique de la DCE pose plusieurs problèmes pour agir sur la causalité de la pollution. Néanmoins, la méthodologie proposée par la DCE est pertinente par le fait qu’elle recommande l’utilisation combinée de mesures techniques et d’instruments pour diminuer les dommages environnementaux. Conformément à cette disposition, l’effet de mesures techniques et d’instruments sur le secteur agricole et sur la chaine alimentaire l’englobant a été évalué puisque cette dernière est responsable de la majorité des émissions diffuses et ponctuelles d’azote et de phosphore dans les eaux de surface. La définition de mesures techniques en fonction de l’efficience de l’utilisation des nutriments (Nutrient Use Efficiency, NUE) dans la production agricole a été complétée par l’étude des instruments économiques utilisés dans la Politique Agricole Commune (PAC) pour développer une agriculture multifonctionnelle. Si la thèse concerne de manière générale l’eutrophisation des écosystèmes aquatiques, elle se penche plus particulièrement sur les pressions au sein du bassin de l’Escaut et sur leurs impacts jusqu’à la zone côtière de la mer du Nord. Des mesures techniques agissant sur les causes des émissions diffuses du secteur agricole et sur les émissions ponctuelles des stations d’épuration ont été proposées pour ce bassin. Ces mesures techniques ont été caractérisées prioritairement par leur efficacité environnementale (grâce aux modèles Sénèque-Riverstrahler et MIRO) et en fonction de leurs coûts directs. <p><p>/<p><p>Although reducing the load of nutrients in aquatic ecosystems is usually looked at through "effects-based" approaches, this is not the context which this paper has chosen to follow. In fact, keeping in line with sustainable development, it seems more relevant to define measures to control pollution which act on cause and effect relations. According to this way of thinking, the methodology proposed by the Water Framework Directive (WFD) to protect aquatic ecosystems presents a number of weaknesses. By the fact that it refers to certain standard economic principles for the environment, the WFD’s economic analysis poses several problems towards acting on the cause of the pollution. Nevertheless, the methodology proposed by the WFD is relevant, as it recommends the combined use of technical measures and of instruments to reduce environmental damage. In accordance with this disposition, an assessment has been made of the effect of technical measures and instruments on the agricultural sector and on the food chain encompassing it, since the food chain is responsible for the majority of diffuse and point emissions of nitrogen and phosphorus in surface waters. The definition of technical measures in terms of efficient use of nutrients (Nutrient Use Efficiency, NUE) in agricultural production has been complemented by a study of economic instruments used in the Common Agricultural Politicy (CAP) to develop a multifunctional type of agriculture. Although the paper deals with the eutrophication of aquatic ecosystems in a general way, it concentrates particularly on the increasing pressures in the Scheldt basin and on their impacts as far as the North Sea coastal zone. Technical measures acting on the causes of diffuse emissions in the agricultural sector and on point emissions in the water treatment plants have been proposed for this basin. These technical measures have been categorised in order of priority according to their environmental effectiveness (thanks to the Sénèque-Riverstrahler et MIRO models) and depending on their direct costs. / Doctorat en Sciences agronomiques et ingénierie biologique / info:eu-repo/semantics/nonPublished