Documents disponibles écrits par cet auteur

Conception de haut niveau des systèmes monopuces / Ahmed-Amine Jerraya

Public ISBD Titre : Conception de haut niveau des systèmes monopuces Type de document : texte imprimé Auteurs : Ahmed-Amine Jerraya, Auteur Editeur : Paris : Hermes science/Lavoisier Année de publication : 2002 Collection : Traité EGEM Electronique-Génie Electrique-Microsystèmes Importance : 224 Présentation : couv. ill. en en coul Format : 24 cm. ISBN/ISSN/EAN : 978-2-7462-0433-1 Langues : Français (fre) Catégories : SEMI CONDUCTEURS Index. décimale : 27-05 Microélectronique Résumé : La conjonction de l'évolution des technologies de fabrication des circuits intégrés et de la nature du marché des systèmes électroniques fait que l'on est amené à concevoir des circuits de plus en plus complexes (plusieurs millions) de transistors en un temps de plus en plus court (quelques mois). Ce phénomène a entraîné une métamorphose du processus de conception. Si le principe de la conception reste le même (il s'agit de générer une réalisation physique sous forme d'une puce en partant d'une spécification système), les outils mis en oeuvre et l'organisation du travail durant le processus de conception ont, en revanche, beaucoup évolué. Ainsi, on est passé de la conception où l'on dessinait les masques du circuit sur du papier spécial, à une conception quasi automatique qui part d'une description du comportement du circuit sous forme d'un programme dans un langage de haut niveau. Cet ouvrage a pour but de décrire les méthodes et les outils d'aide à la conception de haut niveau des systèmes électroniques digitaux intégrés. Après une présentation des éléments de base nécessaires à l'étude des langages, des méthodes et des outils de conception (chapitre 2), le lecteur trouvera une description des concepts et des techniques utilisés pour la conception comportementale (chapitre 3). Il s'agit de raffiner un modèle de haut niveau décrivant les opérations de calcul, de contrôle et de communication d'une application donnée, en un où les fonctions sont découpées en calculs élémentaires pouvant être réalisés en un seul cycle d'horloge (conception logique). Le chapitre 4 est consacré aux concepts et aux techniques utilisés pour la conception système. Elle consiste à réaliser le découpage logiciel/matériel pour transposer une spécification fonctionnelle en langage de haut niveau, sur une architecture composée de circuits spécialisés et de processeurs généraux (ou specialisés interconnectés). Pour contrôler la qualité de la conception il faut s'assurer que les spécifications initiales décrivent bien la fonctionnalité souhaitée, puis il faut vérifier que les différentes étapes de raffinement préservent cette fonctionnalité. Dans le chapitre 5, la vérification d'équivalence, la vérification de propriétés, la simulation symbolique et la démonstration de théorèmes sont donc abordées. Le chapitre 6 de l'ouvrage traite du domaine émergeant qui a rendu possible l'intégration de systèmes complexes sur une puce : la conception des systèmes hétérogènes. Il s'agit de systèmes pouvant comporter des parties provenant de plusieurs équipes utilisant des méthodes de conception différentes. Note de contenu : Table des matières Chapitre 1 De l'idée au produit . Chapitre 2 Méthodologie et modèles pour la conception digitale Chapitre 3 La conception comportementale. Chapitre 4 La conception système et le découpage logiciel/matériel . Chapitre 5 La simulation et les méthodes de vérification formelle . Chapitre 6 La spécification et la conception des systèmes hétérogènes . Chapitre 7 Les outils de CAO de circuits et de systèmes . Bibliographies/Index. Conception de haut niveau des systèmes monopuces [texte imprimé] / Ahmed-Amine Jerraya, Auteur . - Paris : Hermes science/Lavoisier, 2002 . - 224 : couv. ill. en en coul ; 24 cm.. - (Traité EGEM Electronique-Génie Electrique-Microsystèmes) . ISBN : 978-2-7462-0433-1 Langues : Français (fre) Catégories : SEMI CONDUCTEURS Index. décimale : 27-05 Microélectronique Résumé : La conjonction de l'évolution des technologies de fabrication des circuits intégrés et de la nature du marché des systèmes électroniques fait que l'on est amené à concevoir des circuits de plus en plus complexes (plusieurs millions) de transistors en un temps de plus en plus court (quelques mois). Ce phénomène a entraîné une métamorphose du processus de conception. Si le principe de la conception reste le même (il s'agit de générer une réalisation physique sous forme d'une puce en partant d'une spécification système), les outils mis en oeuvre et l'organisation du travail durant le processus de conception ont, en revanche, beaucoup évolué. Ainsi, on est passé de la conception où l'on dessinait les masques du circuit sur du papier spécial, à une conception quasi automatique qui part d'une description du comportement du circuit sous forme d'un programme dans un langage de haut niveau. Cet ouvrage a pour but de décrire les méthodes et les outils d'aide à la conception de haut niveau des systèmes électroniques digitaux intégrés. Après une présentation des éléments de base nécessaires à l'étude des langages, des méthodes et des outils de conception (chapitre 2), le lecteur trouvera une description des concepts et des techniques utilisés pour la conception comportementale (chapitre 3). Il s'agit de raffiner un modèle de haut niveau décrivant les opérations de calcul, de contrôle et de communication d'une application donnée, en un où les fonctions sont découpées en calculs élémentaires pouvant être réalisés en un seul cycle d'horloge (conception logique). Le chapitre 4 est consacré aux concepts et aux techniques utilisés pour la conception système. Elle consiste à réaliser le découpage logiciel/matériel pour transposer une spécification fonctionnelle en langage de haut niveau, sur une architecture composée de circuits spécialisés et de processeurs généraux (ou specialisés interconnectés). Pour contrôler la qualité de la conception il faut s'assurer que les spécifications initiales décrivent bien la fonctionnalité souhaitée, puis il faut vérifier que les différentes étapes de raffinement préservent cette fonctionnalité. Dans le chapitre 5, la vérification d'équivalence, la vérification de propriétés, la simulation symbolique et la démonstration de théorèmes sont donc abordées. Le chapitre 6 de l'ouvrage traite du domaine émergeant qui a rendu possible l'intégration de systèmes complexes sur une puce : la conception des systèmes hétérogènes. Il s'agit de systèmes pouvant comporter des parties provenant de plusieurs équipes utilisant des méthodes de conception différentes. Note de contenu : Table des matières Chapitre 1 De l'idée au produit . Chapitre 2 Méthodologie et modèles pour la conception digitale Chapitre 3 La conception comportementale. Chapitre 4 La conception système et le découpage logiciel/matériel . Chapitre 5 La simulation et les méthodes de vérification formelle . Chapitre 6 La spécification et la conception des systèmes hétérogènes . Chapitre 7 Les outils de CAO de circuits et de systèmes . Bibliographies/Index.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité	N.Inventaire
636	27-05-01	Livre	Bibliothèque de Génie Electrique- USTO	Documentaires	Exclu du prêt	636
637	27-05-01	Livre	Bibliothèque de Génie Electrique- USTO	Documentaires	Exclu du prêt	637
638	27-05-01	Livre	Bibliothèque de Génie Electrique- USTO	Documentaires	Exclu du prêt	638

Conception logique et physique des systèmes monopuces / Ahmed-Amine Jerraya

Public ISBD Titre : Conception logique et physique des systèmes monopuces Type de document : texte imprimé Auteurs : Ahmed-Amine Jerraya, Auteur Editeur : Cachan : Hermes Science Publication/Lavoisier Année de publication : 2002 Collection : EGEM Série Électronique et Micro-Électronique Importance : 246 p. Présentation : couv. ill.,ill. Format : 24,2 cm. ISBN/ISSN/EAN : 978-2-7462-0434-8 Langues : Français (fre) Catégories : SEMI CONDUCTEURS Index. décimale : 27-05 Microélectronique Résumé : La conjonction de l'évolution des technologies de fabrication des circuits intégrés et de la nature du marché des systèmes électroniques fait que l'on est amené à concevoir des circuits de plus en plus complexes (plusieurs millions) de transistors en un temps de plus en plus court (quelques mois). Ce phénomène a entraîné une métamorphose du processus de conception. Si le principe de la conception reste le même (il s'agit de générer une réalisation physique sous forme d'une puce en partant d'une spécification système), les outils mis en oeuvre et l'organisation du travail durant le processus de conception ont, en revanche, beaucoup évolué. Ainsi, on est passé de la conception où l'on dessinait les masques du circuit sur du papier spécial, à une conception quasi automatique qui part d'une description du comportement du circuit sous forme d'un programme dans un langage de haut niveau. Cet ouvrage a pour but de décrire les méthodes et les outils d'aide à la conception logique et physique des systèmes électroniques digitaux intégrés. Le chapitre 2 présente les fondements de la synthèse de circuits logiques à partir de modèles écrits dans des langages de description de matériel (VHDL / Verilog). Le lecteur aura ainsi les connaissances nécessaires pour devenir un utilisateur averti des outils de synthèse logique et un concepteur-programmeur. Le chapitre suivant est consacré à la conception physique, l'étape ultime dans une chaîne de conception de circuits intégrés, celle de l'implémentation en vue de l'obtention des dessins de masques servant à la fabrication du circuit intégré. Ses principales méthodologies (placement et routage automatiques, synthèse automatique d'arbre d'horloge, etc.) seront donc décrites ainsi que les différentes étapes de la vérification physique (extraction des composants parasites, etc.). L'accroissement en complexité des circuits intégrés et la nécessité croissante de réduire les temps de mise sur le marché exigent la mise en place d'une stratégie de test de la qualité du produit fini. Le chapitre 4 traite du test des circuits en décrivant les concepts et les outils nécessaires à la mise en place d'une telle stratégie. Le concept de communication asynchrone, très en vogue en ce moment, repose sur le concept de découplage des différents modules constituant un système. Ce principe, qui est à la base de toutes les approches modulaires développées pour maîtriser la complexité, peut amener des solutions plus efficaces en termes de performance et de consommation. Les concepts qui régissent le fonctionnement et l'implémentation des circuits asynchrones sont présentés dans le chapitre 5 ainsi que les formalismes et les méthodes utilisés pour la synthèse de circuits asynchrones. En conclusion, le lecteur trouvera une liste des principaux outils de CAO de circuits et systèmes existants. Le chapitre 6 passe en revue quelques outils du commerce s'intégrant dans le flot de conception des circuits et systèmes, en mettant l'accent en particulier sur les outils et les nouvelles méthodes de conception à base d'IP (composants virtuels ou «propriété intellectuelle». Note de contenu : Sommaire Chapitre 1 De l'idée au produit Chapitre 2 La conception logique Chapitre 3 La conception physique : placement, routage et vérification du layout Chapitre 4 Le test Chapitre 5 La conception de systèmes asynchrones Chapitre 6 Les outils de CAO de circuits et de systèmes Index. Conception logique et physique des systèmes monopuces [texte imprimé] / Ahmed-Amine Jerraya, Auteur . - Cachan : Hermes Science Publication/Lavoisier, 2002 . - 246 p. : couv. ill.,ill. ; 24,2 cm.. - (EGEM Série Électronique et Micro-Électronique) . ISBN : 978-2-7462-0434-8 Langues : Français (fre) Catégories : SEMI CONDUCTEURS Index. décimale : 27-05 Microélectronique Résumé : La conjonction de l'évolution des technologies de fabrication des circuits intégrés et de la nature du marché des systèmes électroniques fait que l'on est amené à concevoir des circuits de plus en plus complexes (plusieurs millions) de transistors en un temps de plus en plus court (quelques mois). Ce phénomène a entraîné une métamorphose du processus de conception. Si le principe de la conception reste le même (il s'agit de générer une réalisation physique sous forme d'une puce en partant d'une spécification système), les outils mis en oeuvre et l'organisation du travail durant le processus de conception ont, en revanche, beaucoup évolué. Ainsi, on est passé de la conception où l'on dessinait les masques du circuit sur du papier spécial, à une conception quasi automatique qui part d'une description du comportement du circuit sous forme d'un programme dans un langage de haut niveau. Cet ouvrage a pour but de décrire les méthodes et les outils d'aide à la conception logique et physique des systèmes électroniques digitaux intégrés. Le chapitre 2 présente les fondements de la synthèse de circuits logiques à partir de modèles écrits dans des langages de description de matériel (VHDL / Verilog). Le lecteur aura ainsi les connaissances nécessaires pour devenir un utilisateur averti des outils de synthèse logique et un concepteur-programmeur. Le chapitre suivant est consacré à la conception physique, l'étape ultime dans une chaîne de conception de circuits intégrés, celle de l'implémentation en vue de l'obtention des dessins de masques servant à la fabrication du circuit intégré. Ses principales méthodologies (placement et routage automatiques, synthèse automatique d'arbre d'horloge, etc.) seront donc décrites ainsi que les différentes étapes de la vérification physique (extraction des composants parasites, etc.). L'accroissement en complexité des circuits intégrés et la nécessité croissante de réduire les temps de mise sur le marché exigent la mise en place d'une stratégie de test de la qualité du produit fini. Le chapitre 4 traite du test des circuits en décrivant les concepts et les outils nécessaires à la mise en place d'une telle stratégie. Le concept de communication asynchrone, très en vogue en ce moment, repose sur le concept de découplage des différents modules constituant un système. Ce principe, qui est à la base de toutes les approches modulaires développées pour maîtriser la complexité, peut amener des solutions plus efficaces en termes de performance et de consommation. Les concepts qui régissent le fonctionnement et l'implémentation des circuits asynchrones sont présentés dans le chapitre 5 ainsi que les formalismes et les méthodes utilisés pour la synthèse de circuits asynchrones. En conclusion, le lecteur trouvera une liste des principaux outils de CAO de circuits et systèmes existants. Le chapitre 6 passe en revue quelques outils du commerce s'intégrant dans le flot de conception des circuits et systèmes, en mettant l'accent en particulier sur les outils et les nouvelles méthodes de conception à base d'IP (composants virtuels ou «propriété intellectuelle». Note de contenu : Sommaire Chapitre 1 De l'idée au produit Chapitre 2 La conception logique Chapitre 3 La conception physique : placement, routage et vérification du layout Chapitre 4 Le test Chapitre 5 La conception de systèmes asynchrones Chapitre 6 Les outils de CAO de circuits et de systèmes Index.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité	N.Inventaire
645	27-05-03	Livre	Bibliothèque de Génie Electrique- USTO	Documentaires	Exclu du prêt	645
646	27-05-03	Livre	Bibliothèque de Génie Electrique- USTO	Documentaires	Exclu du prêt	646
647	27-05-03	Livre	Bibliothèque de Génie Electrique- USTO	Documentaires	Exclu du prêt	647
823	27-05-03	Livre	Bibliothèque de Génie Electrique- USTO	Documentaires	Exclu du prêt	823