Référence

Glossaire de la logique numérique

Définitions concises des termes fondamentaux en logique numérique et conception de circuits : portes logiques, algèbre booléenne, bascules, ALU et architecture des processeurs. Chaque entrée comprend une phrase citable, un bref éclaircissement et des liens vers un tutoriel approfondi.

63 termes · 8 catégories

Fondamentaux

5 termes
Binaire#binary

Le binaire est un système de numération en base 2 où toute valeur est représentée par des 0 et des 1, généralement portés par deux niveaux de tension.

Approfondir →
Bit#bit

Un bit est la plus petite unité d’information numérique et vaut 0 ou 1 ; huit bits forment un octet.

Signal numérique#digital-signal

Un signal numérique utilise deux plages de tension valides, généralement interprétées comme 0 (BAS) et 1 (HAUT).

Documentation composant →
Table de vérité#truth-table

Une table de vérité énumère toutes les combinaisons d’entrées d’une fonction numérique et leurs sorties ; une porte à n entrées possède 2ⁿ lignes.

Approfondir →
Actif à l’état haut / bas#active-high-active-low

Un signal actif à l’état haut déclenche sa fonction au niveau logique 1, tandis qu’un signal actif à l’état bas la déclenche au niveau 0.

Portes logiques

12 termes
Porte logique#logic-gate

Une porte logique calcule une fonction booléenne de ses entrées ; les types usuels sont AND, OR, NOT, NAND, NOR, XOR et XNOR.

Approfondir →
Porte ET#and-gate

Une porte ET ne produit 1 que si toutes ses entrées valent 1 ; sinon elle produit 0. Son expression est Y = A · B.

Approfondir →Documentation composant →
Porte OU#or-gate

Une porte OU produit 1 dès qu’au moins une entrée vaut 1 et ne produit 0 que si toutes valent 0. Son expression est Y = A + B.

Approfondir →Documentation composant →
Porte NON#not-gate

Une porte NON, ou inverseur, complémente son unique entrée : 0 devient 1 et 1 devient 0. Son expression est Y = A̅.

Approfondir →Documentation composant →
Porte NON-ET#nand-gate

Une porte NON-ET inverse le résultat d’une porte ET et ne produit 0 que si toutes les entrées valent 1 ; elle est fonctionnellement complète.

Approfondir →Documentation composant →
Porte NON-OU#nor-gate

Une porte NON-OU inverse le résultat d’une porte OU et ne produit 1 que si toutes les entrées valent 0 ; elle est fonctionnellement complète.

Approfondir →Documentation composant →
Porte OU exclusif#xor-gate

Une porte XOR produit 1 lorsque ses entrées diffèrent et 0 lorsqu’elles sont identiques ; elle sert notamment dans les additionneurs et contrôles de parité.

Approfondir →Documentation composant →
Porte NON-OU exclusif#xnor-gate

Une porte XNOR est le complément de XOR et produit 1 lorsque ses entrées sont égales, ce qui en fait un élément de comparaison.

Approfondir →Documentation composant →
Tampon#buffer

Un tampon recopie son entrée sans modifier la valeur logique afin de restaurer le signal, piloter une charge ou isoler des circuits.

Approfondir →Documentation composant →
Tampon trois états#tri-state-buffer

Un tampon trois états peut produire 0, 1 ou une haute impédance Z ; désactivé, il se déconnecte du bus afin que plusieurs dispositifs partagent les fils.

Documentation composant →
Porte universelle#universal-gate

Une porte universelle permet de construire toute fonction booléenne à elle seule ; les portes NAND et NOR à deux entrées ont cette propriété.

Approfondir →
Complétude fonctionnelle#functional-completeness

Un ensemble de portes est fonctionnellement complet s’il peut exprimer toute fonction booléenne, comme {AND, OR, NOT}, {NAND} ou {NOR}.

Algèbre booléenne

7 termes
Algèbre de Boole#boolean-algebra

L’algèbre de Boole est le système mathématique de la logique binaire qui utilise AND, OR, NOT et leurs lois pour transformer et simplifier les expressions.

Approfondir →
Lois de De Morgan#de-morgans-laws

Les lois de De Morgan énoncent (A · B)̅ = A̅ + B̅ et (A + B)̅ = A̅ · B̅, ce qui permet de transformer des circuits logiques équivalents.

Approfondir →
Somme de produits (SOP)SOP#sum-of-products

La somme de produits est une forme booléenne canonique où des termes produits sont reliés par OU, avec un minterme pour chaque ligne de sortie 1.

