Ce travail de thèse présente une méthode originale pour la simulation symbolique des circuits décrits au niveau algorithmique. Tout d'abord, la description VHDL du circuit est modélisée sous le forme d'un ensemble d'équations récurrentes (SER) qui décrivent l'état du système à un instant donné en fonction des états précédents. Après une extraction automatique du SER du circuit, l'algorithme de simulation VHDL est exécuté pendant un nombre fixe de cycles déterminé par le concepteur. Pendant la simulation, un scénario de test et une simplification par règles de substitution sont appliqués pour obtenir les expressions symboliques ou numériques de chaque objet du circuit (registre, signal ou port de sortie). Trois modes de test (raisonnement, exécution et mixte) sont définis et expliqués en se basant sur la distinction entre la partie opérative et la partie contrôle de circuit. Le simulateur symbolique et le compilateur sont implémentés avec l'aide du système Mathematica. <br />Une méthodologie de vérification autour de la simulation symbolique avec SER est proposée. Plusieurs paradigmes de vérification (la correspondance de forme, la démonstration de théorèmes et SAT) sont employés sur les résultats de la simulation symbolique pour valider ou prouver les propriétés du circuit. La méthodologie est montrée sur deux circuits de taille réelle (un filtre numérique et une mémoire) et sur de nombreux cas académiques.

Cette these presente une contribution a la compilation de silicium. Elle traite de l'integration d'un outil de synthese architecturale dans<br />les environnements de CAO existants. Il s'agit de la personnalisation de l'architecture abstraite, resultat de la synthese de haut niveau, pour la<br />generation d'une description compatible avec les outils de simulation et de synthese au niveau transfert de registres. Le but etant d'offrir<br />plusieurs modeles architecturaux utilisant differents modeles de synchronisation afin de couvrir les besoins de differentes applications. Apres<br />une introduction de l'outil de synthese architecturale AMICAL et de plusieurs modeles architecturaux au niveau transfert de registres, cette these<br />presente une methode et un outil pour la personnalisation de l'architecture abstraite generee par AMICAL et la traduction des fichiers de sortie<br />donnes en SOLAR en leurs equivalents VHDL. Finalement, une etude comparative des differents modeles architecturaux sur plusieurs<br />exemples est detaillee. Cette etude montre qu'il faut plusieurs modeles architecturaux pour differentes applications. Ces modeles architecturaux<br />se differencient entre eux par leur structure, leur bibliotheque de macro-composants et leur modele de synchronisation utilise.

Mon projet de recherche s'applique en premier lieu à développer et adapter les activités sur lesquelles je travaille depuis 14 ans, à savoir la conception et la réalisation de circuits (amplificateurs et filtres) micro-ondes pour des applications embarquées sur les répéteurs satellite. Pour illustrer cette volonté, j'ai exposé deux des thèmes de recherche (filtres multimodes en bande Ka et amplificateur de puissance à ondes travelling sur substrat silicium), sachant que j'aurai pu également évoquer le fait d'appliquer la méthode des fréquences réelles au traitement des fréquences harmoniques pour les amplificateurs fortement non-linéaires de puissance.<br />Les autres axes de recherche présentés sont tous dans le domaine de la conception de circuits dits radiofréquences. La particularité de ces circuits à application téléphonie mobile ou WLAN se situe au niveau des nouvelles techniques de conception qui diffèrent de l'approche classique du concepteur analogique ; en effet, elles font souvent intervenir des caractérisations électromagnétiques afin d'extraire des modèles électriques équivalents (balun, résonateur BAW). De plus, la montée en fréquence pour certaine des applications RF, autorisant des débits plus grands et donc des bandes passantes plus large (UWB), ou encore les systèmes multi-bande et multi-mode (GSM, DCS, PCS WCDMA, bluetooth) nécessitent des circuits d'adaptation multi-bande ou large bande dont certains pourront directement s'inspirer des architectures micro-ondes existantes.<br />Mon projet de recherche consiste donc à appliquer une approche micro-onde à la conception de circuits intégrés sur silicium. Il ne s'agit évidemment pas de la substituer à l'approche analogique classique, mais au contraire à rendre les deux approches complémentaires, afin qu'elles s'en enrichissent.

x

