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

Public ISBD Titre : Conception de haut niveau des systèmes monopuces Type de document : texte imprimé Auteurs : Jerraya, Ahmed-Amine, Auteur Editeur : Hermes science publ. Année de publication : 2002 Importance : 224 p Présentation : ill.couv ill Format : 25x16 cm ISBN/ISSN/EAN : 978-2-7462-0433-1 Langues : Français (fre) Catégories : ELECTRONIQUE:04 Technologie de composants Mots-clés : Circuits intégrés numériques : Conception et construction 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 Note de contenu : description des concepts et des techniques utilisés pour la conception comportementale .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 la vérification d'équivalence, la vérification de propriétés, la simulation symbolique et la démonstration de théorèmes élémentaires .concepts et aux techniques utilisés pour la conception système. Conception de haut niveau des systèmes monopuces [texte imprimé] / Jerraya, Ahmed-Amine, Auteur . - Hermes science publ., 2002 . - 224 p : ill.couv ill ; 25x16 cm. ISBN : 978-2-7462-0433-1 Langues : Français (fre) Catégories : ELECTRONIQUE:04 Technologie de composants Mots-clés : Circuits intégrés numériques : Conception et construction 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 Note de contenu : description des concepts et des techniques utilisés pour la conception comportementale .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 la vérification d'équivalence, la vérification de propriétés, la simulation symbolique et la démonstration de théorèmes élémentaires .concepts et aux techniques utilisés pour la conception système.

Réservation

Réserver ce document

Exemplaires(1)

Code-barres	numéro d'inventaire	Cote	Support	Localisation	Section	Disponibilité
195637	09-04-0028	Livre	Bibliothèque IGCMO	Documentaires	Disponible

---

1 (1 - 1 / 1) Par page : 25 50 100 200