Approfondir →
Produit de sommes (POS)POS#product-of-sums

Le produit de sommes est une forme booléenne canonique où des termes sommes sont reliés par ET, avec un maxterme pour chaque ligne de sortie 0.

Approfondir →
Tableau de Karnaugh#karnaugh-map

Un tableau de Karnaugh simplifie graphiquement une expression booléenne, généralement jusqu’à environ six variables, en regroupant les 1 adjacents par puissances de deux.

Approfondir →
Minterme#minterm

Un minterme est un terme produit qui vaut 1 pour une seule ligne de la table de vérité ; l’OU des mintermes de sortie 1 donne la forme SOP canonique.

Maxterme#maxterm

Un maxterme est un terme somme qui vaut 0 pour une seule ligne de la table de vérité ; l’ET des maxtermes de sortie 0 donne la forme POS canonique.

Logique combinatoire

5 termes
Logique combinatoire#combinational-logic

La sortie d’un circuit combinatoire dépend uniquement de ses entrées présentes, sans état mémorisé ; additionneurs, décodeurs, multiplexeurs et ALU en sont des exemples.

Multiplexeur (MUX)MUX#multiplexer

Un multiplexeur sélectionne l’une de 2ⁿ entrées de données, selon n lignes de sélection, et l’achemine vers une sortie unique.

Approfondir →Documentation composant →
Démultiplexeur (DEMUX)DEMUX#demultiplexer

Un démultiplexeur effectue l’opération inverse : il dirige une entrée vers l’une de 2ⁿ sorties selon n lignes de sélection.

Documentation composant →
Décodeur#decoder

Un décodeur transforme une entrée binaire de n bits en 2ⁿ sorties one-hot et n’active qu’une sortie à la fois.

Approfondir →Documentation composant →
Encodeur#encoder

Un encodeur transforme 2ⁿ entrées one-hot en une sortie binaire de n bits ; un encodeur prioritaire gère plusieurs entrées actives simultanément.

Approfondir →Documentation composant →

Logique séquentielle

12 termes
Logique séquentielle#sequential-logic

La sortie d’un circuit séquentiel dépend des entrées présentes et de son état interne ; verrous, bascules, registres, compteurs et CPU l’utilisent.

Verrou#latch

Un verrou est une mémoire d’un bit sensible au niveau : sa sortie suit l’entrée lorsque Enable est actif, puis conserve la dernière valeur.

Verrou SR#sr-latch

Un verrou SR mémorise un bit avec les entrées Set et Reset : Set produit 1, Reset produit 0 et aucune entrée active conserve l’état précédent.

Approfondir →Documentation composant →
Verrou D#d-latch

Un verrou D laisse la sortie suivre D lorsque Enable est HAUT et conserve la valeur présente lorsque Enable repasse à BAS.

Approfondir →Documentation composant →
Bascule#flip-flop

Une bascule est une mémoire d’un bit déclenchée sur front qui n’échantillonne son entrée qu’à une transition précise de l’horloge.

Bascule D#d-flip-flop

Une bascule D capture D sur chaque front actif et conserve cette valeur jusqu’au suivant, selon Q(t+1) = D.

Approfondir →Documentation composant →
Bascule JK#jk-flip-flop

Une bascule JK peut maintenir, mettre à 1, remettre à 0 ou inverser son état ; J=K=1 provoque l’inversion et supprime l’état interdit de SR.

Approfondir →Documentation composant →
Bascule T#t-flip-flop

Une bascule T inverse sa sortie à chaque front lorsque T=1 et la conserve lorsque T=0 ; elle sert aux compteurs et à la division par deux.

Approfondir →Documentation composant →
Registre#register

Un registre est un groupe de bascules partageant une horloge pour stocker un mot de n bits, constituant une unité de mémoire élémentaire du CPU.

Approfondir →Documentation composant →
Registre à décalage#shift-register

Un registre à décalage chaîne des bascules afin de déplacer les bits d’une position à chaque front d’horloge et de convertir série et parallèle.

Approfondir →Documentation composant →
Compteur#counter

Un compteur est un circuit séquentiel qui avance dans une suite fixe d’états binaires à chaque front d’horloge.

Approfondir →Documentation composant →
Machine à états finis (FSM)FSM#finite-state-machine

Une machine à états finis est un circuit séquentiel dont le prochain état dépend de l’état courant et des entrées, selon une table de transitions finie.

Approfondir →

Circuits arithmétiques

4 termes
Demi-additionneur#half-adder