La technologie facilite l'intégration de nombreux composants sur une puce pour atteindre les performances et les besoins exigés par les applications. La tendance est à l'augmentation de la complexité de tels systèmes, appelés systèmes monopuces. <br />Les systèmes monopuces sont sur un marché très concurrentiel, et l'arrivée rapide du produit sur le marché est très importante. De plus, le coût lié à la conception des parties matérielles et logicielles est très élevé. Détecter une erreur après fabrication entraîne un surcoût financier et de temps non acceptable. Ceci nous entraîne vers les deux problèmes traités dans ce travail de thèse : s'assurer que la système est correct avant sa fabrication et accélérer le processus de conception.<br />Après avoir évalué plusieurs techniques de vérification, nous pensons que le prototypage sur plateforme reconfigurable est une solution adaptée pour les problèmes mentionnés. Ce prototypage permet de vérifier rigoureusement les systèmes grâce à une vitesse élevée, et de tester le système dans son environnement d'utilisation. Il accélère aussi la conception en permettent le développement de certaines couches logicielles avant que le système soit fini.<br />Pour obtenir rapidement un prototype à partir d'une description RTL d'une application, nous proposons un flot de prototypage basé sur une plateforme reconfigurable. Ce flot est composé de quatre étapes : allocation, configuration de la plateforme, adaptation de l'application, et génération du code.<br />Dans l'allocation, les concepteurs associent chaque partie de l'architecture à un nœud de prototypage de la plateforme. Ces associations indiquent sur quelles parties de la plateforme reconfigurable sont réalisées les parties de l'architecture de l'application. La configuration est la réorganisation de la plateforme reconfigurable. L'adaptation consiste à modifier l'application pour satisfaire aux caractéristiques de la plateforme reconfigurable. Cette étape est effectuée si la plateforme ne peut pas être configurée pour s'adapter aux besoins de l'application. Enfin, la génération du code est un processus standard tel que la compilation et l'édition de lien des logiciels, la synthèse logique, le placement sur FPGA, et le routage.<br />Ce flot a été validé en réalisant le prototypage des applications VDSL et DivX. La plateforme utilisée est une plateforme ARM Integrator avec une carte mère, quatre modules processeurs ARM, et d'un module FPGA communiquant à travers un bus AMBA AHB. Une expérience de co-émulation a également été réalisée pour explorer les difficultés et les avantages de cette technique. L'avantage principal est qu'on peut profiter de l'observabilité de la simulation et de la vitesse de l'émulation. <br />Ce travail de thèse montre que l'on peut obtenir rapidement un prototype en utilisant le flot propose sur une plateforme reconfigurable et aussi faciliter le développement des parties logicielles pour accélérer la conception. La configurabilité de plateforme de prototypage et l'intégration du flot de prototypage sur un flot de conception des systèmes restent des problématiques à approfondir.

Pour accroître l'autonomie des systèmes embarqués tels que les téléphones ou les ordinateurs portables, de nombreuses recherches sur la conception de circuits intégrés ont été réalisées en vue de réduire la consommation d'énergie. Ces travaux de thèse ont pour but de proposer au concepteur des moyens de concevoir des circuits intégrés numériques à faible consommation d'énergie. Trois étapes importantes vers la réduction de la consommation d'énergie ont été proposées. L'utilisation de la logique asynchrone représente le premier pas vers la réduction de la consommation d'énergie. En effet, de nombreux travaux réalisés ces dernières années ont montré que les circuits asynchrones présentent la propriété intrinsèque de consommer moins d'énergie que les circuits implémentés en logique synchrone. Le second pas important est d'offrir au concepteur des outils lui permettant d'obtenir des informations sur l'activité et la consommation d'énergie du circuit lors de la conception de celui-ci. Nous avons spécifié un estimateur d'activité et un estimateur de la consommation d'énergie qui permettent au concepteur de collecter des informations pertinentes sur la répartition de l'activité et de la consommation d'énergie d'un circuit lors d'une simulation donnée. Enfin, des techniques d'optimisation sont proposées pour réduire la consommation d'énergie des circuits. La méthodologie d'estimation et les techniques d'optimisation de la consommation d'énergie ont été appliquées à la réalisation d'un processeur, les résultats ont montré une réduction de la consommation d'énergie de 24%.

Les systèmes embarqués multiprocesseur monopuces (Multi-Processor System-on-Chip, MPSoC) visent l'intégration des sous-systèmes variés, matériels et logiciels, sur une seule puce. Ainsi, l'hétérogénéité et les contraintes imposées pour la mise sur le marché rendent l'analyse en vue de l'évaluation des performances et de l'optimisation de ces systèmes très complexes. L'évaluation des performances est une étape clef dans n'importe quel flot de conception. En se basant sur les résultats de l'évaluation des performances, il est possible de prendre des décisions et de réaliser des compromis pour l'optimisation du système global. La littérature prouve qu'une grande partie du temps de conception est passée dans l'évaluation des performances. De plus, les itérations dans le flot de conception deviennent prohibitives pour des systèmes complexes. Par conséquent, la réalisation des MPSoCs à rendement élevé est un défi. La solution est fortement liée à la disponibilité des méthodes rapides et précises pour l'évaluation des performances. Dans cette thèse, le terme « performances » est limité aux performances des temps d'exécution pour la réalisation finale du système. L'aspect temporel est intensivement analysé pour la validation des systèmes temps-réel et l'optimisation des sous-ensembles d'interconnexion. Nous avons également considéré la vitesse de la méthode proposée d'évaluation des performances, car les temps d'évaluation peuvent devenir prohibitifs pour des systèmes MPSoC complexes. Notre principale contribution est de définir une méthodologie globale d'évaluation des performances pour les systèmes MPSoC. Nous avons également orienté notre recherche vers les performances de l'exécution du logiciel. On a considéré l'évaluation des performances pour un modèle de haut niveau d'abstraction, afin d'avoir une vitesse élevée d'évaluation. De plus, on a inclus des annotations des temps d'exécution, afin d'avoir une bonne précision d'évaluation.

