Description du livre
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.