Implémentez plusieurs fonctions logiques
Le bloc logique programmable doit pouvoir implémenter toutes les fonctions logiques de base, à savoir INV, AND, NAND, OR, NOR, XOR, XNOR, etc. Plusieurs approches sont utilisées dans l'industrie des FPGA pour atteindre cet objectif.
La première approche consiste à utiliser un multiplexeur, la seconde à utiliser des tables (Look-Up-Table).
Exemple d'implémentation à base de multiplexeurs
Rappelons la table de vérité du multiplexeur, vue dans le cours "Concevez vos premiers circuits combinatoires" :
en | i0 | i1 | f |
0 0 | 0 1 | x x | 0 1 |
1 1 | x x | 0 1 | 0 1 |
De manière assez surprenante, un multiplexeur à deux entrées peut être utilisé comme générateur de fonctions programmables, comme illustré dans le tableau ci-dessous.
Fonction | Expression logique équivalente | i0 | i1 | en |
BUF(A) | f=A | 0 | A | 1 |
NOT(A) | f=~(A) | 1 | 0 | A |
AND(A,B) | f=A&B | 0 | B | A |
OR(A,B) | f=A|B | B | 1 | A |
Par exemple, l'inverseur (NOT) est créé si l'entrée i0 du multiplexeur est égale à 1, l'entrée i1 est égale à 0 et l'entrée de sélection en est connecté à A. Dans ce cas, la sortie f est le ~ A. Cela veut donc dire qu'il suffit de programmer les entrées i0, i1 et en pour obtenir des fonctions logiques différentes.
La figure ci-dessous décrit l'utilisation du multiplexeur pour produire les fonctions OR, NOT, AND et BUF.
Circuits à double multiplexeurs
D'autres fonctions logiques, telles que NAND, NOR et XOR ne peuvent pas être créées directement à l'aide d'un seul multiplexeur à 2 entrées.
Elles nécessitent au moins deux circuits de multiplexage, comme illustré ci-dessous pour la porte XOR.
Look-Up-Table (LUT) utilisé dans les FPGA
La table de correspondance (Look-Up-Table ou LUT) est de loin le circuit le plus polyvalent pour créer une fonction logique configurable. Le tableau de correspondance présenté ci-dessous comporte 3 entrées F0, F1 et F2. La sortie est Fout, dont la valeur logique dépend de F0, F1 et F2. La sortie Fout est définie par les valeurs attribuées à Value[0] .. Value[7]. Les trois entrées F0, F1, F2 représentent en fait une adresse sur 3 bits, comprise entre 0 et 7, qui place en sortie la donnée stockée dans Value[i].
Dans l'exemple ci-dessous, l'entrée F0=1, F1=0, F2=1 active l’adresse @5, le contenu de la mémoire Value[5] est acheminé vers Fout.
Dans l'exemple ci-dessous, on a réalisé la fonction "F0 & F1" en programmant des 0 et des 1 dans les cellules Value[x] , de telle sorte que lorsque la cellule est connectée à la sortie grâce à l'adresse binaire formée par F2 F1 F0 , la sortie prenne la valeur de NOT (F0).
F2 | F1 | F0 | V(7) | V(6) | V(5) | V(4) | V(3) | V(2) | V(1) | V(0) | Fout=NOT(F0) |
0 | 0 | 0 |
|
|
|
|
|
|
| 0 | V(0) |
0 | 0 | 1 |
|
|
|
|
|
| 0 |
| V(1) |
0 | 1 | 0 |
|
|
|
|
| 0 |
|
| V(2) |
0 | 1 | 1 |
|
|
|
| 1 |
|
|
| V(3) |
1 | 0 | 0 |
|
|
| 0 |
|
|
|
| V(4) |
1 | 0 | 1 |
|
| 0 |
|
|
|
|
| V(5) |
1 | 1 | 0 |
| 0 |
|
|
|
|
|
| V(6) |
1 | 1 | 1 | 1 |
|
|
|
|
|
|
| V(7) |
La table des valeurs Value[i] correspondant à quelques fonctions communes est donnée ci-dessous.
Une LUT à 4 entrées — et donc 16 valeurs Value[i] — peut aussi être réalisée. Il n'existe toutefois dans DSCH qu'une LUT à 3 entrées.
Exemple : porte XOR 3 entrées
Dans le cas du XOR à 3 entrées (F0^F1^F2), la séquence Value[i] est 01101001. Ce sont ces valeurs qui sont prépositionnées sur les 8 entrées du schéma ci-dessous. Nous devons affecter manuellement la table de vérité désirée (tableau ci-dessus) à chacun des 8 boutons Value[i]. Une fois la programmation effectuée, la sortie Fout vaut F0 XOR F1 XOR F2. Par exemple, si F0=0, F1=0 et F2=1, Fout vaut 1. On peut ainsi vérifier toutes les combinaisons d’entrées.
Points mémoire
Les points mémoire sont des composants essentiels des blocs logiques configurables. Le point mémoire est utilisé pour stocker une valeur logique, correspondant à une information élémentaire de la table de vérité. Pour une fonction à 3 entrées (F0, F1, F2 dans la LUT précédente), nous avons besoin d'un ensemble de 8 points mémoire pour stocker les informations Value [0] .. Value [7]. Il existe plusieurs approches pour stocker un seul bit d’information. Celle illustrée ci-dessous est constituée de cellules D-reg.
Programmation du point mémoire
La donnée logiqueValue[i] est entièrement programmée par un mot de 8 bits envoyé en série au signal DataProg. L'assignation des 8 données élémentaires de la table nécessite 8 cycles d'écriture en chaîne. La configuration obéit donc à un protocole et des séquences temporelles strictes, comme décrit ci-dessous.
Une série de 8 fronts actifs doit être générée sur le signal ClockProg (le registre Dreg est actif sur les fronts descendants de l'horloge, donc au moment du passage de 1 à 0). Sous DSCH, nous utilisons un générateur d'impulsions "PWL" (Piece-Wise-Linear) dans le menu "Advanced", item "Sources", que nous configurons avec une série de 0-1 comme indiqué ci-dessous. Il faut s'assurer que 8 transitions 1 vers 0 sont générées, ni plus ni moins.
À chaque front actif, le registre à décalage est alimenté par une nouvelle valeur présentée séquentiellement à l'entrée DataProg. Comme le registre D est actif sur le front descendant, les données peuvent être modifiées sur chaque front montant. Notez que la dernière donnée de DataProg correspond à Value [7]. Par conséquent, Value[7] doit être inséré en premier et Value[0] en dernier. Cela signifie que DataProg doit décrire la table de vérité dans l'ordre inverse, comme indiqué ci-dessous. Nous utilisons un deuxième élément PWL pour DataProg.
La fonction XOR est complétée quand le dernier front actif a permis de stocker la dernière donnée. Les fils DataProg et ClockProg sont inactifs et le calcul de F0 XOR F1 XOR F2 peut alors débuter.
Symbole LUT
Dans DSCH, un symbole LUT est proposé dans le menu de symboles > Advanced > Switches.
L'interface utilisateur du symbole LUT est donnée à la figure ci-dessous.
Il y a trois manières de remplir la table de vérité :
En définissant chaque élément du tableau avec un 0 ou un 1, en haut à gauche dans la colonne "Value". Par exemple, le n°4 est codé 100 en binaire, ce qui correspond à F2 = 1, F1 = 0 et F0 = 0. Pour cette combinaison d'entrées, Value vaut 1.
En choisissant la description de la fonction dans la liste. Les informations logiques Fout affectées à chaque combinaison d'entrées mettent à jour la table de vérité.
Une troisième solution est également proposée : saisir une description basée sur les entrées F0, F1 et F2, combinant différents opérateurs logiques "~" (NON), "& '(ET)," | "(OR) et" ^ "(XOR). Cliquez ensuite sur le bouton "Fill LUT" pour transférer le résultat de l'expression dans la table.
Dans ce chapitre, vous avez appris à programmer et implémenter des fonctions logiques sur FPGA. Dans le chapitre suivant, vous découvrirez le point d'intersection programmable.
