Difference between revisions of "Formation::FPGA"

From Electrolab
Jump to: navigation, search
(Objectifs)
(Tag: visualeditor)
(Plan: Nettoyage du bordel laissé par l'éditeur graphique et son utilisateur. Accessoirement, ceci est un *brouillon* de *plan*, pas un support de cours)
Line 7: Line 7:
 
# '''Introduction à l'électronique numérique'''
 
# '''Introduction à l'électronique numérique'''
 
En electronique numérique, par opposition à l'analogique, les signaux ne peuvent prendre qu'un nombre restreint de valeur (typiquement [0;1]). Afin d'augmenter la plage des valeurs représentables, on utilise plusieur signaux que l'ont groupe sous forme de bus. L'electronique numérique utilise une série d'opérateurs qui forment la logique de bool (booléenne).
 
En electronique numérique, par opposition à l'analogique, les signaux ne peuvent prendre qu'un nombre restreint de valeur (typiquement [0;1]). Afin d'augmenter la plage des valeurs représentables, on utilise plusieur signaux que l'ont groupe sous forme de bus. L'electronique numérique utilise une série d'opérateurs qui forment la logique de bool (booléenne).
# Logiques combinatoire et séquentielle
+
## Logiques combinatoire et séquentielle
 
Une fonctione logique -- ou porte logique -- est représentée par une boite noire comprennant un certain nombre d'entrée et sorties. En logique combinatoire, la valeur de chaque sortie est directement reliable aux valeurs des entrées. En logique séquentielle par contre, les sorties sont fonction non seulement des entrées, mais également de l'état antérieur de la porte logique. La logique séquentielle permet donc d'implementer des mémoires.  
 
Une fonctione logique -- ou porte logique -- est représentée par une boite noire comprennant un certain nombre d'entrée et sorties. En logique combinatoire, la valeur de chaque sortie est directement reliable aux valeurs des entrées. En logique séquentielle par contre, les sorties sont fonction non seulement des entrées, mais également de l'état antérieur de la porte logique. La logique séquentielle permet donc d'implementer des mémoires.  
  
Line 21: Line 21:
  
 
| 1  1  1  |  
 
| 1  1  1  |  
# Fonctions combinatoires élémentaires
+
### Fonctions combinatoires élémentaires
 
NON (NOT) : inverse l'entrée.
 
NON (NOT) : inverse l'entrée.
  
Line 33: Line 33:
  
 
OU-EXCLUSIF (XOR)
 
OU-EXCLUSIF (XOR)
# Bascules
+
### Bascules
# Automates
+
## Automates
## Compteurs
+
### Compteurs
## Vecteur d'état
+
### Vecteur d'état
## Automates programmables
+
### Automates programmables
# Conclusion
+
## Conclusion
  
 
# '''Présentation des composants programmables'''
 
# '''Présentation des composants programmables'''
Line 111: Line 111:
 
#### Fichiers
 
#### Fichiers
 
#### Pointeurs
 
#### Pointeurs
 +
 
= '''Matériel''' =
 
= '''Matériel''' =
 
J'avais dans l'idée de réaliser quelques exemplaires de [[Projets:Perso:2013:Carte_MAX7000|cette carte]] pour faire tourner en vrai au lieu de simplement simuler
 
J'avais dans l'idée de réaliser quelques exemplaires de [[Projets:Perso:2013:Carte_MAX7000|cette carte]] pour faire tourner en vrai au lieu de simplement simuler

Revision as of 10:22, 20 June 2014

(page en cours de rédaction et qui me sert également de brouillon pour le support de formation)

Objectifs

Permettre à chacun (y compris ceux qui n'y connaissent rien) de mettre en oeuvre un composant logique programmable (PLD, CPLD, FPGA) soit sur une carte de développement soit dans un montage perso

Plan

  1. Introduction à l'électronique numérique

En electronique numérique, par opposition à l'analogique, les signaux ne peuvent prendre qu'un nombre restreint de valeur (typiquement [0;1]). Afin d'augmenter la plage des valeurs représentables, on utilise plusieur signaux que l'ont groupe sous forme de bus. L'electronique numérique utilise une série d'opérateurs qui forment la logique de bool (booléenne).

    1. Logiques combinatoire et séquentielle

Une fonctione logique -- ou porte logique -- est représentée par une boite noire comprennant un certain nombre d'entrée et sorties. En logique combinatoire, la valeur de chaque sortie est directement reliable aux valeurs des entrées. En logique séquentielle par contre, les sorties sont fonction non seulement des entrées, mais également de l'état antérieur de la porte logique. La logique séquentielle permet donc d'implementer des mémoires.

Pour représenter chaque sortie en fonction des entrées, on utlise une table de vérité : un simple tableau.

Par exemple un fonction ET (AND) à deux entrées (a et b) et une sortie (s) aura comme table de vérité :

| a | b | s |

| 0 0 0 |

| 0 1 0 |

| 1 1 1 |

      1. Fonctions combinatoires élémentaires

NON (NOT) : inverse l'entrée.

ET (AND)

OR (OU)

NON-ET (NAND)

NON-OU (NOR)

OU-EXCLUSIF (XOR)

      1. Bascules
    1. Automates
      1. Compteurs
      2. Vecteur d'état
      3. Automates programmables
    2. Conclusion
  1. Présentation des composants programmables
    1. Intégration
    2. Technologies
    3. FPGA et ASIC
      1. Comparaison
      2. Implications vis à vis de la conception
  2. Présentation des langages de description matérielle
    1. Limites de la saisie de schéma
    2. Notion de concurrence
    3. Simulation
    4. Conception
  3. Introduction au VHDL
    1. Bref historique
    2. Concepts de base
      1. Unités de conception
        1. Paire paquetage/corps de paquetage
        2. Paire entité/architecture
      2. Bibliothèques de conception
        1. Bibliothèques prédéfinies
        2. Bibliothèques standards
      3. Objets et types
        1. Typage fort
        2. Classes d'objets
      4. Instructions concurrentes et séquentielles. Processus
      5. Description hiérarchique
    3. Exemples pratiques
      1. Porte NON-ET (NAND)
        1. Processus combinatoire
      2. Porte OU-EX (XOR)
        1. Instantiation
      3. Additionneur simple
      4. Additionneur complet
        1. Instruction generate
        2. Boucle for...generate
        3. Condition if...generate
      5. Bascule D
        1. Processus synchrone
        2. Conditions
      6. Compteur
    4. Niveaux d'abstraction
      1. Types numériques
      2. Paquetage numeric_std
      3. Types énumérés
      4. Fonctions et procédures
    5. Simulation : testbenches
      1. Génération de signaux
        1. Horloges
        2. Reset
      2. Vérification : assertions
      3. Scripts
  4. Du VHDL au FPGA
    1. Synthèse logique
      1. VHDL synthétisable
    2. Placement-routage
      1. Contraintes physiques
        1. Fréquence de fonctionnement
        2. Brochage
    3. Règles de codage
      1. Fichiers sources
      2. Indentation
      3. Nommage des objets
  5. Simulation
    1. Pourquoi simuler
      1. Vérification syntaxique
      2. Validation fonctionnelle
    2. Testbench
      1. Stimuli
      2. VHDL non-synthétisable
        1. Délais
        2. Fichiers
        3. Pointeurs

Matériel

J'avais dans l'idée de réaliser quelques exemplaires de cette carte pour faire tourner en vrai au lieu de simplement simuler