Dissertations / Theses on the topic 'Circuits imprimés – Simulation par ordinateur'
To see the other types of publications on this topic, follow the link: Circuits imprimés – Simulation par ordinateur.
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Circuits imprimés – Simulation par ordinateur.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
1
Atintoh, Ange. "Modélisation thermomécanique 3D de circuits imprimés." Electronic Thesis or Diss., Université de Lorraine, 2023. http://www.theses.fr/2023LORR0123.
Abstract:
Les évolutions rapides dans l'industrie et l'intégration croissante de l'électronique dans de nouveaux environnements ont créé une nécessité accrue de maîtrise de fiabilité des cartes électroniques. L'intégration de l'électronique dans des environnements sévères au sein de la plateforme MAPP (Mécatronique pour l'Amélioration des Produits et Procédés) du CEA Tech Grand Est s'inscrit dans cette problématique. Dans ces environnements, des défauts notamment du délaminage et de la fissuration de via, peuvent apparaître dans les circuits imprimés (PCB). Dans cette optique, la présente thèse propose une contribution à la création d'un outil numérique de prévention de ces défauts. Pour une modélisation réaliste, la caractérisation thermomécanique des différentes couches du PCB a été réalisée par le biais d'essais expérimentaux. Néanmoins, cette caractérisation fut incomplète à cause de la faible épaisseur du PCB ce qui a motivé la mise en œuvre d'une méthode multi-échelle afin d'estimer les propriétés manquantes. Cette méthode inverse basée sur la Mécanique du Génome de Structure (MSG) a été développée puis implémentée sous la forme d'un script Python. Des observations microscopiques ont été couplées au logiciel Gmsh pour créer le modèle microscopique puis au logiciel de modélisation TexGen pour le modèle mésoscopique. La découverte d'inclusions dans la matrice entre les torons a été confirmée par nanoindentation. L'influence des paramètres géométriques des torons et des propriétés des phases a été analysée. Une adaptation d'une méthode hybride d'optimisation a été mise en œuvre dans le but de minimiser les écarts entre les propriétés expérimentales et numériques. Les résultats ainsi obtenus ont servi à simuler le comportement d'une carte électronique en fonctionnement au moyen du logiciel d'éléments finis ABAQUS/Standard. Des essais thermomécaniques à l'échelle de la carte ont été mis en œuvre pour valider les simulations. La comparaison montre une bonne concordance entre les deux. L'analyse des champs mécaniques a montré des contrastes pouvant entraîner de la fatigue thermomécanique. Néanmoins, les essais de délaminage devant servir à alimenter les zones cohésives aux interfaces entre les couches n'ont pas pu être mis en œuvre en raison de la faible épaisseurThe rapid changes in the industry and the increasing integration of electronics in new environments require the control of the reliability of electronic boards. The integration of electronics in severe environments within the MAPP platform (Mechatronics for the Improvement of Products and Processes) of CEA Tech Grand Est deal with this problem. In these environments, defects such as delamination and via cracking can occur in printed circuit boards (PCB). From this perspective, this thesis proposes a contribution to creating a numerical tool to prevent these defects. For a realistic modeling, the thermomechanical characterization of the different layers of the PCB has been performed through experimental tests. Nevertheless, this characterization was incomplete because of the thinness of the PCB, which motivated the implementation of a multi-scale method. An inverse method based on Mechanics of Structure Genome (MSG) was developed and implemented as a Python script. Microscopic observations were coupled to Gmsh software to create the microscopic model and then to TexGen modeling software for the mesoscopic model. The presence of inclusions inside the matrix between the yarns was confirmed by nanoindentation. The influence of yarns' geometrical parameters and phase properties was analyzed. Adapting a hybrid optimization method was implemented to minimize the discrepancies between the experimental and numerical properties. Obtained results were used to simulate the behavior of an electronic board in operation using ABAQUS/Standard finite element software. Thermomechanical tests at the board scale were implemented to validate the simulations. The comparison shows good agreement between results as predicted by both numerical and experimental approaches. The mechanical field analysis showed contrasts that could lead to thermomechanical fatigue. Nevertheless, delamination tests to feed cohesive zones at the interfaces between layers were not performed due to the small thickness
2
Bazzoli, Sébastien. "Caractérisation et simulation de la susceptibilité des circuits intégrés face aux risques d'inductions engendrées par des micro-ondes de forte puissance." Lille 1, 2005. https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/2005/50376-2005-Bazzoli.pdf.
Abstract:
Cette thèse a pour objectif de comprendre les phénomènes pouvant apparaître sur les circuits imprimés lorsqu'ils sont soumis à des interférences provenant de sources Micro-ondes de Fortes Puissances. Le couplage de ces ondes électromagnétiques sur les éléments conducteurs peut donner naissance à des perturbations de plusieurs volts à des fréquences de l'ordre du GHz, il est alors possible que les lignes de plusieurs centimètres connectées aux composants entrent en résonance. Ce phénomène est très pénalisant pour le fonctionnement du système. Pour reproduire ce type de contrainte, nous exploitons le couplage par diaphonie entre deux lignes de transmission parallèles qui permet d'induire une perturbation assimilable à l'illumination rasante d'une onde plane. A l'aide de ce dispositif, nous étudions le comportement d'une ligne de transmission lorsqu'elle est connectée à un composant non linéaire tout d'abord réduit à une diode, nous regarderons plus particulièrement les phénomènes survenant aux abords des résonances quart d'onde et demi onde. Ces observations sont ensuite étendues au cas d'un circuit intégré logique simple de type inverseur puis à un composant programmable de technologie évoluée. Cette étude, complétée par des mesures de susceptibilité réalisées sur ces composant connectés à une ligne perturbée, a permis de mettre en évidence l'impact des protections contre les décharges électrostatiques sur la sensibilité des composants. D'autre part, nous montrons que l'impédance de sortie des circuits intégrés est également un paramètre qui influe fortement la susceptibilité du composant placé en aval. Enfin, une étude prospective sur des logiciels de simulation usuels disponibles au laboratoire a permis d'appréhender les difficultés et les contraintes d'une prédiction numérique de la sensibilité des systèmes électroniques, nous montrons que pour prendre en considérations les phénomènes décrits précédemment, une solution temporelle est préférable aux approches classiques abordées dans le domaine fréquentiel.
3
Egot, Stéphane. "Intégration des équipements électroniques dans la modélisation de l'architecture électrique des véhicules automobiles : application à la prédiction de compatibilité électromagnétique dans les phases amont de la conception." Lille 1, 2005. http://www.theses.fr/2005LIL10151.
Abstract:
Cette thèse traite de l'élaboration et de l'évaluation d'une méthodologie d'intégration des équipements électroniques dans la modélisation CEM de l'architecture électrique en amont dans la conception des véhicules. L'approche proposée a pour principe de dissocier la modélisation d'un équipement en deux parties complémentaires mettant en jeu constructeur automobile et équipementier. La faisabilité de cette modélisation a préalablement nécessité de caractériser l'interaction entre l'équipement et la caisse du véhicule. En outre, les différents facteurs influant sur la validité du modèle ont été examinés, ainsi que le degré de précision à lui accorder. Ce dernier aspect a été envisagé en tenant compte de la globalité du système, notamment de la variabilité introduite par l'entrelacement aléatoire du faisceau de câbles. Enfin, la démarche proposée a été évaluée en confrontant les résultats statistiques des mesures et des simulations obtenus sur un sous-système électronique réalisteThis thesis deals with the elaboration and the evaluation of an integration methodology of electronic equipment in the EMC modeling of the electrical architecture in the early design phase of a vehicle. The proposed approach is based on dissociating the equipment modeling into two complementary parts involving the car manufacturer and the elctronic supplier. The feasibility of this modeling technique primarily required ton characterize the interaction between the equipment and the car body. Besides, the different factors having an influence on the validity of the model were examined as well as its needed level of precision. The latter issue was considered by taking into account the globality of the system, especially the variability brought by the random bundling of the cable harness. Finally the proposed method was evaluated by comparing statistical measurement and simulation results obtained on a realistic electronic sub-system
4
Linot, Fabrice. "Apport des Surfaces à Haute Impédance à la conception d'antennes réseaux compactes et d'antennes réseaux à très large bande passante." Phd thesis, Télécom ParisTech, 2011. http://pastel.archives-ouvertes.fr/pastel-00617270.
Abstract:
La technologie des antennes réseaux occupe une place croissante dans les applications aéroportées modernes militaires et civiles car elle offre des performances radioélectriques et des capacités d'intégration aux porteurs inenvisageables avec d'autres technologies. Ces performances sont couplées à des contraintes liées au couplage entre éléments rayonnants ou en termes d'intégration sur des petits porteurs. Ces deux contraintes peuvent être palliées à l'aide de surfaces à haute impédance (SHI) pouvant traduire le comportement d'un conducteur magnétique artificiel et/ou la capacité à interdire la propagation des ondes de surface dans une bande de fréquence. Les travaux présentés dans ce manuscrit ont pour objectif de présenter l'apport des SHI sur la conception de réseaux compacts et d'antennes réseaux ultra large bande. Après une introduction aux SHI, une présentation de modèles analytiques, numériques et expérimentaux a été présentée. Une partie des travaux est consacrée à l'étude du couplage mutuel entre deux antennes imprimées espacées l'une de l'autre d'une demi-longueur d'onde. Par la suite les différentes contributions apportées par les SHI, lorsqu'elles sont employées comme réflecteur, sur une antenne réseau ultra large bande sont montrées. Une modélisation analytique de l'antenne réseau placée au-dessus de réflecteurs à haute impédance est validée par des simulations numériques. Les SHI montrent qu'il est possible de créer des bandes passantes supplémentaires instantanées et agiles en fréquences permettant d'augmenter la bande passante initiale de l'antenne réseau. De plus elles permettent de réduire considérablement l'encombrement et d'obtenir une bande agile unique.
5
Bureau, Denis. "Conception de circuits imprimés : vers un compilateur cuivre." Compiègne, 1989. http://www.theses.fr/1989COMPD227.
Abstract:
Nous proposons un nouveau concept : celui de « compilateur cuivre ». Ce concept est l'équivalent, pour les circuits imprimés, de celui des compilateurs silicium utilisés pour les circuits intégrés. En effet, la plupart des logiciels de conception de circuit imprimés approchent aujourd'hui de leurs limites, notamment en terme d'efficacité, et les circuits imprimés deviennent aussi complexes que les circuits intégrés d'il y a quelques années. Quiconque voudra mettre au point un tel outil devra développer un routeur performant, et un système intelligent pour gérer l'ensemble des modules nécessaires. C'est pourquoi cette thèse présente, premièrement, un routeur original car totalement sans grille et hiérarchisé de manière interne, ainsi qu'une maquette validant l'approche proposée pour la modélisation d'un circuit imprimé ; et, deuxièmement, une structure logicielle originale car permettant la réalisation de systèmes experts modulaires utilisant simultanément plusieurs types de représentation des connaissances. Chacune de ces deux parties est accompagnée d'un état de l'art du domaine, d'une bibliographie très fournie, et d'un glossaireWe put forth a new concept : a « copper compiler ». This concept is to printed circuit boards what silicon compilers are to integrated circuits. A large part of current PCB design software is now approaching the limits of its capabilities, essentially in terms of efficiency, and printed circuits are becoming as complex as integrated circuits of a few years ago. The development of such a software tool requires an efficient router and an intelligent system to manage all the necessary modules. That’s why this thesis presents, firstly, an original gridless and internally hierarchical router along with a prototype which validates a theoretical model of a printed circuit ; and secondly, a novel software structure which permits the construction of modular expert systems which simultaneously use several types of knowledge representations. Each of these two parts is accompanied by a description of the current state of the art in the field, a comprehensive bibliography and a glossary
6
Benleulmi, Zoubir. "Contribution à l'inspection automatique des cartes de circuits imprimés par vision artificielle." Compiègne, 1986. http://www.theses.fr/1986COMPS143.
7
Zhang, Xiao Hui. "Simulation avancée des circuits micro-ondes." Paris 12, 1989. http://www.theses.fr/1989PA120040.
Abstract:
Les objectifs de cette these sont les suivants: 1) realiser une etude theorique de la ligne de transmission aux multiconducteurs dans les multicouches dielectriques. Selon l'approximation quasi-tem, un systeme d'equations differentielles est formule en construisant une fonction de green dans l'espace equivalent homogene, et en le considerant comme un probleme de champs electrostatiques. La methode des moments est utilisee pour sa resolution. Ce travail a conduit a un nouveau logiciel d'aide a la conception microline. Microline est integre dans le progiciel de simulation et d'optimisation des circuits micro-ondes esope, en lui donnant un atout special pour pouvoir traiter des mmics; 2) realiser une etude de simulation des reseaux electroniques non lineaires dans le domaine tempo-frequentiel et mettre au point un algorithme a la fois efficace et robuste du point de vue du calcul non lineaire, et adapte aux structures d'un simulateur de circuits lineaires existant, dans le but de le transformer en un simulateur de circuits micro-ondes non lineaires. Une nouvelle implantation de la methode harmonic balance est proposee ainsi qu'un nouvel algorithme de resolution bgsnl (bloc gauss seidel newton like) qui a conduit a la realisation d'un progiciel industriel de simulation de circuits micro-ondes non lineaires esope non lineaire
8
Legrand, Fabien. "Modélisation de circuits électrotechniques en vue de leur simulation : réalisation d'un simulateur." Bordeaux 1, 2004. http://www.theses.fr/2004BOR12790.
Abstract:
L'objectif de la these est la realisation d'un simulateur de circuits electrotechniques et reseaux electriques. Il permet d'estimer le comportement physique des installations et ainsi d'ameliorer leur fiabilite tout en optimisant leur cout de conception. Privilegiant la simplicite d' utilisation, ce simulateur est presente comme une alternative aux simulateurs classiques (comme spice) pour rendre la simulation accessible a un public plus large. Apres avoir presente l'etat de l'art du domaine, une bibliotheque de modeles de composants et des modes d'analyses innovants sont developpes pour ce simulateur. La mise en place d'un banc d'essais et les tests associes ont permis de confirmer la pertinence des modeles et l' efficacite des modes d'analyse. Une ouverture vers le langage de modelisation vhdl-ams est proposee afin de permettre ensuite au simulateur de disposer de modeles standards et d'utiliser des descriptions multi-niveaux, multi-technologique et multi-domaines.
9
Dubois, Jean-Luc. "L'abstraction fonctionnelle des parties contrôles des circuits pour l'accélération de simulateurs générés : une contribution au développement d'outils de C.A.O. de l'architecture matérielle." Lille 1, 1991. http://www.theses.fr/1991LIL10037.
Abstract:
L'accroissement incessant de complexité des circuits nécessite la définition de méthodes et d'outils, en particulier de simulation, toujours plus puissants. La génération de simulateurs, c'est-à-dire la traduction de la description d'un circuit en un programme écrit dans un langage de haut niveau, permet d'ajouter la portabilité à l'avantage majeur des méthodes de compilation qui est l'efficacité. L'inconvénient de cette technique réside dans l'importance de la taille des simulateurs produits et est dû à l'emploi du schéma trop classique de traduction d'un algorithme en un autre. Ce problème est évité grâce à la transformation des parties contrôles de circuits avant la génération. Le modèle résultant est alors constitué d'une partie contrôle essentiellement sous forme de données et d'une partie opérative sous forme algorithme. L'emploi de cette méthode, qui ne dépend pas du langage de description utilisé, permet a la fois la réduction de la taille des simulateurs et l'accélération de leur exécution
10
Crastes, de Paulet Michel Saucier Gabrièle. "Spécification et simulation fonctionnelles de circuits complexes le système CADOC /." S.l. : Université Grenoble 1, 2008. http://tel.archives-ouvertes.fr/tel-00318467.
11
Girard, Patrick. "Diagnostic de pannes temporelles dans les circuits digitaux." Montpellier 2, 1992. http://www.theses.fr/1992MON20053.
Abstract:
L'objet de cette these est le developpement d'une methodologie de diagnostic des pannes temporelles dans les circuits digitaux. Nous avons propose une alternative a l'utilisation de la simulation de fautes, basee sur l'analyse de chemins critiques. Les resultats obtenus ont permis de mettre en evidence la surete et la precision du processus de diagnostic
12
Tintori, Olivier. "Modélisation et simulation des transistors Double-Grille : du dispositif au circuit intégré." Aix-Marseille 1, 2006. http://www.theses.fr/2006AIX11051.
13
Bozek, Sébastien. "Génération de maillage automatique pour la simulation tridimentionnelle de procédés de fabrication de circuits intégrés." Lille 1, 2000. http://www.theses.fr/2000LIL10057.
Abstract:
Ce travail s'inscrit dans le cadre des projets européens esprit/jessi 8150 prompt et esprit 24038 prompt II dont l'objectif est de réaliser une chaîne de simulation de procédés de fabrication de composants semi-conducteurs multi-dimensionnelle capable de rendre compte d'effets 3D engendrés par la forte miniaturisation des transistors dans les circuits intégrés. L'importance des mailleurs dans cette chaîne de simulation tient à la difficulté de générer des maillages adaptés aux exigences des modules de diffusion des impuretés dans un substrat de silicium et d'oxydation de ce substrat. Ce mémoire fait l'inventaire des contraintes que ces modules entraînent sur le maillage d'une structure, et propose un éventail de solutions. Enfin, il décrit les outils que nous avons implantés pour générer et modifier des maillages tétraédriques, conformes, isotropes, à l'aide du critère de la sphère vide de Delaunay. Une attention particulière est portée au respect des frontières qui définissent les volumes à mailler.
14
Tomas, Jean. "Caractérisation par simulation de la métastabilité des circuits séquentiels : application à des structures VLSI." Bordeaux 1, 1988. http://www.theses.fr/1988BOR10580.
Abstract:
Le travail presente consiste en la realisation d'un logiciel d'aide a la conception de circuits unifieurs, appele remus (recherche des etats metastables dans les circuits unifieurs par simulation), en vue de leur optimisation vis-a-vis de la metastabilite. Ce programme, ecrit en pascal, implante sur micro-vax est bati autour du simulateur electrique spice. Les algorithmes implantes permettent d'obtenir la courbe d'incertitude de l'unifieur avec en temps de calcul reduit. Les resultats de sept circuits temoins sont presentes comparativement
15
Allard, Bruno. "Graphe de liens du transistor bipolaire de puissance en vue de la simulation de circuits." Lyon, INSA, 1992. http://www.theses.fr/1992ISAL0009.
Abstract:
La CAO en Électronique de Puissance exige notamment que la simulation d'un circuit prédise, avec précision, les contraintes électriques (et thermiques) endurées par les dispositifs à semiconducteur, au cours des commutations. Les modèles les plus utilisés actuellement (Gummel-Poon, SPICE) se montrent insuffisants pour de telles simulations, à cause de la représentation trop empirique du phénomène de saturation. La saturation est la conséquence de la présence d'une zone neutre en forte injection dans le collecteur. Pour modéliser correctement ce phénomène, le travail présenté fait appel à des techniques de l'Analyse Fonctionnelle (Approximation Interne), et de la Théorie des Systèmes (variables d'état, graphes de liens). Le modèle obtenu est un graphe de liens superposable à la structure géométrique du dispositif, et suit fidèlement les phénomènes physiques internes au composant. En outre, contrairement au modèle de Gummel-Poon, les paramètres sont peu nombreux, tous significatifs, et correspondent à la seule description technologique du dispositif. Enfin, les résultats de simulation sont très conformes à l'expérience, bien meilleurs que ceux produits par SPI CE dans le cadre de la saturation, avec un coût de calcul équivalentPower Electronic CAD needs that circuit simulation predicts accurately thermal and electrical constraints encountered by power devices during switching transients. Today, the most frequently used models (SPICE and Gummel-Poon ones) produce insufficient results in the conditions of such simulation. This is due to an empirical representation of phenomena occurring in saturation regime. Saturation is characterized principally by a high level injection neutral region in the low-doped collector. Accurate modelling of this mechanism is treated in present dissertation, and particularly used technicals of Functional Analysis (Internal Approximation) and technics of System Theory (state variable modelling, bond graphs). The mode! derived appears as a bond graph which fits exactly the geometrical structure of the device, and that follows clearly physic mechanisms. Moreover, at the opposite of Gummel-Poon model, parameters are very few, really important and concern only the technological structure of the transistor (doping profile, lifetimes,. . . ) Finally, simulation results are very closed to experimental measurements, much better than those produced with SPICE for the restricted case of hard switching, with equivalent amount of computer time
16
Marmouget, Marc. "Contribution au developpement d'outils d'aide a la conception de dispositifs de puissance bases sur le mode d'integration fonctionnelle." Toulouse, INSA, 2000. http://www.theses.fr/2000ISAT0025.
Abstract:
Dans ce memoire, nous proposons une nouvelle methodologie de conception de nouvelles fonctions de puissance integrees basees sur le mode d'integration fonctionnelle et particulierement bien adaptees pour des applications de puissance fonctionnant directement sur le reseau electrique. Ce mode d'integration n'est pas uniquement base sur l'interconnexion de cellules isolees electriquement, mais sur l'usage des nombreuses interactions electriques des couches semi-conductrices au sein du cristal auxquelles on peut adjoindre des fonctionnalites de type mos en surface. L'aspect generique de ce mode d'integration nous a conduit a etablir une bibliotheque d'elements de base. Pour chaque element, nous avons defini un schema electrique representatif de sa fonctionnalite, une coupe de sa structure, une topologie de surface et un modele analytique base sur la physique des semi-conducteurs reliant les principaux parametres physiques et geometriques structurels aux parametres electriques. Actuellement, ces modeles analytiques permettent de proposer rapidement un premier dimensionnement des structures etudiees. Parallelement a ce travail d'identification et de modelisations, nous avons mis en place une chaine d'outils de cao dans l'environnement cadence correspondant a chaque etape du processus de conception. Les modeles analytiques ont ete codes en langage mast dans le logiciel saber et des passerelles existent pour arriver dans le meme environnement jusqu'aux dessins des masques. Les logiciels de simulations bidimensionnels (pisces) ont ete utilises pour mettre en evidence les interactions electriques parasites existant tant au niveau des cellules qu'au niveau de leurs associations. L'interet de cette bibliotheque d'elements de base a
17
Caisso, Jean-Paul Courtois Bernard. "Contribution à la vérification des circuits intégrés dans un environnement multivalué." S.l. : Université Grenoble 1, 2008. http://tel.archives-ouvertes.fr/tel-00325819.
18
Bonenfant, Laurent. "Modélisation et simulation du réseau électrique d'un avion : application aux Airbus A330, A340 et A3XX." Toulouse, INPT, 1998. http://www.theses.fr/1998INPT002H.
Abstract:
Dans le secteur aéronautique, comme dans de nombreux domaines, la simulation est une étape obligatoire. La simulation nous a permis d'illustrer les aspects théoriques. L'aide apportée par ce procédé, permet de réduire les cycles de conception et de validation des équipements, par leur simulation dans leur environnement. Ainsi cela permet de rester compétitif face à la concurrence. Pour mener à bien cet objectif, nous avons scindé notre travail en quatre parties. Dans un premier temps, nous avons recherché l'outil de simulation approprie (SABER). Nous avons alors modélisé l'ensemble des organes principaux de la génération électrique d'un avion. Nous avons ensuite validé ces modèles informatiques avant d'entreprendre des simulations plus complexes, de l'ensemble du réseau électrique de l'avion. Ces divers travaux ont permis de valider le logiciel vis-à-vis de la simulation de systèmes électromécaniques complexes. L'application de référence a été le réseau électrique de l'Airbus A330. Enfin, avant de déployer la simulation vers des avions futurs (A3XX), nous avons porté nos recherches vers de nouveaux réseaux à fréquence variable. Dans ce mémoire le lecteur trouvera : le choix d'un logiciel de simulation, la méthodologie de modélisation, de simulation et de validation des modèles informatiques, des modèles d'équipements électriques aéronautiques, la simulation de quelques configurations du réseau électrique de l'Airbus A330, l'étude de réseaux électriques a fréquence variable, pour une application aux avions futurs (A3XX).
19
Ayoub, Kamel. "Représentation analytique des briques de base, miroirs et différentiels en technologie duale unipolaire et bipolaire." Toulouse, INPT, 2000. http://www.theses.fr/2000INPT033H.
Abstract:
La conception actuelle des circuits intégrés exige une modélisation donnant une bonne représentation fonctionnelle des composants dans leur environnement. Vu la taille et la complexité croissante des circuits, il faut pallier les temps de simulation devenus de plus en plus longs (PSpice, SABER) tout en évitant les problèmes de convergence. Il est donc nécessaire d'établir des modèles comportementaux représentatifs et rapides. Pour cela, on choisit d'élaborer une bibliothèque de macromodèles analogiques généraux (paramétrables) pour chacune des briques de base (miroirs de courant et différentiels). Ces modèles, valables quelle que soit la zone de fonctionnement, sont communs aux deux technologies (bipolaire et unipolaire). Cette dualité a, d'une part, un caractère pédagogique et permet, d'autre part, de concevoir plus facilement des circuits associant les deux technologies, permettant ainsi de tirer le meilleur parti de chacune d'entre elles (technologie BicMOS). On choisit de réaliser ces modèles sur plusieurs niveaux afin d'optimiser de façon plus structurée les fonctions réalisées. Tout d'abord au niveau du transistor, par l'établissement d'un macromodèle commun à l'ensemble des transistors et qui tient compte de la complémentarité (Tn et Tp). Ensuite, par l'extrapolation de cette analyse au niveau de la brique de base ; en premier lieu, en considérant le composant comme idéal (CAI, analyse au premier ordre), puis en introduisant les effets du second ordre (CAR). Enfin, en prenant en compte l'influence de la dispersion (relative et absolue) des principaux paramètres des transistors sur ces briques de base, faisant ainsi écho aux problèmes actuels de norme et de qualité. Ceci permet de prévoir et d'expliquer les répercussions que peut entraîner la dispersion de ces paramètres aussi bien au niveau de la brique de base qu'à des niveaux plus élevés dans le circuit. Enfin, cette modélisation multi-niveaux pourrait s'étendre à des formes plus complexes (étude du BOTA).
20
Bazine, Sadok. "Conception et implémentation d'un méta-modèle de machines asynchrones en défaut." Poitiers, 2009. http://theses.edel.univ-poitiers.fr/theses/2009/Bazine-Sadok/2009-Bazine-Sadok-These.pdf.
Abstract:
Pour mener des recherches en diagnostic de la machine asynchrone sur des défauts essentiellement électriques ou mécaniques, l'outil de simulation est indispensable pour les investiguer. Autant en pratique certains défauts sont quasiment impossibles à réaliser, qu'il est souvent aussi difficile de les reproduire en simulation sans y consacrer un temps de développement très important. C'est pour cela que dans cette thèse, avec l'idée d'utiliser les outils issus du génie logiciel, on s'est donné comme objectif d'automatiser la génération d'un simulateur de la machine asynchrone en défaut. Après un recensement des différentes approches de simulation des machines asynchrones, nous avons développé notre modèlisation avec la méthode des Circuits Electriques Magnétiquement Couplés (CEMC). Nous détaillons pas à pas les étapes empruntées par le Méta Modèle, dans un premiers temps, pour modèliser une machine saine, en décrivant les parties élémentaires du modèle jusqu'à la façon de les assembler pour obtenir le modèle de la machine complète. Cela s'est traduit par la génération des mutuelles intrinsèques au stator, intrinsèques au rotor, et des mutuelles stator-rotor, ainsi que la construction des matrices de connexions selon les caractéristiques topologiques du bobinage de la machine. Ensuite, nous avons enrichi ce Méta Modèle par la prise en considération de la présence de défauts de type court-circuit de spires au sein d'une même phase, court-circuit entre phase et terre ou rupture de barres. Nous avons montré comment ce générateur de modèle prend en compte chacune de ces altérations topologiques en faisant les extensions nécessaires aux matrices de connexions et aux matrices du modèle. Des résultats expérimentaux issus de prototypes défaillants de machines asynchrones ont permis de valider ce principe de génération d'un modèle dynamique. En conclusion, nous pouvons dire que cette plate-forme de simulation (l'implémentation Objets du Méta Modèle) peut alors servir comme un outil d'expérimentation virtuel des techniques de détection et de localisation de défaillances de machines asynchronesTo carry out research on electrical or mechanical induction machine faults diagnosis, the simulation tool is essential to investigate them. Although in practice some shortcomings are almost impossible to achieve, it is often difficult to reproduce them in simulation without devoting a very important development time. That is why in this thesis, with the idea of using software engineering tools, we had set our goal to automate the generation of induction machine simulators with the presence of various stator and rotor defects. After a survey of different induction machines simulation approaches, we have developed our model with the Electrical Circuits Magnetically Coupled(CEMC) method. First, we have detailed the standalone Meta Model steps to generate a healthy induction machine model, beginning with the basic parts of the model and detailing assembling steps to get the whole induction machine model. This approach is based on stator's, rotor's and stator rotor mutuals, and connection matrices auto-construction according to winding's topology and geometry. After that, we enriched this Meta Model by implementing turns short-circuit in the same phase, short circuit between phase and ground or rotor bar's break. We have shown how this standalone generator takes into account each of witch topological changes by auto extending parameters and connections matrices. This auto-generation methodology was validated with experimental results from faulty induction machine prototypes, and we can say that this simulation plate-form (the Meta Model Object oriented implementation) can be used as a virtual experimentation environment to test techniques of failures detection and location
21
Da, Fonseca Munford-Argollo Daniel. "Outils de conception de circuits RF et micro-ondes intégrant les concepts de méthodologie." Limoges, 2000. http://www.theses.fr/2000LIMO0023.
Abstract:
Les circuits rf et microonde deviennent de plus en plus grands et complexes. Pour gerer l'augmentation de la complexite, des efforts dans la modelisation des dispositifs et des circuits, dans le developpement de methodes d'analyse performantes ont ete realises. Par contre, la semantique des outils de simulation n'a pas beaucoup changee. A la fin d'une conception, on obtient un ensemble deconnecte de schematiques, de parametres de simulation et de resultats de simulation. La sequence des actions qui ont ete executees pour la production du circuit final n'est pas apparente dans cet ensemble d'information. Pour cette raison, la reutilisation des conceptions est toujours difficile. Ce travail de these est consacre a la mise en uvre d'un environnent informatique de conception capable de representer les circuits avec leurs methodologies de conception. L'idee centrale consiste a etablir des structures d'information dans lesquelles il est possible d'enregistrer une conception avec l'enchainement d'actions de simulation qui ont ete executees par le concepteur. Une fois une conception enregistree il est possible de la reutiliser. La structure de donnees proposee permet ainsi une documentation precise de la methodologie de conception. Pour la construction de l'environnement de conception, il a ete necessaire la realisation de realiser un simulateur de circuits performant appele liana. Le simulateur liana a comme avantage d'etre ouvert et de donner acces a ces principales fonctionnalites a travers ses interfaces. Ce simulateur a ete integre dans un environnent de simulation commerciale.
22
Raiff, Bertrand. "Définition et conception d'un simulateur de circuits analogiques non linéaires à modèles par zones et ordres variables." Toulouse, INPT, 1992. http://www.theses.fr/1992INPT076H.
Abstract:
Ce travail presente une technique de modelisation des composants electroniques, destinee a optimiser la simulation des circuits electriques utilisant les methodes dites conventionnelles. Cette optimisation consiste en une meilleure adequation de la fonction de simulation aux besoins de l'utilisateur et a l'etat de ses connaissances quant aux composants mis en jeu (parametres physiques et electriques) et un gain de temps par le bais d'un allegement des structures descriptives du circuit et des calculs de resolution. Elle est realisee par l'introduction de modeles d'ordres variables, c'est-a-dire de complexite et de precision variables, et par une technique de modelisation par zones d'etat, c'est-a-dire qu'un meme composant, a un niveau de complexite donne, sera modelise par une structure differente selon la zone de fonctionnement ou il se trouve. Le choix de l'ordre du modele sera laisse a l'utilisateur, tandis que le changement de zone d'etat et donc de structure du modele releve d'un automatisme du logiciel de simulation
23
Bahi, Jacques. "Algorithmes asynchrones pour des systèmes différentiels-algébriques. : imulation numérique sur des exemples de circuits électriques." Besançon, 1991. http://www.theses.fr/1991BESA2031.
Abstract:
On s'intéresse dans cette thèse à des systèmes différentiels implicites où les inconnues et leurs dérivées sont liées algébriquement. L'objet du présent travail est l'étude d'extensions de la méthode de Relaxation d'Onde, incluant des variantes asynchrones. On élabore donc des méthodes asynchrones pour le traitement des équations différentielles algébriques avec valeurs initiales. Le début de cette thèse est consacré à la modélisation et à l'étude du comportement des méthodes itératives de point fixe appliquées à ces systèmes. On s'intéresse, ensuite, plus particulièrement à l'extension au cadre asynchrone de la méthode de Relaxation d'Onde, en établissant un résultat général de couplage des inconnues par le biais d'une application de point fixe plus implicite. On donne quelques exemples appartenant aux classes de problèmes traités, on discrétise nos systèmes par des méthodes de Runge-Kutta et on étudie les problèmes discrets associés. Après avoir étudié les erreurs d'arrondi dues à la mise en œuvre sur ordinateur, on réalise une simulation d'exécution d'algorithmes asynchrones et on traite quelques exemples issus de problèmes de circuits électriques.
24
Caisso, Jean-Paul. "Contribution à la vérification des circuits intégrés dans un environnement multivalué." Grenoble INPG, 1987. http://tel.archives-ouvertes.fr/tel-00325819.
Abstract:
Le but de cette thèse est de spécifier des outils de simulation, de simulation de pannes et de génération de vecteurs de test, utilisables sur des circuits v. L. S. I. Décrits sous forme de réseaux de transistors. Un transistor MOS (interrupteur) est par nature bi-directionnel, et il est impossible de prévoir le sens des courants qui le traversent sans appliquer aux réseaux de transistors un traitement préliminaire, qui reconnait les boucles et les transistors de transmission, et définit le sens de propagation des signaux. Ce traitement préliminaire, bien qu'il permette à la vérification proprement dite d'être plus rapide, ne respecte par le concept de réseau bi-directionnel. On a donc choisi de vérifier les réseaux de transistors de façon directe, en créant des outils qui pallient l'ignorance des courants. En outre, l'algèbre des états représentant les signaux qui circulent dans les réseaux, doit être choisie de façon a pouvoir modéliser tous les comportements spécifiques de ce niveau de description. Cette algèbre est multivaluée, et comporte des couples (valeur, force) décrivant la tension et l'intensité des signaux
25
Antri-Bouzar, Riad. "Du cablâge à la micro-programmation : le micro-programme câblé." Toulouse, INPT, 1998. http://www.theses.fr/1998INPT019H.
Abstract:
Dans ce mémoire, nous présentons tout d'abord un panorama de méthodologies existantes dans le domaine de la conception VLSI, puis nous passons à la description de notre méthode de conception (spécification, démarche de la méthodologie) ainsi que les outils de CAO utilisés pour la synthèse. Nous appliquons ensuite la méthode développée pour le traitement d'un exemple réaliste, et nous montrons que partant d'un algorithme en langage de haut niveau, on peut de façon très systématique, aboutir à un éventail de six représentations, allant d'une solution strictement câblée, et aboutissant à une solution constituant une sorte de micro-controleur maison dans lequel le chemin de données est classiquement câblé, mais dans lequel l'enchaînement des opérations est lui aussi câblé dans un circuit de contrôle au lieu d'être réglé par un séquenceur exploitant un micro-programme. Nous terminons par la comparaison des performances en terme de taille et de rapidité pour les différentes solutions du câblage à la micro-programmation.
26
Chartrain, Didier. "Contribution à l'étude de l'écoulement dans les circuits de refroidissement des moteurs à explosion." Poitiers, 1999. http://www.theses.fr/1999POIT2276.
Abstract:
Dans la premiere partie du document, on presente les differents problemes lies au refroidissement du moteur : thermomecanique, cavitation et refroidissement nuclee. Nous proposons de developper, sur la base d'un modele simplifie du circuit d'une culasse, des methodes experimentales qui permettent d'offrir aux ingenieurs des outils de diagnostique rapides et precis. On presente ensuite, les caracteristiques du banc d'essais qui a ete construit pour realiser l'etude experimentale. En presentant les resultats experimentaux, on met en evidence l'influence du nombre de reynolds sur le coefficient de perte de charge de la maquette. La structure de l'ecoulement est caracterisee grace aux mesures ldv et piv. Des informations tres precises, nous permettent de decrire la plupart des phenomenes fluides. A partir des profils des tensions de reynolds et des valeurs rms ont montre qu'il n'est pas envisageable de modeliser la turbulence dans cet ecoulement complexe, a partir d'un modele du type longueur de melange. Les resultats qualitatifs de l'anemometrie film chaud permettent de mieux apprehender l'influence de l'ecoulement sur la structure energetique de la turbulence parietale. Les simulations numeriques sont realisees dans differentes configurations. On montre que les resultats des calculs sont particulierement sensibles aux modeles utilises pour decrire l'ecoulement de proche paroi.
27
Objois, Philippe Mazaré Guy Mossière Jacques. "Réseau de cellules intégré mécanisme de communication inter-cellulaire et application à la simulation logique /." S.l. : Université Grenoble 1, 2008. http://tel.archives-ouvertes.fr/tel-00328188.
28
Bonnet, Christine. "Simulation dans un contexte rééducationnel : Acquisition des éléments de l'environnement de simulation et analyse des interactions de l'utilisateur." Lyon, INSA, 1991. http://www.theses.fr/1991ISAL0056.
Abstract:
L'automatisation de la rééducation de la mémoire par une approche écologique nécessite l'intégration de techniques d' Intelligence Artificielle de Gestion de Données de Simulation et d~Animation Interactives à travers des environnements conviviaux Ces techniques ont été mises en œuvre dans un système, innovant en matière de rééducation informatisée de la mémoire : le système REMISSION (rééducation écologique de la Mémoire par un système de SimulatiON). Les éléments de l'environnement de simulation et des stratégies rééducatives y sont modélisés dans le formalisme d'objet et de règle, ce dernier permettant d'assurer en partie, la gestion des événements externes (actions sur l'environnement) et internes (actions du système). Les apports de ces représentations à la simulation sont exposés dans ce travail. Ces éléments sont introduits dans le système via un langage descriptif, construit pour répondre aux besoins suscités par l'intégration d'outils et dans le but de faciliter l'expression des connaissances. Le système fait coopérer un composant graphique (gestion, au niveau graphique, des objets et des événements, gestion du temps) et un composant décisionnel (partie "intelligente" :mise en œuvre de la rééducation). L'évaluation des actions du patient est réalisée n comparant les solutions du patient et du système qui propose des corrections personnalisées sous forme d'animations commentéesThe automation of memory re-education fallowing an ecological approach requires integration of : *Artificial Intelligence techniques ( use of an Expert system shell : Nexpert Object), *Data Management (use -of a Relational Database Management System : Oracle), * and Interactive Simulation and Animation techniques (use of a graphical software Package : Data Views). Acquiring Knowledge needs to set up user friendly environments, thus allowing the neuropsychologists to unput in the system the elements of the re-education. We implemented all these techniques in a system, which innovates in computerized memory re-education : the REMISSION system (Rééduçation Ecologique de a Mémoire un Système de Simulation). The elements of both the simulation environment and the re-educational strategies are modeled with the objects and rules concepts. Elements are introduced in the system via a descriptive language, aimed at making the knowledge expression easier. A graphical component (which manages, the objects, the events and the time) and a deductive one cooperate in the system. The evaluation of the patient's. Actions is carried out by mappings of patient's and system's solutions
29
Marine, Souheil Courtois Bernard. "IRENE un langage pour la description, simulation et synthèse automatique du matériel VLSI /." S.l. : Université Grenoble 1, 2008. http://tel.archives-ouvertes.fr/tel-00319961.
30
Ponchel, Freddy. "ELFI : calculateur électromagnétique pour l'établissement de schémas électriques équivalents aux interconnexions "cuivre" couplées et pour la caractérisation des matériaux." Lille 1, 2007. https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/2007/50376-2007-221.pdf.
Abstract:
Les travaux décrits dans ce mémoire concernent la mise en œuvre d'un code de calcul électromagnétique d'éléments finis à éléments d'arêtes nommé ELFI, et ce, en deux dimensions. Après une importante phase de validation, la méthode des éléments finis est, dans un premier temps, appliquée à l'étude de trois, cinq et huit interconnexions "cuivre" , à pertes, constituant les différents niveaux de métallisation d'un circuit intégré. Les schémas électriques équivalents à ces trois systèmes sont ensuite implantés sous SPICE pour étudier les évolutions des temps de montée et de retard de propagation des signaux ainsi que le comportement de la diaphonie. Ceci est effectué en fonction de la distance séparant les connexions et en fonction de la nature des matériaux remplissant les zones de couplage. L'influence des lignes passives (les victimes) est alors clairement identifiée en présence d'une ligne active (l'agresseur) et réciproquement. Notre code de calcul est ensuite modifié puis adapté pour constituer une aide à la détermination de la permittivité diélectrique complexe du titano-zirconate de plomb (le PZT) dans la bande 1 à 26 GHz. Les impacts du posé des pointes de mesure, de la conductivité des métallisations coplanaires, de la variation de l'épaisseur de la couche de PZT ainsi que celle du tenseur de permittivité du substrat saphir qui supporte les lignes sont, tour à tour, analysées. Cette étude de sensibilité montre que l'on détermine, à ce jour, pour ce matériau polycristallin sans orientation particulière une permittivité relative de l'ordre de 1500 à ± 5% dans le meilleur cas de figure.
31
Abarkan, El-Hossain. "Simulation numérique du fonctionnement de dispositif à transfert de charges silicium fonctionnant à 77K : application au calcul de l'inefficacité de transfert." Montpellier 2, 1987. http://www.theses.fr/1987MON20167.
Abstract:
Le travail presente porte sur la determination de l'inefficacite de transfert dans des dispositifs a transfert de charges de silicium a canal en surface fonctionnant a 77k. Il comprend la mise au point d'un logiciel de simulation numerique bidimensionnelle et son exploitation dans le cas de differentes geometries de structures a 3 et 4 phases. A ete etudie en particulier le role des defauts induits par la technologie sur la qualite du transfert. Le programme prend en compte la localisation et la repartition des defauts ainsi que la qualite de charges a transferer
32
Alvado, Ludovic. "Neurones artificiels sur silicium : une évolution vers les réseaux." Bordeaux 1, 2003. http://www.theses.fr/2003BOR12674.
Abstract:
Cette thèse décrit une nouvelle approche pour la modélisation de réseaux de neurones biologiques. Cette approche utilise des circuits intégrés analogiques spécifiques (ASIC) dans lesquels le formalisme de Hodgkin-Huxley est implémenté dans le but de réaliser des réseaux de neurones artificiels de densité moyenne et biologiquement réaliste. Elle aborde aussi les problèmes de disparités entre composants et le choix d’une structure optimisée pour l’utilisation en réseauThis thesis describes a new approach for modelling biological neuron networks. This approach uses analogue specific integrated circuit (ASIC) in which Hodgkin-Huxley formalism as been implemented to integrate medium density artificial neural network, modelled at a biological realistic level. This thesis also deals with the component mismatches problem and the pertinent choice of optimized structure dedicated to network applications
33
Leman, Samuel. "Contribution à la résolution de problèmes de compatibilité électromagnétique par le formalisme des circuits électriques de Kron." Thesis, Lille 1, 2009. http://www.theses.fr/2009LIL10147/document.
Abstract:
L’analyse de la Compatibilité ElectroMagnétique (CEM) des systèmes complexes consiste à prévoir le comportement EM d’appareils électroniques immergés dans un environnement où interviennent des interactions de natures très variées. Ce peut être des phénomènes multiphysiques où se combinent des couplages EM et thermiques; il peut aussi s’agir d’architectures mulitéchelles comportant des composants de dimensions disproportionnées devant la longueur d’onde; ces interactions peuvent aussi concerner des configurations multiparamètres lorsque plusieurs éléments interviennent simultanément dans le calcul des perturbations EM. La thèse a consisté en la mise en place d’une méthode qui semble bien adaptée à la résolution de ces problèmes de CEM complexes. L’outil développé s’appuie sur l’utilisation de l’analyse tensorielle des réseaux électriques instaurée par G. KRON et qu’on envisage étendre à la CEM des systèmes complexes. Le raisonnement consiste à fusionner différents outils numériques de simulations existants, au moyen d’une méthodologie basée sur l’assimilation d’un grand système à un assemblage de circuits électriques équivalents. Circuits auxquels nous pourrons associer la résolution d’une équation contenant un super-tenseur impédance ainsi que des tenseurs fém et courants dont il faut s’efforcer de déterminer les règles de construction. A titre d’illustration, le couplage EM entre câbles, le blindage des lignes, les antennes et une cavité EM ont été simulé par le formalisme de KRON pour permettre la mise en forme d’une bibliothèque de sous-fonctions réutilisables pour l’étude de systèmes plus complexesAnalysis of the Electromagnetic Compatibility (EMC) of so-called complex systems consists of predicting voltage induced on electronic circuits submitted to various EM couplings. Such phenomena may consist of couplings between EM and Thermal parameters, or they may concern couplings throughout systems of various sizes with respect to the wavelength and the behaviour of the system. These interactions may also depend on many parameters like dimension, physical data and so on. This thesis is aimed at developing a method well-suited to resolving the problems posed by the EMC of complex systems. This method reduces these couplings to a circuit assembly with a combination of inductance, capacitance and resistance, voltage source and current source. The main advantage of the methodology will be to use the formalism of electrical networks developed by G. KRON, which consists of solving the circuit theory by means of the inversion of a large matrix size. In the scope of this work, EM coupling between cables, shielded cables, antennas, and an EM cavity were simulated with KRON’s formalism to establish a library of subroutines to use to solve complex EMC problems. The comparison between KRON’s method and measurements of the coupling between antennas inside an EM cavity under various configurations shows the efficiency of the method for EMC problems concerning systems of variable sizes and large numbers of parameters. Finally, we proposed to study the simulation of an electrothermal system which consists of both the electrical propagation and thermal diffusion inside a coaxial system filled with a thermally and electrically conducing material. This study seems to open new possibilities for the development of a new generation of EMC tool
34
Le-Huy, Philippe. "Contributions à la simulation temps réel des grands réseaux électriques modernes." Doctoral thesis, Université Laval, 2021. http://hdl.handle.net/20.500.11794/69365.
35
Gallegos, Augusto. "Méthodologies pour l'intégration de circuits mixtes." Montpellier 2, 1999. http://www.theses.fr/1999MON2A120.
Abstract:
Cette these propose une methodologie de conception pour les circuits specifiques asic mixtes complexes. Apres une revue des avancees realisees dans le domaine de la conception d'asic mixtes, une technique de conception est proposee. Elle est basee sur l'utilisation d'un co-simulateur analogique/numerique et de la macromodelisation spice. Dans un premier temps, nous presentons la technique de macromodelisation spice permettant d'ameliorer considerablement les performances de vitesse et de precision de la simulation electrique. Cette technique ne demande pas un temps de modelisation important et permet de creer des modeles aptes a la co-simulation. Dans un deuxieme temps, les macromodeles spice sont utilises pour la verification d'un asic mixte complexe pendant toutes les phases de la conception. En effet, le co-simulateur permettant d'analyser des circuits numeriques decrits en langage vhdl et des parties analogiques en langage spice, il est possible d'eliminer les defauts de fonctionnement d'un circuit avant de le produire. De plus, compte tenu des ameliorations introduites par la macromodelisation spice, la vitesse de la simulation est adaptee aux systemes de grande complexite et par la, le temps de conception n'est pas degrade de maniere importante. Les validations realisees ont ete basees sur diverses implantations d'asic dedies au systeme de telecommunication dect. Dans ce manuscrit, nous presentons les mesures effectuees sur deux de ces asic pour mettre en evidence la precision de la methode de verification. L'approche developpee permet ainsi de reduire considerablement les couts associes a la conception d'asic mixtes : d'une part la modelisation et la simulation rapide de systemes complexes reduit le temps de developpement, et d'autre part la precision de la technique evite la fabrication de prototypes, car il est possible de corriger tous les defauts du circuit pendant les diverses phases de simulation.
36
Ordas, Thomas. "Analyse des émissions électromagnétiques des circuits intégrés." Thesis, Montpellier 2, 2010. http://www.theses.fr/2010MON20001.
Abstract:
Dans le domaine de la sécurisation des circuits intégrés, tel que les cartes à puce, les concepteurs de circuits sont contraints à innover, inlassablement, afin de trouver de nouvelles parades aux nouvelles attaques, notamment par canaux cachés. En effet, ces attaques, comme l'analyse des émissions électromagnétiques, permettent d'extraire des informations, contenues à l'intérieur des circuits, sensées être secrètes. Partant de ce constat, dans cette thèse, nous nous sommes focalisés sur l'étude et l'analyse électromagnétique et ce afin de quantifier les possibilités de ces attaques. Ce manuscrit est organisé de la manière qui suit. Dans un premier temps, une plateforme de mesures des émissions électromagnétiques temporelles, que nous avons développées, est présentée, ainsi que des résultats qui ont été obtenus, avec celle-ci, sur différents circuits. A partir de ces résultats, une synthèse des possibilités, relatives à la menace sécuritaire que constituent les analyses électromagnétiques est proposée ainsi que, des propositions de solutions, visant à réduire le rayonnement électromagnétique des circuits intégrés. Dans un second temps, nous nous sommes intéressés aux méthodes de simulation de ces émissions électromagnétiques. Un état de l'art, des outils de simulation existants aujourd'hui, nous a permis de mettre en évidence qu'aucun d'eux ne permet d'avoir une résolution suffisamment fine en termes d'émissions électromagnétiques. Afin de combler ce manque, un flot de simulation a été développé. Pour valider ce flot, une comparaison entre les résultats de mesure et les résultats de simulation a été effectuéeIn the area of secure integrated circuits, such as smart cards, circuit designers are always looking to innovate to find new countermeasures against attacks by the various side channels that exist today. Indeed, side channels attacks such as the analysis of electromagnetic emissions permit to extract secret information contained in circuits. Based on this observation, in this thesis, we focused on the study of electromagnetic analysis to observe the analysis possibilities. This manuscript is organized as follows. Initially, we presented a measurement system for electromagnetic emissions in time domain, and the results obtained on different circuits. From these results, a summary of opportunities, relating to the security threat, posed by electromagnetic analysis, is proposed as well as solutions proposals to reduce electromagnetic radiations of integrated circuits. In a second step, we are interested in the simulation of electromagnetic emissions. A state of the art of simulation tools which exist today, has allowed us to demonstrate that none of them allowed to have a fine enough resolution in terms of electromagnetic emissions. To fill this gap, a simulation tool has been developed and to validate this flow, a comparison between measurement results and simulation results was performed
37
Marcon, Didier. "Étude de faisabilité d'un processeur matériel spécialisé pour la simulation concurrente de fautes." Montpellier 2, 1986. http://www.theses.fr/1986MON20174.
Abstract:
Une architecture multiprocesseurs, une organisation pipeline dans chaque processeur, et enfin la realisation physique avec des circuits specialises constituent les trois solutions qui ont ete utilisees dans cette etude pour obtenir de bonnes performances quant a la duree de la simulation
38
Zounon, Arimyaou Abou. "Lignes d'interconnexions pour circuits logiques rapides : traitement temporel du couplage et des pertes." Paris 11, 1989. http://www.theses.fr/1989PA112330.
Abstract:
Cette thèse est relative à la modélisation des lignes d'interconnexion des circuits logiques sur substrat isolant et semi-isolant et à son application aux lignes pour la logique gigabit AsGa. Les chapitres 1 et 2 présentent l'état de l'art des lignes d'interconnexion et les approches de modélisation (approximation quasi-TEM) utilisées dans le domaine temporel. Le chapitre 3 présente un résultat très important: la décomposition modale dans le domaine temporel direct pour les lignes couplées à pertes d'égales largeurs avec diélectrique inhomogène. Ces cas englobent une large gamme de bus de lignes microrubans pour circuits intégrés ou cartes d'interconnexion. Le chapitre 3 présente ensuite les modèles de lignes développés qui sont implantés dans le simulateur MACPRO: a) ligne unique sans pertes, à pertes métalliques ou diélectriques indépendantes de la fréquence b) lignes couplées (2, 3 ou 4) sans pertes c) lignes couplées de même largeur à pertes obtenues par la combinaison des modèles précédents. Le chapitre 4 présente une validation réciproque des modèles de lignes ci-dessus avec d'autres approches de modélisation (méthode fréquentielle, ENSERG et transformée en Z, INSA de RENNES). Le chapitre 5 présente des mesures temporelles effectuées à la fois au laboratoire (I. E. F. ) et à THOMSON-DAO sur des lignes microrubans sur AsGa. Elles sont confrontées à des simulations temporelles qui intègrent les couplages, les pertes métalliques des lignes et les éléments parasites localisés. Les modèles peuvent s'étendre avec quelques aménagements aux lignes comportant de l'effet de peau ou de la dispersion.
39
Objois, Philippe. "Réseau de cellules intégré : mécanisme de communication inter-cellulaire et application à la simulation logique." Phd thesis, Grenoble INPG, 1988. http://tel.archives-ouvertes.fr/tel-00328188.
Abstract:
Il existe une voie nouvelle différente du schéma de calcul, par nature séquentiel de Von Neumann: celle du parallélisme massif. Nous proposons dans cette thèse une architecture régulière hautement parallèle basée sur un réseau de cellules asynchrones communiquant par messages. Chaque cellule exécute une tache simple et intégré un mécanisme de communication lui permettant d'échanger des informations avec n'importe quelle autre cellule du réseau. Cette architecture permet d'exécuter de manière efficace bon nombre d'algorithmes très parallèles. Nous avons étudié un accélérateur de simulation logique basé sur cette architecture cellulaire. Le principe est d'associer a chaque cellule du réseau un élément logique du circuit a simuler. Contrôlée par un système-hôte, la simulation se déroule en deux temps: initialisation des cellules du réseau puis exécution de l'algorithme reparti dans les cellules. Plusieurs algorithmes de simulation ainsi que différents modes de synchronisation sont présentés. La réalisation d'un circuit intégrant un réseau 2 x 2 et ses interfaces de communication est décrite. Enfin, une machine prototype de simulation logique basée sur ce circuit utilisant un ordinateur IBM PC/AT comme système-hôte est présenté
40
Chastang, Cyril. "Techniques et méthodologies de validation par la simulation des liens multi-gigahertz des cartes électroniques haute densité." Phd thesis, École normale supérieure de Cachan - ENS Cachan, 2013. http://tel.archives-ouvertes.fr/tel-00846476.
Abstract:
La tendance dans la conception de cartes électroniques imprimées est de remplacer les traditionnels bus parallèles par des liens série rapides dont le débit peut atteindre plusieurs dizaines de Gigabit par seconde (Gbps). Cette thèse proposée par THALES Communications & Security en collaboration avec le laboratoire SATIE de l'ENS de Cachan a pour objectif de définir une approche adaptée au traitement des problèmes de liens multi-gigahertz, de manière à garantir le fonctionnement d'une carte numérique complexe (multicouches, haute densité d'intégration, ...) sans qu'une phase de prototypage ne soit nécessaire. Après un état de l'art, ce travail s'est organisé en trois parties : La première partie porte sur l'étude du canal de propagation. La décomposition spectrale des liens multi-gigabits couvrant plusieurs gigahertz voir plusieurs dizaines de gigahertz montre la nécessité d'employer des logiciels de simulations spécifiques au domaine des hyperfréquences. Une évaluation de certains solveurs électromagnétiques 3D parmi les plus récents a été réalisée afin d'extraire les paramètres S du canal de propagation de façon précise et rapide a partir des informations issues des logiciels de CAO utilisés à THALES. La seconde partie traite de la prise en compte des émetteurs, des récepteurs et des traitements numériques associés dans la simulation afin de réaliser des calculs de diagrammes de l'œil, de taux d'erreurs binaires (BER) et de jitter. L'utilisation de la norme IBIS-AMI, très récente, et la comparaison des performances aves d'autres outils, tel que HSPICE, a demandé l'évaluation de simulateurs circuit de dernière génération. Cette étape a été réalisée en étroite collaboration avec les éditeurs des logiciels car certains outils ne sont pas suffisamment matures pour s'inscrire dans un flot global de conception. Enfin, la chaîne de simulation complète ayant été validée par la mesure, nous avons effectué une analyse approfondie des différentes composantes du jitter en fonction des phénomènes physiques plus ou moins destructeurs pour la qualité du signal. Cela nous a ensuite permis d'établir les règles et la méthodologie de conception, en tenant compte des marges allouées à partir des résultats de l'analyse du jitter.
41
Müller, Rémy. "Time-continuous power-balanced simulation of nonlinear audio circuits : realtime processing framework and aliasing rejection." Electronic Thesis or Diss., Sorbonne université, 2021. http://www.theses.fr/2021SORUS453.
Abstract:
Cette thèse s'intéresse à la simulation temps-réel de circuit audio nonlinéaires. Dans cette thèse, nous utilisons le formalisme des systèmes Hamiltoniens à ports (SHP) pour garantir le bilan de puissance et la passivité. De plus, nous adoptons un cadre fonctionnel à temps continu pour représenter des signaux "analogiques virtuels" et nous proposons d'approximer les solutions par projection sur des trames temporelles. En tant que résultat principal, nous établissons une condition suffisante sur les projecteurs de sorte à obtenir des trajectoires à bilan de puissance garanti. Notre but est double: premièrement, pour gérer l'expansion de bande-passante causée par les nonlinéarités, nous considérons des méthodes numériques traitant des signaux à bande non-limitée qui à la place ont un "taux d'innovation borné"; Deuxièmement, pour revenir dans le domaine des signaux à bande limitée, nous concevons des "convertisseurs analogique-numérique virtuels" Plusieurs méthodes numériques sont construites afin d'être à bilan de puissance garanti, avec une précision d'ordre élevé et un un ordre de régularité contrôlable. Leurs propriétés sont étudiées: existence et unicité, ordre de précision, dispersion, mais aussi, résolution fréquentielle au delà de la fréquence de Nyquist, rejet du repliement ainsi que noyaux reproduisants et noyaux de Peano. Cette approche révèle des ponts entre l'analyse numérique, le traitement du signal et la théorie de l'échantillonnage généralisé en mettant en relation la précision, la propriété de reproduction des polynômes, la bande passante ou les bancs de filtre de Legendre, etc. Nous exposons un cadre systématique pour transformer des schémas électronique en équations puis en simulations. Ce cadre est ensuite appliqué à des circuits audio représentatifs, contenant à la fois des équations différentielles ordinaires et des équation algebro-différentielles. Un travail spécifique est dédié à la modélisation SHP des amplificateurs opérationnels. Enfin, nous revisitons la modélisation des SHP dans le cadre de l'algèbre géométrique, ce qui ouvre des perspectives pour l'encodage de la structure géométrique des équationsThis work addresses the real-time simulation of nonlinear audio circuits. In this thesis, we use the port-Hamiltonian (pH) formalism to guarantee power balance and passivity. Moreover, we adopt a continuous-time functional framework to represent "virtual analog" signals and propose to approximate solutions by projection over time frames. As a main result, we establish a sufficient condition on projectors to obtain time-continuous power-balanced trajectories. Our goal is twofold: first, to manage frequency-bandwidth expansion due to nonlinearities, we consider numerical engines processing signals that are not bandlimited but, instead, have a "finite rate of innovation"; second, to get back to the bandlimited domain, we design "virtual analog-to-digital converters". Several numerical methods are built to be power-balanced, high-order accurate, with a controllable regularity order. Their properties are studied: existence and uniqueness, accuracy order and dispersion, but also, frequency resolution beyond the Nyquist frequency, aliasing rejection, reproducing and Peano kernels. This approach reveals bridges between numerical analysis, signal processing and generalised sampling theory, by relating accuracy, polynomial reproduction, bandwidth, Legendre filterbanks, etc. A systematic framework to transform schematics into equations and simulations is detailed. It is applied to representative audio circuits (for the UVI company), featuring both ordinary and differential-algebraic equations. Special work is devoted to pH modelling of operational amplifiers. Finally, we revisit pH modelling within the framework of Geometric Algebra, opening perspectives for structure encoding
42
Garci, Maroua. "Simulation multi-physiques de circuits intégrés pour la fiabilité." Thesis, Strasbourg, 2016. http://www.theses.fr/2016STRAD020/document.
Abstract:
Cette thèse porte sur le thème général de la fiabilité des circuits microélectroniques. Le but de notre travail fut de développer un outil de simulation multi-physiques pour la conception des circuits intégrés fiables qui possède les caractéristiques innovatrices suivantes : • (i) L’intégration dans un environnement de conception microélectronique standard, tel que l’environnement Cadence® ; • (ii) La possibilité de simulation, sur de longues durées, du comportement des circuits CMOS analogiques en tenant compte du phénomène de vieillissement ; • (iii) La simulation de plusieurs physiques (électrique-thermique-mécanique) couplées dans ce même environnement de CAO en utilisant la méthode de simulation directe. Ce travail de thèse a été réalisé en passant par trois grandes étapes traduites par les trois parties de ce manuscritThis thesis was carried out under the theme of the microelectronics Integrated Circuits Reliability. The aim of our work was to develop a multi-physics simulation tool for the design of reliable integrated circuits. This tool has the following innovative features : • (i) The integration in a standard microelectronics design environment, such as the Cadence® environment ;• (ii) The possibility of efficient simulation, over long periods, of analog CMOS circuits taking into account the aging henomenon ; • (iii) The simulation of multiple physical behaviours of ICs (electrical-thermalmechanical) coupled in the same environment using the direct simulation method. This work was carried out through three main stages detailed in the three parts of this Manuscript
43
Fremont, Hélène. "Test de circuit intégrés par faisceau d'électrons : étude de la mesure de potentiel à travers les couches isolantes." Bordeaux 1, 1988. http://www.theses.fr/1988BOR10579.
Abstract:
Le travail presente comporte une etude theorique et experimentale de la mesure de potentiel sous faisceau d'electrons a travers les couches isolantes, par la technique du couplage capacitif. Une extension du "mode image" (releve qualitatif) au "mode mesure" (releve quantitatif) est presentee. Les phenomenes de charge des isolants et d'etalement de potentiel entre pistes metalliques sont analyses, et leur impact sur les performances est evalue, a la fois par mesure directe et par simulations numeriques en deux dimensions
44
Teulings, Wim. "Prise en compte du cablage dans la conception et la simulation des convertisseurs de puissance : performances CEM." Grenoble INPG, 1997. http://www.theses.fr/1997INPG0053.
Abstract:
Un des défis de l'Electronique de Puissance moderne est la Compatibilité Electromagnétique (CEM). Devant l'accroissement de la rapidité de commutation, le câblage devient un composant à part entière. Il doit donc être modélisé. L'objectif de ce travail est de montrer qu'il est possible à l'heure actuelle de simuler entièrement un convertisseur moderne, en tenant compte des imperfections dues au câblage (simulation fine). Les formes d'ondes en commutation obtenues sont suffisamment précises pour prédire les performances vis-à-vis de la CEM. Cependant, ce type de simulation est relativement long, et cette approche doit être réservée à la vérification de l'implantation technologique [male. Elle ne peut servir d'aide au concepteur. C'est pourquoi des modèles analytiques plus simples sont développés à partir de l'analyse des résultats de simulation fine. Ces modèles, d'une bonne précision, font intervenir des paramètres technologiques, et peuvent servir d'aide à la conception. Les deux approches ont été appliquées à un convertisseur réalisé sur Circuit Imprimé et en technologie Substrat Métallique Isolé (SMI). L'influence d'une capacité de découplage sur le niveau des perturbations conduites a également été examinée dans les deux casOne of today's challenges in power electronics is the need to comply with the electromagnetic compatibility (EMC) standards. Due to the ever increasing switching speed, interconnect modeling becomes of major importance. This work shows that it is possible to perform accurate simulations of power converters by inclusion of a Partial Element Equivalent Circuit (PEEC) model of the converter's interconnects. In this way, the conducted EMI noise level can be predicted with satisfying precision from circuit simulation. However, this kind of simulations tends to be very time-consuming, and can merely be used for the validation of a technological implementation of the converter design. The simulation results have therefore been interpreted, and the complexity of the overall-model has been reduced. Thus, a frequency-domain method for EMI noise prediction has been developed. This method enables the user to rapidly obtain the total noise level, the Common Mode (CM) noise level and Differential Mode (DM) noise level. The method can be used for converter design purposes. Both methods have been applied to a chopper implemented in Printed Circuit Board (PCB) and in Insulated Metal Substrate (IMST) technology. In both cases, the influence of a SMD decoupling capacitor on the conducted noise levels has also been examined
45
Ferrere, Thomas. "Assertions and measurements for mixed-signal simulation." Thesis, Université Grenoble Alpes (ComUE), 2016. http://www.theses.fr/2016GREAM050.
Abstract:
Cette thèse porte sur le monitorage des simulations de circuits en signaux mixtes. Dans le domaine de la vérification de matériel, l'utilisation de formalismes déclaratifs pour la specification, dans le cadre de la validation par simulation, s'est installée dans la pratique courante. Cependant, le manque de fonctionnalités visant à spécifier les comportements asynchrones, ou l'intégration insuffisante des résultats de la vérification, rend les language d'assertions et de mesures inopérants pour la vérification de comportements en signaux mixtes. Nous proposons des outils théoriques et pratiques pour la description et le monitorage de ces comportements, qui comportent des aspects à la fois discrets et continus. Pour cela, nous nous appuyons sur des travaux antérieurs portant sur les extensions temps-réel de la logique temporelle et des expressions régulières. Nous décrivons de nouveaux algorithmes pour calculer la distance entre une trace de simulation et une propriété en logique temporelle données. Une nouvelle procédure de diagnostic est conçue pour déboguer efficacement de telles traces. Le monitorage des comportements continus est ensuite étendu à d'autres formes d'assertions basées sur des expressions régulières. Ces expressions constituent la base de notre language de description de mesures, qui permet de définir conjointement la mesure et les intervals temporels sur lesquels cette mesure doit être prise. Nous montrons comment d'autres mesures, déjà mises en œuvre dans les simulateurs analogiques peuvent être importées dans les descriptions digitales. Ceci permet d'étendre vers le domaine en signaux mixtes les approches hiérarchiques utilisées en vérification de circuits digitauxThis thesis is concerned with the monitoring of mixed-signal circuit simulations. In the field of hardware verification, the use of declarative property languages in combination with simulation is now standard practice. However the lack of features to specify asynchronous behaviors, or the insufficient integration of verification results, makes existing assertion and measurement languages unable to enforce mixed-signal requirements. We propose several theoretical and practical tools for the description and automatic monitoring of such behaviors, that feature both discrete and continuous aspects. For this we build on previous work on real-time extensions of temporal logic and regular expressions. We describe new algorithms to compute the distance from some simulation trace to temporal logic specifications, whose complexity is not higher than traditional monitoring. A novel diagnostic procedure is provided in order to efficiently debug such traces. The monitoring of continuous behaviors is then extended to other forms of assertions based on regular expressions. These expressions form the basis of our measurement language, that describes conjointly a measure and the patterns over which that measure should be taken. We show how other measurements implemented in analog circuits simulators can be ported to digital descriptions, this way extending structured verification approaches used for digital designs toward mixed-signal
46
Zou, Hao. "Méthodologie pour la modélisation des parasites de substrat en technologie MOS de puissance HV/HT - Application à l'industrie automobile." Electronic Thesis or Diss., Paris 6, 2016. http://www.theses.fr/2016PA066502.
Abstract:
Les circuits intégrés (CI) de puissance sont utilisés dans les systèmes embarqués automobiles en raison de leur capacité à réunir sur la même puce des dispositifs basse tension et haute tension (HV). Dans de tels systèmes, le bruit de couplage électrique induit par la commutation des étages de puissance est un problème majeur. Pendant la commutation, les tensions et les courants parasites produisent un décalage local de la tension de substrat allant jusqu'à une centaine de millivolt, perturbant ainsi le circuit basse tension. Ces signaux parasites entraînent des dysfonctionnements. Les solutions existantes reposent sur le layout et sont difficiles à optimiser par simulation électrique. L'absence d'une stratégie de modélisation interdit de fait une stratégie de conception s'appuyant sur la prédiction de ces perturbations. Nous présentons ici une méthode d'extraction et de simulation post-layout pour la modélisation des parasites de substrats. Nous avons développé un logiciel (CAO) pour l'extraction du substrat fondé sur la reconnaissance de forme. L'extraction utilise un algorithme de maillage pour la génération du modèle du substrat. Les courants de substrat peuvent être pris en compte lors de la simulation post-layout, autorisant l'analyse des dysfonctionnements éventuels induits par les couplages à travers le substrat. Ce travail a été validé par plusieurs cas d'études industriels, une configuration en miroir de courant, et un test automobile standard en technologie amsHV. Cette méthodologie est aussi appliquée à une technologie HV BCD de STMicroelectronics. Ainsi, en utilisant notre approche, il devient possible de simuler des bruits de substrat avant fabricationSmart Power Integrated Circuits (ICs) are intensively used in automotive embedded systems due to their unique capabilities to merge low power and high voltage (HV) devices on the same chip. In such systems, induced electrical coupling noise due to switching of the power stages is a big issue. During switching, parasitic voltages and currents, lead to a local shift of the substrate potential that can reach hundreds of millivolts, and can severely disturb low voltage circuits. Such parasitic signals are known to represent the major cause of failure and costly circuit redesign in power ICs. Most solutions are layout dependent and are thus difficult to optimize using available electrical simulator. The lack for a model strategy prohibits an efficient design strategy and fails at giving clear predictions of perturbations in HV ICs. Here, we present a post-layout extraction and simulation methodology for substrate parasitic modeling. We have developed a Computer-Aided-Design (CAD) tool for substrate extraction from layout patterns. The extraction employs a meshing algorithm for substrate model generation. The behavior of the substrate currents can be taken into account in post-layout simulation, and enables an exhaustive failure analysis due to substrate coupling. Several industrial test cases are considered to validate this work, the interferences of substrate currents in a current mirror configuration, and a standard automotive test in amsHV technology. This methodology is also applied to a HV BCD technology of STMicroelectronics. Eventually, by using the proposed CAD tool, it becomes possible to simulate the behaviors of substrate noises before fabrication
47
Abid, Mohamed. "Validation des séquences de test des circuits intégrés complexes : contribution au développement de l'outil informatique Soline." Toulouse, INSA, 1989. http://www.theses.fr/1989ISAT0003.
Abstract:
Le travail presente dans ce document a ete realise au sein du gerii, dans le cadre d'une collaboration menee avec le groupe d'experts 9 de l'union technique de l'electricite sur la normalisation des outils de controle. Il concerne l'etude et la realisation d'un outil informatique, integre au projet soline, permettant la comprehension et la validation des sequences de test des circutis integres complexes. L'analyse critique des differentes methodes de generation des sequences de test fonctionnel des circuits complexes montre la necessite de valider ces sequences apres leur elaboration. L'approche utilisee ici est basee sur l'identification du circuit etudie a partir des relations entrees/sorties definies par la sequence de test: les solutions (modelisees par des graphes cartesiens) deduites de l'identification sont comparees au modele bon. Plusieurs jeux de contraintes permettent d'adapter l'analyse au niveau de connaissance apportee par le modele du circuit. Le logiciel realise a ete utilise pour valider une sequence de test d'un circuit integre reel (6800). Nous concluons sur la faisabilite d'une telle approche qui met en uvre des processus combinatoires complexes
48
Naceur, Djamila. "Etude par simulation de l'anti-éblouissement horizontal et vertical dans les dispositifs à transfert de charge à trame." Montpellier 2, 1990. http://www.theses.fr/1990MON20083.
Abstract:
Le phenomene d'eblouissement en cas de surcharge optique est l'un des problemes majeurs rencontres dans les capteurs d'image de type dispositifs a transfert de charge (ccd). Cette etude presente deux systemes d'anti-eblouissement dans des dispositifs a trame et leur optimisation technologique, electrique et geometrique. La protection contre l'eblouissement est assuree par un drain sous forme d'une diode implantee au voisinage du puits de potentiel. Cette diode est disposee soit en surface entre deux rangees de cellules (anti-eblouissement horizontal), soit en profondeur sous l'implant d'isolation (anti-eblouissement vertical). Cette diode ne doit pas injecter de charges dans le puits, mais doit pouvoir drainer l'eventuel exces de charge. Ceci exige la presence d'une barriere de potentiel creee technologiquement et/ou electriquement. Un logiciel (incluant la simulation de fabrication et de comportement electrique) a ete developpe dans le cadre de ce travail afin d'optimiser le systeme anti eblouissement sans sortir du domaine de fonctionnement. Il permet d'etudier l'influence de parametres comme les largeurs de grilles, les dopages sur les potentiels, les champs electriques, la charge maximum stockable. . . Dans la structure. Ce logiciel concu au depart pour des geometries precises, dispose maintenant d'outils de description souple permettant une generalisation a des structures variees. . . Et de possibilites d'analyse etendue des parametres
49
Pinède, Pascale. "Conception, réalisation et validation du simulateur concurrent de fautes LOFSCATE." Montpellier 2, 1988. http://www.theses.fr/1988MON20132.
50
Allali, Lahcen. "Conception et réalisation du préprocesseur du simulateur concurrent de fautes LOFSCATE." Montpellier 2, 1987. http://www.theses.fr/1987MON20111.