Contribution à l'implémentation d'un flot de conception de circuits intégrés basé sur une bibliothèque virtuelle PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Contribution à l'implémentation d'un flot de conception de circuits intégrés basé sur une bibliothèque virtuelle PDF full book. Access full book title Contribution à l'implémentation d'un flot de conception de circuits intégrés basé sur une bibliothèque virtuelle by Alexandre Richard. Download full books in PDF and EPUB format.
Author: Alexandre Richard
Publisher:
ISBN:
Category :
Languages : fr
Pages : 127
Get Book Here
Book Description
Author: Alexandre Richard
Publisher:
ISBN:
Category :
Languages : fr
Pages : 127
Get Book Here
Book Description
Author: André Inacio Reis
Publisher:
ISBN:
Category :
Languages : fr
Pages : 244
Get Book Here
Book Description
L'ASSIGNATION TECHNOLOGIQUE EST LA LIAISON CLE ENTRE LA SYNTHESE LOGIQUE ET LA SYNTHESE PHYSIQUE DES CIRCUITS INTEGRES. CE MEMOIRE EST DEDIE AU DEVELOPPEMENT D'UNE NOUVELLE METHODE D'ASSIGNATION TECHNOLOGIQUE QUI UTILISE UNE BIBLIOTHEQUE VIRTUELLE DE PORTES COMPLEXES DISPONIBLE AU MOYEN D'UN GENERATEUR DE DESSINS DE MASQUES. LA METHODE DEVELOPPEE A CONDUIT A L'IMPLANTATION D'UN OUTIL D'ASSIGNATION TECHNOLOGIQUE INTEGRE A DES OUTILS DE SYNTHESE LOGIQUE ET DE SYNTHESE PHYSIQUE. LE FLOT DE CONCEPTION RESULTANT A PERMIS L'ETUDE DE L'IMPACT DE L'UTILISATION DES BIBLIOTHEQUES VIRTUELLES DE PORTES COMPLEXES SUR LA CONCEPTION DE CIRCUITS INTEGRES NUMERIQUES EN TECHNOLOGIE CMOS.
Author: Ghislain Fraidy Bouesse
Publisher:
ISBN:
Category :
Languages : fr
Pages : 178
Get Book Here
Book Description
Ce travail de thèse s'intègre dans le cadre du développement de nouvelles techniques de protection des circuits intégrés face aux attaques par analyse de courant en exploitant les propriétés de la logique asynchrone. En effet, ces attaques qui exploitent les faiblesses d'implémentation matérielle des composants cryptographiques pour retrouver des informations secrètes, sont parmi les attaques non intrusives les plus efficaces et les plus faciles à mettre en œuvre. Ainsi, nous proposons dans ces travaux l'utilisation de la logique asynchrone Quasi Insensible aux Délais (QDI) pour sécuriser les circuits intégrés contre ce type d'attaques. Les propriétés de la logique QDI apparaissent particulièrement intéressantes pour sécuriser l'implémentation des circuits intégrés car elles permettent de contrôler finement l'activité électrique. Le travail a porté dans un premier temps sur l'évaluation de la résistance des circuits asynchrones QDI. Les résultats obtenus montrent une nette amélioration du niveau de sécurité d'un circuit asynchrone par rapport à son équivalent synchrone, et permettent également d'identifier les limites de cette approche. Nous avons développé dans ces travaux, une méthode d'analyse formelle afin d'évaluer la sensibilité de la logique asynchrone QDI et présentons par la suite, de nouvelles contre-mesures exploitant la topologie de ces circuits. Cette étude a ainsi conduit à spécifier de nouvelles méthodologies de conception de circuits asynchrones sécurisés dans le but de pouvoir les intégrer dans la méthodologie automatisée TAST (TIMA Asynchronous Synthesis Tools).
Author: PHILIPPE.. ROYANNEZ
Publisher:
ISBN:
Category :
Languages : fr
Pages : 139
Get Book Here
Book Description
ALORS QUE LES PROCEDES SUR ARSENIURE DE GALLIUM ACTUELS PERMETTENT L'INTEGRATION DE CIRCUITS PLUS RAPIDES QUE LEURS HOMOLOGUES SUR SILICIUM, LES OUTILS LOGICIELS D'AIDE A LA CONCEPTION FONT DEFAUT, RALENTISSANT AINSI LA MIGRATION VERS CETTE TECHNOLOGIE. DANS CE CONTEXTE, CETTE THESE A POUR OBJECTIF DE PROUVER LA FAISABILITE D'UN COMPILATEUR DE MASQUES SPECIALEMENT CONCU POUR L'ASGA MAIS CONSERVANT LA MEME SOUPLESSE D'UTILISATION QUE CELLE EXISTANT POUR LES ENVIRONNEMENTS DEDIES AU CMOS. CELA SUPPOSE L'ETUDE DE TROIS TYPES DE BLOCS: LES BLOCS CHEMIN DE DONNEES A BASE D'OPERATEURS VECTORISES PARAMETRABLES, LES BLOCS DE LOGIQUE SAUVAGE A BASE DE CELLULES PRE-DEFINIES, ET LES BLOCS DE MEMOIRES OPTIMISES. POUR CHACUN DE CES TYPES DE BLOCS, UNE APPROCHE ORIGINALE A ETE APPORTEE ET RESPECTE LES PRINCIPES SUIVANTS: (1) OPTIMISATION ELECTRIQUE ET TOPOLOGIQUE POUR L'ASGA, (2) GENERATION AUTOMATIQUE DES MASQUES PARTANT D'UNE DESCRIPTION DE HAUT NIVEAU, (3) PORTABILITE TECHNOLOGIQUE DE LA VUE PHYSIQUE GENEREE. CETTE ETUDE S'EST CONCRETISEE PAR LA REALISATION D'UN ENVIRONNEMENT DE CONCEPTION. CELUI-CI CONTIENT D'UNE PART UN JEU DE LIBRAIRIES DE CELLULES ET DE MACRO-CELLULES PARAMETRABLES COMPRENANT LES FONCTIONS SUIVANTES: ADDITIONNEUR, DECALEUR, MULTIPLIEUR, BANC DE REGISTRES ET MEMOIRES STATIQUES. IL CONTIENT D'AUTRE PART UN ENSEMBLE D'OUTILS LOGICIELS (COMPILATEUR DE CHEMINS DE DONNEES, SYNTHETISEUR LOGIQUE, OPTIMISEUR DE NETLIST, ETC) ADAPTE A LA CONCEPTION DE CIRCUITS SUR ARSENIURE DE GALLIUM ET OFFRANT LA MEME INTERFACE UTILISATEUR QUE POUR LA CONCEPTION CMOS. CETTE ETUDE S'EST CONCLUE PAR L'IMPLEMENTATION D'UN CERTAIN NOMBRE DE CIRCUITS DE DEMONSTRATION DONT UN MICROPROCESSEUR RISC 32-BITS AFIN DE VALIDER ET D'EVALUER L'ENVIRONNEMENT DE CONCEPTION
Author: Benoît Mongellaz
Publisher:
ISBN:
Category :
Languages : fr
Pages : 188
Get Book Here
Book Description
L'évolution croissante des technologies CMOS entraîne le renouvellement des techniques de prédiction de la fiabilité des circuits. Les méthodes statistiques ne suffisent plus pour évaluer la fiabilité des circuits à forte intégration. De nouvelles techniques de fiabilité doivent être définies et mises en place afin de répondre rapidement aux contraintes d'analyse de la fiabilité. Une étude de la fiabilité des circuits CMOS doit être prise en charge en amont de la production. Pour cela, il est nécessaire de tenir compte de la dépendance des dispositifs élémentaires aux mécanismes de dégradation au cours du flot de conception des circuits. A partir d'un modèle électrique de dégradation du transistor MOSFET, fondé sur le langage de description comportementale VHDL-AMS, il est démontré qu'une prédiction de la fiabilité des circuits CMOS est réalisable à partir de simulations électriques. Une validation est réalisée à partir d'un circuit CMOS de démonstration : l'amplification opérationnel de transconductance. L'interêt de cette méthode est sa reproductibilité pour la construction de modèles VHDL-AMS de dégradation de circuits CMOS d'abstraction supérieure dans le but d'analyser la fiabilité des systèmes.
Author: MOHAMED.. BENHADDOU
Publisher:
ISBN:
Category :
Languages : fr
Pages : 6
Get Book Here
Book Description
LES TECHNOLOGIES DE FABRICATION DE CIRCUITS INTEGRES NUMERIQUES ET LES OUTILS DE CAO POUR LA CONCEPTION DE CEUX-CI ONT REGULIEREMENT EVOLUE. LA TENDANCE ACTUELLE EST DE DECRIRE LE COMPORTEMENT DU CONCEPT A UN NIVEAU D'ABSTRACTION ELEVE A L'AIDE D'UN LANGAGE DE DESCRIPTION DU MATERIEL STANDARD COMME VERILOG OU VHDL, ET LAISSER LE SOIN AUX OUTILS DE SYNTHESE DE GENERER LES MASQUES DU CIRCUIT OU SA LISTE D'EQUIPOTENTIELLES DANS LA BIBLIOTHEQUE D'UN FONDEUR. LE PROBLEME EST LE PRIX ELEVE DE CES OUTILS DE SYNTHESE DE HAUT NIVEAU QUI EST DISSUASIF POUR LES PME/PMI. L'OBJECTIF DE CE TRAVAIL EST DE MONTRER QUE L'ON PEUT DEMARRER LE FLOT DE CONCEPTION D'UN CIRCUIT PAR SA DESCRIPTION COMPORTEMENTALE DE HAUT NIVEAU ET D'OBTENIR DES CIRCUITS REPONDANT AU CAHIER DES CHARGES EN UTILISANT DEUX OUTILS DE CAO ABORDABLES FINANCIEREMENT ET REPANDUS DANS LE COMMERCE: MAX+PLUS II POUR LE DEVELOPPEMENT DES CIRCUITS CONFIGURABLES ET SOLO 1400 POUR LE DEVELOPPEMENT DES CIRCUITS PRECARACTERISES. LES OUTILS DE SYNTHESE DE HAUT NIVEAU SONT AINSI EVITES A L'AIDE D'UN ENVIRONNEMENT DE CONCEPTION BATI AUTOUR DE LOGICIELS DE PORTABILITE ENTRE LES DEUX TECHNOLOGIES ET D'INTERFACAGE ENTRE LES HDL DE MAX+PLUS II (AHDL) ET SOLO 1400 (MODEL) ET VERILOG QUI PERMET LA MODELISATION DES CIRCUITS INTEGRES NUMERIQUES A DIFFERENTS NIVEAUX D'ABSTRACTION. CET ENVIRONNEMENT DE CONCEPTION EST GERE PAR UNE METHODOLOGIE SIMPLE, STRICTE ET EFFICACE. UN PROCESSEUR FLOU A ETE CONCU AFIN DE VALIDER LA METHODOLOGIE DE CONCEPTION INDEPENDANTE DE LA TECHNOLOGIE PROPOSEE
Author: Sven Boermeester
Publisher:
ISBN: 9781949677072
Category :
Languages : en
Pages :
Get Book Here
Book Description
Innovate Bristol highlights and celebrates those companies and individuals that are actively working at building a better tomorrow for all. Innovation Ecosystems thrive through the involvement and support of companies and individuals from all industries, which is why the Innovate series not only focuses on the innovators but also those people whom the Innovation Ecosystem, would not be able to thrive without.
Author: Rembert Reemtsen
Publisher: Springer Science & Business Media
ISBN: 1475728689
Category : Computers
Languages : en
Pages : 418
Get Book Here
Book Description
Semi-infinite programming (briefly: SIP) is an exciting part of mathematical programming. SIP problems include finitely many variables and, in contrast to finite optimization problems, infinitely many inequality constraints. Prob lems of this type naturally arise in approximation theory, optimal control, and at numerous engineering applications where the model contains at least one inequality constraint for each value of a parameter and the parameter, repre senting time, space, frequency etc., varies in a given domain. The treatment of such problems requires particular theoretical and numerical techniques. The theory in SIP as well as the number of numerical SIP methods and appli cations have expanded very fast during the last years. Therefore, the main goal of this monograph is to provide a collection of tutorial and survey type articles which represent a substantial part of the contemporary body of knowledge in SIP. We are glad that leading researchers have contributed to this volume and that their articles are covering a wide range of important topics in this subject. It is our hope that both experienced students and scientists will be well advised to consult this volume. We got the idea for this volume when we were organizing the semi-infinite pro gramming workshop which was held in Cottbus, Germany, in September 1996.
Author: Claire Clivaz
Publisher:
ISBN: 9789004399655
Category : Bible
Languages : en
Pages : 0
Get Book Here
Book Description
Ecritures digitales aims to demonstrate how digital writing, as new technology, contributes to the emergence of a reconfigured relationship between the human body and the machines, and how this transition influences the Jewish-Christian textual corpus referred to as "the Scriptures". Ecritures digitales souhaite démontrer de quelle manière l'écriture digitale, en tant que nouvelle technologie, contribue à l'émergence d'une relation innovante entre le corps humain et les machines, et influence le corpus textuel judéo-chrétien désigné comme «les Ecritures».
Author: UNESCO
Publisher: UNESCO Publishing
ISBN: 9231001701
Category : Cities and towns
Languages : en
Pages : 304
Get Book Here
Book Description
Report presents a series of analyses and recommendations for fostering the role of culture for sustainable development. Drawing on a global survey implemented with nine regional partners and insights from scholars, NGOs and urban thinkers, the report offers a global overview of urban heritage safeguarding, conservation and management, as well as the promotion of cultural and creative industries, highlighting their role as resources for sustainable urban development. Report is intended as a policy framework document to support governments in the implementation of the 2030 Agenda for Sustainable Urban Development and the New Urban Agenda.
