La
méthodologie
La conception d'un circuit VLSI
-
Les trois étapes principales :
-
La spécification comportementale
-
La synthèse
-
Le placement routage
Chaque étape doit être
validée !
La spécification comportementale
-
L'étape de spécification comportementale consiste
à :
-
partitionner le circuit en plusieurs blocs fonctionnels
-
décrire dans un HDL le comportement des différents
blocs
-
Le comportement d'un bloc fonctionnel est modélisé
sous la forme :
-
d'automates d'états finis de fonctions
-
de transfert entre registres
-
de listes d'interconnexions d'autres blocs
La validation de la spécification
comportementale
-
Pour valider la description comportementale on utilise :
-
un simulateur
-
un vérificateur de propriétés (Model
checker)
-
La simulation nécessite l'écriture d'un ensemble
de scénario :
-
un ensemble de stimuli à placer sur les entrées
-
l'ensemble des valeurs attendues sur les sorties
La validation de la description
comportementale représente plus de 50% du temps de conception
La spécification comportementale
avec Alliance : Le simulateur ASIMUT
La spécification comportementale
avec Alliance : Les automates d'états finis
La spécification comportementale
avec Alliance : Un sous ensemble VHDL beaucoup plus large
La spécification comportementale
avec Alliance : Récapitulatif
La synthèse RTL
-
L'étape de synthèse RTL consiste à :
-
transformer une description comportementale en une liste
d'interconnexions de portes d'une bibliothèque
-
Il existe différents critères d'optimisation
:
-
les délais
-
la surface
-
la consommation
-
La validation de cette étape :
-
la simulation post-synthèse (avec délais des
portes)
-
la preuve formelle
La synthèse RTL avec Alliance
La synthèse "manuelle"
avec Alliance
L'interface procédurale C GENLIB permet d'instancier
des portes et de les relier entre elles
La synthèse de chemin de données
avec Alliance
L'interface procédurale C FPGEN permet
:
-
de générer des opérateurs, des bancs
registres (etc ...) et de les stocker dans une librairie
-
de décrire l'interconnexion des blocs ainsi générés
Le placement routage
L'étape de placement routage consiste à
transformer une netlist de portes en un dessin physique
-
Il existe différents paramètres :
-
un placement initial des portes
-
la position des connecteurs physique
-
la forme globale du bloc physique souhaité
-
La validation de cette étape :
-
l'extraction la simulation et la comparaison de netlist
-
la vérification des règles de dessin
-
l'abstraction fonctionnelle et la preuve formelle
Le placement/routage avec Alliance
: Le routage Standard Cell
Le placement/routage avec Alliance
: Le routage de chemin de donneés
Le placement/routage avec Alliance
: Le routage au niveau plots
Le placement/routage avec Alliance
: La validation
Le passage au réel avec Alliance
Web pages designed by Christophe
Jacomme
Laisser un message
retour page d'accueil