Académique Documents
Professionnel Documents
Culture Documents
de Systèmes Intégrés
Numériques
Un circuit intégré (integrated circuit, IC) réalise une fonction électronique sous la
forme d’un ensemble de composants électroniques miniaturisés assemblés sur un
même substrat, usuellement de silicium.
Le nbre des Tr
Satisfaire des
contraintes
Performances marché
Un circuit analogique
Mode discret qui ne considère
qu’un nombre limité d’états.
Travaille selon un Incorpore des parties
mode continu fonctionnant en mode
logique et des parties
Le comportement consiste fonctionnant en mode
à passer d’un état à un analogique.
autre comportement peut être
peut être décrit sous la décrit sous la forme
forme d’un programme d’équations.
Un convertisseur
logique-analogique
Un microprocesseur
Un amplificateur audio
définit
le "quoi" le "comment
Les circuits réguliers (mémoires, chemins de données (datapath modules)) en sont des
exemples types.
ENSIAS Rabat Z. ALAOUI ISMAILI 12
Les méthodes mixtes (meet-in-the-middle) sont une combinaison de méthodes
descendantes et de méthodes montantes.
adaptées
des multiplieurs,
un grand nombre de des unités de contrôle
composants personnalisés de la mémoire.
Graphique textuelle
• diagrammes • algorithmes,
• schémas • liste de pièces
• etc • connectivité (netlist), etc.).
des descriptions qui ne sont destinées à Descriptions destinées à être en plus lues
être lues et comprises que par des outils et comprises par des concepteurs.
logiciels.
Le langage VHDL
les formats CIF et GDSII pour le layout Verilog HDL
EDIF pour le schéma et le layout.
et/ou
Comportement Structure
Usuellement un schéma,
éventuellement hiérarchique,
représentant uniquement les liens
topologiques entre éléments du N.B. L’ensemble des modèles considérés
système. ici est celui des systèmes matériels
(hardware systems), c’est-à dire des
systèmes réalisés sous la forme de circuits
intégrés.
Chaque niveau d’abstraction est caractérisé par la nature des informations sur le
modèle et sur le type de composant de base, ou primitives, qu’il considère:
ENSIAS Rabat Z. ALAOUI ISMAILI 18
le plus abstrait (le Le système à concevoir est vu
moins détaillé) comme un ensemble de processus
communicants
La manière dont les processus communiquent entre eux est plus importante que le
comportement des processus eux-mêmes
Le but principal:
Évaluer des réalisations de spécifications pour
différentes décompositions fonctionnelles et
différentes utilisations des ressources (débit de
traitement, espace mémoire, etc.).
travaillant de
manière
Les composants de base sont des modules logiques concurrente.
complexes, tels que ALU, multiplexeur, décodeur,
registre, etc.
basé
La correspondance
Les composants de
base sont les éléments électriques
traditionnels transistors, capacité,
résistance, sources, etc.)
Ce que le système
comment le système est Comment le système
fait sous la forme
logiquement construit sous est réellement
d’un comportement
la forme d’une construit
entrée-sortie (boîte
interconnexion de
noire).
composants
la mémoire MEM et le registre DBUF sont placés à droite du plan, alors que
les autres blocs sont groupés à gauche dans une structure dite de chemin
de données (datapath) pour laquelle les opérateurs sont découpés en
tranches de bits (bit slices).
Les bus prennent leur forme et leur longueur finales. Il s’agit de minimiser
la surface occupée et/ou les délais associés aux interconnexions
ENSIAS Rabat Z. ALAOUI ISMAILI 28
La Figure 1.3 donne un autre exemple de description géométrique d’une partie
de l’un des blocs de la Figure 1.2
Le modèle
optimisé
un type de modèle exécutable
Le logiciel de
simulation
pas nécessaire
d’appliquer des stimulis
Un exemple est le calcul des délais entrées-sorties d’un circuit logique par
accumulation des délais des portes logiques et des interconnexions des
chemins entre les entrées primaires et les sorties primaires du circuit.
plus détaillé
contraintes dériver un nouveau
imposées modèle
optimisé
Un langage de description de
matériel (HDL – Hardware
Description Language)
outil
Description
Comportement Structure
Système matériel
Systèmes combinatoires
et séquentiels, synchrones
la description d’une large et asynchrones
gamme de systèmes à la fois
logiques numériques) et
analogiques Systèmes électriques, aussi
mécaniques, thermiques,
acoustiques, etc
important
Renforce la la simulation
Outils logiciels
cohérence la synthèse
Organiser le processus de
conception
les primitives
correspondantes
Comportementales
(fonctionnelles) Caractéristiques
Supporte plusieurs
exprimer contraintes de
niveaux d’abstraction et
conception
autorise des descriptions
hiérarchiques. .
Structurelles .
.
.
ENSIAS Rabat Z. ALAOUI ISMAILI 37
Un aspect important est la possibilité de spécifier des
caractéristiques temporelles comme le cycle d’horloge, des délais, des temps de
montée, de descente, de pré-positionnement (setup time) et de maintien (hold time).
définir de nouveaux
types d’objets
permet
Extensible Concepteur
Les nouvelles
opérations correspondantes
équipes de conception
Un simple format la communication et
d’échange entre outils la cohésion différentes
logiciels
communautés de
concepteurs
lisible (format texte)
ENSIAS Rabat Z. ALAOUI ISMAILI 38
• une description écrite dans un tel langage contient beaucoup d’information sur
l’expertise derrière la conception
50’000 à 1’000’000
Circuits fonctionnant
de transistors
en mode logique
Plus naturel
Énorme quantité d’information
et
qu’il faudrait stocker et gérer au niveau du
plus efficace
transistor.
Le niveau logique
prendre
Nombre limité d’états
Il est ainsi possible d’effectuer des simulations 10 à 100 fois plus rapides que
les formes de simulation électrique les plus efficaces.
la rapidité de simulation
se paie par une perte de détails dans
l’information obtenue.
Bref: La simulation logique est une technique de simulation rapide basée sur
l’évaluation de fonctions logiques et la propagation d’événements dans le
modèle (Figure 1.4).
Un événement est un
changement de valeur sur un
signal.
Exemple
N.B. La prise en compte des délais est importante si l’on désire une
vérification plus précise du fonctionnement du modèle.
ENSIAS Rabat Z. ALAOUI ISMAILI 45
Plusieurs types de délais existent: mode de
fonctionnement idéal
Les signaux ne prennent ainsi jamais leur nouvelle valeur immédiatement, mais
seulement au début du délai (itération) delta suivant
La Figure 1.5 illustre l’effet du délai inertiel sur deux signaux Y1 et Y2 avec un délai
inertiel de 5 ns pour Y1 et de 2 ns pour Y2.
ENSIAS Rabat Z. ALAOUI ISMAILI 47
modélise une réponse
fréquentielle infinie
La Figure 1.6 illustre l’effet dudélai transport sur les même signaux que ceux de la
Figure 1.5.
ENSIAS Rabat Z. ALAOUI ISMAILI 48
Un autre aspect important de la simulation logique est le nombre d’états considérés
états indéfinis
insuffisant
Le système à deux modéliser et inconnus
états binaires ’0’ et ’1’ observer
haute impédance
Figure 1.7. Besoin d’un état indéfini.
le besoin de
disposer d’un
état indiquant
une situation
erronée
L’état ’X’ (indéfini) est ainsi utilisé pour représenter un conflit (ici dû à un contrôle
erroné des interrupteurs).
Deux tâches
principales sont
effectuées:
La partie Chemin
Délais minimum
combinatoire critique
pas possible de
minimiser à la fois la
surface du circuit et son
chemin critique.
entity exsynt is
port (A, B, C, E, F, G: in BIT; Z: out BIT);
end;
Figure 1.12. Circuits obtenus après utilisation d’une bibliothèque de cellules standard.
Augmentation de 36%.
La synthèse de
blocs réguliers
mémoires
opérateurs arithmétiques
RAM et ROM
sur un certain
nombre de pas de Ressources
la partie opérative
contrôle nécessaires au
(datapath) du
système transfert de
Partie contrôle (control part) données
du système.
ALUs, additionneurs.. bus, multiplexeurs)
ENSIAS Rabat Z. ALAOUI ISMAILI 60
Exemple:
Système matériel
pas de contrôle
Rq:
opérations de manière
plusieurs ensembles
concurrente
de données
plusieurs couches
description géométrique de polygones
tâches
masque
Les positions
placement routage
(placement) (routing) La fabrication.
des composants
électroniques (transistors)
et des interconnexions
(wires).
complexités variables