Flot de conception de circuits numériques - INF3500

INF3500 : Conception et implémentation de systèmes numériques
http://creativecommons.org/licenses/by-nc-sa/2.5/ca/
Pierre Langlois
Flot de conception de circuits numériques

INF3500 : Conception et implémentation de systèmes numériques
Sujets de ce thème
•Le flot de conception:
–Description
–Vérification fonctionnelle
–Synthèse
–Implémentation
–Extraction de métriques
–Programmation
2

INF3500 : Conception et implémentation de systèmes numériques
Le flot de conception – vue d’esele
3
code HDL
schéma
diagramme
d’états
génération
de code
HDL
synthèse implémentation
génération du
fichier de
configuration
vérification par simulation annotation
des délais
Extraction statique des métriques d’implémentation
(ressources, délai, puissance)
contraintes
(temps et
espace)
vérification de la puce
puce

INF3500 : Conception et implémentation de systèmes numériques
1. Description du circuit
•La description du circuit combine:
–Du code HDL (VHDL, Verilog, SystemC, etc.)
–Des shas d’iteoeios de oposates
–Des diagaes d’tats
–Des fichiers de contraintes
•Famille et type de puce utilisée
•Fuee d’hologe ile
•Ephase su la latee de alul ou l’espae utilis
•Choix de pattes de la puce pour les ports du circuit
•Les shas et les diagaes d’tats sot
convertis en code HDL par un outil.
•On utilise un environnement de développement
comme Active-HDL de Aldec ou bien Project
Navigator de Xilinx.
4
code HDL
schéma
diagramme
d’états
génération
de code
HDL
synthèse implémentation
génération du
fichier de
configuration
vérification par simulation annotation
des délais
Extraction statique des métriques d’implémentation
(ressources, délai, puissance)
contraintes
(temps et
espace)
vérification de la puce
puce

INF3500 : Conception et implémentation de systèmes numériques
code HDL
schéma
diagramme
d’états
génération
de code
HDL
synthèse implémentation
génération du
fichier de
configuration
vérification par simulation annotation
des délais
Extraction statique des métriques d’implémentation
(ressources, délai, puissance)
contraintes
(temps et
espace)
vérification de la puce
puce
2. Vérification fonctionnelle par simulation
•La vérification par simulation consiste à stimuler le
modèle du circuit, à observer ses réponses et à en
vifie l’eatitude.
•On fait une vérification fonctionnelle du modèle. Si
des erreurs sont trouvées, on corrige le modèle.
•Une simulation correct ne garantit (hélas) pas que
les autres étapes du flot vont fonctionner.
5