Un demi-additionneur additionne deux bits et produit une somme par XOR et une retenue par AND, mais n’accepte pas de retenue d’entrée.

Approfondir →Documentation composant →
Additionneur complet#full-adder

Un additionneur complet additionne deux bits et une retenue d’entrée pour produire somme et retenue de sortie ; n étages forment un additionneur n bits.

Approfondir →Documentation composant →
Additionneur à propagation de retenue#ripple-carry-adder

Un additionneur à propagation chaîne des additionneurs complets en transmettant chaque retenue à l’étage suivant ; il est simple mais son délai croît avec le nombre de bits.

Approfondir →
Unité arithmétique et logique (ALU)ALU#alu

L’ALU est le circuit combinatoire du CPU qui exécute les opérations arithmétiques et logiques et produit souvent les indicateurs zéro, retenue, signe et débordement.

Documentation composant →

CPU et mémoire

7 termes
Compteur ordinal (PC)PC#program-counter

Le compteur ordinal contient l’adresse mémoire de la prochaine instruction, s’incrémente normalement et peut être remplacé par une branche ou un saut.

Approfondir →Documentation composant →
Registre d’instruction (IR)IR#instruction-register

Le registre d’instruction contient l’instruction en cours de décodage et d’exécution, dont l’unité de contrôle lit l’opcode et les opérandes.

Documentation composant →
Unité de contrôle#control-unit

L’unité de contrôle décode l’instruction et génère les signaux qui coordonnent registres, ALU, mémoire et chargement de l’instruction suivante.

Documentation composant →
Cycle chargement–décodage–exécution#fetch-decode-execute-cycle

Ce cycle est la boucle du CPU qui charge une instruction depuis la mémoire, détermine l’opération puis l’exécute.

Approfondir →
RAM#ram

La RAM est une mémoire volatile en lecture-écriture dont toutes les adresses sont accessibles en un temps voisin et qui perd son contenu sans alimentation.

Documentation composant →
ROM#rom

La ROM est une mémoire non volatile qui conserve son contenu sans alimentation et stocke notamment code de démarrage, microcode et tables de consultation.

Documentation composant →
Bus#bus

Un bus est un ensemble de fils partagés qui transporte données, adresses ou commandes entre composants, avec des tampons trois états pour éviter les conflits.

Documentation composant →

Synchronisation et physique

11 termes
Signal d’horloge#clock-signal

Une horloge est un signal carré périodique qui synchronise le système ; ses fronts fixent les changements d’état et sa fréquence détermine la cadence.

Approfondir →Documentation composant →
Déclenché sur front#edge-triggered

Un élément déclenché sur front ne change d’état qu’à une transition précise de l’horloge, généralement le front montant, ce qui rend la logique synchrone prévisible.

Temps de préparation (t_su)#setup-time

Le temps de préparation est la durée minimale pendant laquelle l’entrée doit rester stable avant le front actif ; sa violation peut provoquer une métastabilité.

Approfondir →
Temps de maintien (t_hold)#hold-time

Le temps de maintien est la durée minimale pendant laquelle l’entrée doit rester stable après le front actif ; sa violation peut causer une capture erronée ou une métastabilité.

Approfondir →
Délai de propagation#propagation-delay

Le délai de propagation sépare un changement d’entrée de son effet en sortie ; le cumul sur le chemin critique limite la fréquence d’horloge maximale.

Approfondir →
Métastabilité#metastability

La métastabilité est l’état intermédiaire instable d’une bascule après une violation de préparation ou de maintien ; un synchroniseur à deux étages réduit ce risque.

Approfondir →
Synchroniseur#synchronizer

Un synchroniseur, généralement composé de deux bascules, transfère un signal vers un autre domaine d’horloge tout en réduisant la propagation de la métastabilité.

Approfondir →
Traversée de domaines d’horloge (CDC)CDC#clock-domain-crossing

Une CDC transfère un signal entre domaines d’horloge indépendants et requiert des synchroniseurs, FIFO asynchrones ou protocoles de poignée de main.

Sortance#fan-out

La sortance est le nombre d’entrées qu’une sortie pilote ; trop de charges augmentent la capacité et dégradent les niveaux logiques et la temporisation.

CMOS#cmos

Le CMOS associe des transistors NMOS et PMOS complémentaires pour obtenir une très faible consommation statique et constitue la technologie dominante des circuits intégrés modernes.

Division de fréquence#frequency-division

La division de fréquence crée une horloge plus lente ; une bascule T divise par 2 et un compteur binaire de n bits par 2ⁿ.

Approfondir →