Nos liseuses Vivlio rencontrent actuellement des problèmes de synchronisation. Nous faisons tout notre possible pour résoudre ce problème le plus rapidement possible. Toutes nos excuses pour la gêne occasionnée !
- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
Nos liseuses Vivlio rencontrent actuellement des problèmes de synchronisation. Nous faisons tout notre possible pour résoudre ce problème le plus rapidement possible. Toutes nos excuses pour la gêne occasionnée !
- Retrait gratuit dans votre magasin Club
- 7.000.0000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
Conception de haut niveau des systèmes monopuces (Traité EGEM, Série électronique et micro-électronique) EBOOK
Ahmed-Amine Jerraya
Ebook | Français
86,00 €
+ 86 points
Description
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 conceptiuon. 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 œuvre 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éreaux (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.
Spécifications
Parties prenantes
- Auteur(s) :
- Editeur:
Contenu
- Langue:
- Français
Caractéristiques
- EAN:
- 9782746227835
- Date de parution :
- 31-05-08
- Format:
- Ebook
- Protection digitale:
- Digital watermarking
- Format numérique:
