Global ETD Search

1	Test fonctionnel des circuits intégrés digitaux Archambeau, Eric 21 October 1985 (has links) (PDF) L'objet de cette thèse est l'étude de deux méthodes de génération automatique de vecteurs de test pour les circuits intégrés digitaux. Après un rappel des problèmes actuels posés par le test des circuits VLSI (partie I), deux méthodes de génération automatique de vecteurs de test adressant deux types différents d'hypothèses de pannes sont présentées: une méthode heuristique de génération de vecteurs (partie II) et une méthode de test pseudo-exhaustif (partie III) Circuit intégré Circuit VLSI Analyse fonctionnement Contrôle automatique Essai Programme ordinateur Détection panne Coût Circuit numérique Thèse Programme REPTIL Programme P.E.T
2	SILICIEL : Contributions à l'architecture des cicuits intégrés at à la compilation du silicium Schoellkopf, Jean-Pierre 22 April 1985 (has links) (PDF) Cette thèse présente des contributions dans les domaines de l'architecture des ordinateurs réalisés sous la forme d'un Circuit Intégré. Un assembleur de silicium, appelé LUBRICK, permet de décrire, dans un langage de programmation, la constitution d'un assemblage hiérarchisé de cellules pour réaliser la description complète des masques d'un Circuit Intégré. La compilation du silicium, discipline qui consiste à déduire les masques d'un circuit en partant d'une description fonctionnelle, est ici abordée sous un angle pratique, avec la présentation d'un compilateur prototype d'une forme de partie contrôle et des présentations de modèles topologiques de parties opératives et de parties contrôle qui servent de cible au compilateur Circuit intégré Circuit VLSI Architecture Masque Description Langage assembleur Langage ordinateur Technologie MOS Compilateur Silicium Prototype Conception assistée Programme ordinateur Thèse
3	Assemblage et génération automatique des dispositifs périphériques de PLA complexes Hmimid, Mohamed 12 November 1984 (has links) (PDF) Outil de génération et d'assemblage automatique dans le système PAOLA des dispositifs périphériques des PLA complexes. Le programme GATA génèse automatiquement des amplificateurs d'entrées, de sorties et d'interface. Il possède une optimisation électrique, et géométrique et topologique effectué sous les contraintes de placement des entrées-sorties, une bibliothèque de cellules qui contient la description de l'ensemble des dispositifs périphériques du PLA, une adaptabilité à une technologie nouvelle. AQUARIUM est un programme d'assemblage automatique de dispositifs des PLA. Ce programme tient compte de l'environnement des PLA ainsi que des contraintes fournies par le concepteur pour effectuer un assemblage des amplificateurs avec la matière ET/OU Conception assistée Programme ordinateur Assemblage Fabrication assistée Génération Circuit VLSI Masque Essai Circuit intégré Fabrication microélectronique Amplificateur Conception circuit Système PAOLA Programme GATA Programme AQUARIUM Réseau logique programmation
4	Le clouage des sols. Application au soutènement de fouille. Étude expérimentale et dimensionnement Fau, Didier 23 June 1987 (has links) (PDF) Le renforcement des sols en général, et le clouage en particulier connaissent depuis quelques années un développement important. Cette dernière méthode est apparue sur les chantiers depuis plus de dix ans, alors que le comportement des parois clouées n'est toujours pas réellement maîtrisé. Le présent rapport traite de ce comportement et du dimensionnement de tels ouvrages. Après une présentation sommaire de la méthode, la première partie du mémoire concerne les connaissances bibliographiques en matière de comportement des parois clouées, et les résultats obtenus sur les modèles réduits développés dans le cadre de ces travaux. Les aspects originaux découverts, notamment sur la rupture et les essais d'arrachement, sont valorisés par la bonne représentativité générale des modèles. Dans une deuxième partie, les méthodes actuelles de dimensionnement sont présentées, avant la description du nouveau logiciel développé durant ces travaux. Conçu spécialement pour le dimensionnement des parois clouées, ce logiciel est basé sur des idées nouvelles propres au concept de clouage. Les premiers résultats obtenus permettent de constater une bonne concordance avec les quelques résultats expérimentaux disponibles à l'heure actuelle. mécanique sol sol soutènement renforcement paroi sol cloué sollicitation paroi clouée clouage fouille génie civil méthode calcul étude expérimentale dimensionnement modèle programme ordinateur coefficient sécurité essai procédé construction logiciel AMANDINE
5	Définition, étude et conception d'un microprocesseur autotestable spécifique: COBRA Osseiran, Adham 12 May 1986 (has links) (PDF) Description des différentes étapes de la conception d'un microprocesseur pour le contrôle des automatismes de sécurité, en particulier pour les systèmes de transport. Ce microprocesseur est autotestable, c'est-à-dire capable de détecter ses propres erreurs. La conception du circuit est basée sur les hypothèses de pannes au niveau analytique dans la technologie NMOS. Les blocs fonctionnels «Strongly Fault Secure» et les contrôleurs «Strongly Code Disjoint» sont à la base des circuits «Self-checking», dits autotestables. Le circuit COBRA démontre la faisabilité d'un microprocesseur autotestable. COBRA gère indépendamment 19 signaux différents, date des événements externes, mesure des fréquences, surveille 14 entrées logiques et possède 7 sorties indépendantes. Le programme d'application de COBRA est contenu dans une mémoire morte programmable externe de 16 Koctets adressés par 14 bits multiplexés sur le bus interne de 8 bits. COBRA contient également une liaison série, une mémoire à accès direct de 64 octets et 3 temporisateurs de 14 bits indépendants ainsi qu'une unité arithmétique et logique de 8 bits, COBRA exécute un jeu de 43 instructions Circuit intégré Circuit VLSI Conception assistée Programme ordinateur Contrôle automatique Vérification Microprocesseur Technologie NMOS Panne Réseau logique programmable Description Simulateur Unité arithmétique logique Circuit commande Pilote automatique Métropolitain Train Sécurité Système conversationnel Architecture Fabrication microélectronique Microprocesseur COBRA Langage IRENE Système PAOLA Programme SPICE Programme MACSIM Système LUCIE Système LUBRICK Système APOLLON

1

Page generated in 0.0935 seconds