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.

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

Description de la librairie

Seit �ber 30 Jahren handeln wir mit B�chern. Begonnen hat alles als kleiner Fachbuchhandel in Berlin. Heute sind wir spezialisiert auf den An- und Verkauf gebrauchter B�cher. Noch immer liegt unser Fokus dabei auf den Kategorien: Fachbuch und englischsprachige Literatur. Hinzu kommen B�cher aus allen anderen Genres, wie Belletristik, Biografien oder Kinderb�cher. Unser oberstes Ziel ist dabei die Weiterverwendung von Dingen und die Schonung von Ressourcen. Neben dem Ankauf von privaten B�chern oder Haushaltsaufl�sungen kaufen wir bundesweit komplette Bibliotheken und Buchbest�nde von Institutionen auf, um diese nachhaltig ein weiteres Mal auf den Markt zu bringen. Parallel dazu bietet Buchpark die M�glichkeit, gro�e Mengen einzulagern. Ganze Bibliotheken und umfangreiche Buchbest�nde werden von uns professionell auf Qualit�tsmerkmale hin untersucht und sorgf�ltig f�r den Onlinehandel aufbereitet. Wir schenken B�chern ein zweites Leben.

Visitez la page d�accueil du vendeur