Une étude bibliographique sur les supercondensateurs a permis de faire le bilan des technologies développées et des applications potentielles, d'expliquer le principe de fonctionnement et la physique assez particulière de ces dispositifs et surtout de dégager un modèle théorique équivalent, tenant compte des différents phénomènes liés aux caractéristiques de la couche double électrique et aux procédés et matériaux entrant dans la fabrication de ces composants. En se basant sur cette théorie, nous avons pu élaboré un modèle équivalent de supercondensateurs, avec pour objectif un degré de complexité ne pénalisant ni la fidélité (précision du modèle), ni l'accessibilité (détermination et mesure des paramètres du modèle), ni l'exploitation (utilisation et intégration du modèle dans les outils et supports de simulation). Une procédure expérimentale bien déterminée a été établie pour l'identification des paramètres du modèle et un travail expérimental et de simulation conséquent a permis de valider le modèle proposé.

À seulement quinze ans après leur découverte par Sumio Iijima, les nanotubes de carbone sont devenus un des piliers de la nanotechnologie. La géométrie parfaite et la nature unidimensionnelle confère aux nanotubes des propriétés structurelles, mécaniques, électroniques et optiques exceptionnelles. En conséquence, on s'attend à ce que les nanotubes envahissent des applications clef telles que les écrans à émission de champ, le stockage d'énergie, les composites structuraux, la nanoélectronique, les capteurs et les actuateurs, etc. <br />Cette thèse porte sur l'application de nanotubes de carbone dans le captage biochimique. Son but principal est d'utiliser et d'étendre les outils théoriques des nanotubes pour la conception des dispositifs de captage. Dans cette thèse nous proposons deux architectures différentes de captage. Le premier implique un principe électromécanique et peut être employé dans la mesure des forces faibles (~piconewtons) ou la détection des supramolécules (~zeptogrammes). Le deuxième capteur est basé sur le changement de conductance d'un nanotube de carbone exposé aux acides aminés aromatiques. La validation de ces deux architectures différentes est réalisée à l'aide de la modélisation et de la simulation.<br />L'effort principal de cette thèse a été concentré sur le développement de méthodes de simulation très efficaces par rapport au grand nombre d'atomes employés. Un problème récurrent que nous avons rencontré est le scaling cubique dans le nombre d'atomes, du calcul de la conductance quantique. Nous sommes parvenus à rendre le calcul de la conductance linéaire par des techniques d'espace réel.

Ces dernières années, la complexité des puces a augmenté exponentiellement. La possibilité d'intégrer plusieurs processeurs sur la même puce représente un gain important, et amène au concept du système multiprocesseur hétérogène sur puce (MP-SoC). Cet aspect a permis d'amplifier de manière significative la puissance de calcule fourni par ce type de puce. Il est même devenu possible d'intégrer des applications complexes sur une seule puce, applications qui nécessitent beaucoup de calculs, de communications et de mémoires. Dans cette catégorie, on peut trouver les applications de traitement vidéo MPEG4. Pour obtenir de bonnes implémentations en termes de performances, (1) un algorithme de l'encodeur MPEG4 flexible a été réalisé, pouvant être facilement adapté pour différents types de paramètres d'algorithme, mais également différents niveaux de parallélisme/pipeline. Puis, (2) une modélisation flexible a été utilisée, pour représenter différents models d'algorithme et d'architecture contenant 2 SMP. Utilisant ces models, (3) une exploration d'algorithme et d'architecture à un haut niveau d'abstraction a été proposé, en vue de trouver les configurations correctes d'algorithme et d'architectures, nécessaires pour différents applications. A partir de ces configurations, (4) un flot automatique d'implémentation d'architectures RTL a été utilisé. En utilisant ces aspects, l'encodeur MPEG4 a été implémenté avec succès dans plusieurs architectures spécifiques MP-SoC au niveau RTL. La même approche a été utilisée pour l'implémentation de l'encodeur MPEG4 sur une architecture quadri-processeurs existante, pour différentes résolutions, frame-rate, bitrates, etc.