À propos
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.-
Jusqu'à 15 % de vos achats sont reversés à nos partenaires caritatifs. En savoir plus
-
Votre achat contribue à réaliser notre mission : "diffuser la passion de la culture. Avec chacun, pour tous". En offrant une seconde vie à ces produits, vous réduisez le gaspillage de papier et soutenez les actions de nos associations partenaires.
-
Livraison gratuite à partir de 20€ d'achat (en France métropolitaine)
-
Retours jusqu'à 30 jours après l'achat
-
Besoin d'aide ? Obtenez une réponse de notre service d'assistance dans les 24 heures pendant les jours ouvrables.
-
Paiement sécurisé
-
ÉditeurHermes Science Publications
-
ISBN-102746204339
-
ISBN-139782746204331
-
FormatRelié
-
Année2002
-
Pages224
-
ÉtatTrès bon
-
DescriptionAncien livre de bibliothèque. Edition 2002.
-
ArtisteAhmed-Amine Jerraya
-
LangueFrançais
-
Date de publication originale01/05/2002
-
Dimensions (à titre indicatif)Largeur :16 cm hauteur : 24 cm *information non contractuel
-
Prix d'origine86,00 €
-
TypologiesLivre
-
RéférenceC-170-211
-
Notre mission est de "Diffuser la passion de la culture. Avec chacun, pour tous." Cela signifie que chaque achat que vous effectuez chez nous contribue à la réalisation de cette mission ambitieuse.
Acheter sur ammareal.fr va au-delà de l'acte d'achat lui-même. C'est un engagement en faveur de la culture, de l'éducation, de l'inclusion sociale, de la durabilité environnementale et de l'économie circulaire. Rejoignez-nous dans notre mission et faites partie de la communauté qui partage notre passion pour la culture et notre engagement envers un monde meilleur pour tous.
-
Un produit culturel d'occasion est un bien culturel préalablement possédé par un tiers et qui est proposé à la vente. Ces produits comprennent des livres, des CD, des DVD et d'autres supports culturels. Ils sont soigneusement vérifiés pour s'assurer de leur qualité et de leur état avant d'être mis en vente sur notre site. En choisissant des produits culturels d'occasion, vous contribuez à la réduction de la consommation de ressources et à la promotion d'une démarche écocitoyenne en prolongeant la durée de vie des biens culturels existants.
-
Les produits que vous trouvez sur notre site proviennent de diverses sources écocitoyennes, notamment des particuliers, des bibliothèques, des médiathèques, des associations, des entreprises et d'autres partenaires engagés dans une démarche de durabilité. Nous mettons un point d'honneur à promouvoir la réutilisation et le recyclage des biens culturels, contribuant ainsi à la préservation de l'environnement tout en offrant des produits culturels de qualité à nos clients.
-
Notre politique de retour est conçue pour garantir votre satisfaction en tant que client. Chez ammareal.fr, nous comprenons que parfois, un article peut ne pas répondre à vos attentes. C'est pourquoi nous vous offrons la flexibilité d'une politique de retour pouvant aller jusqu'à 30 jours.
Retrouvez plus d’informations sur notre page dédiée à la politique de retour .
-
Nous offrons deux modes de paiement pratiques pour faciliter vos achats :
Paiement par carte bancaire : Nous acceptons les principales cartes de crédit et de débit, ce qui vous permet de régler vos achats en toute sécurité et simplicité en utilisant votre carte préférée.
PayPal: Si vous préférez utiliser PayPal, vous pouvez sélectionner cette option lors de la finalisation de votre commande. PayPal offre une sécurité accrue pour vos transactions en ligne.
