Affectation bloquante

Fait partie de la section Fondamentaux du Journey Verilog de Coddy — leçon 49 sur 90.

Verilog dispose de deux types d'affectations procédurales : blocking (=) et non-blocking (<=). Dans cette leçon, nous nous concentrons sur l'affectation blocking.

L'affectation bloquante (Blocking `assignment`) utilise l'opérateur =. Elle est appelée « bloquante » (Blocking) car elle bloque l'exécution de la déclaration suivante jusqu'à ce que l'affectation actuelle soit terminée. Le code s'exécute étape (`step`) par étape (`step`), dans l'ordre.

Syntaxe :

variable = expression;

Quand utiliser l'assignation bloquante

L'assignation bloquante (=) est utilisée pour la logique combinatoire — des circuits où les sorties changent immédiatement lorsque les entrées changent, sans horloge et sans mémoire.

Exemples de logique combinatoire :

Portes ET / OU / XOR
Additionneurs et soustracteurs

Multiplexeurs
Décodeurs

Exemple Verilog :

always @(*) begin
  sum = a + b;      // Affectation bloquante
  carry = a & b;    // Affectation bloquante
end

Blocking dans les blocs Always (logique combinatoire)

always @(*) begin
  temp = a & b;    // Étape 1
  out = temp | c;  // Étape 2 (utilise temp de l'étape 1)
end

L'ordre importe. Cela convient parfaitement pour la logique combinatoire.

Blocking vs Non-Blocking

	Blocking (`=`)	Non-blocking (`<=`)
Exécution	L'une après l'autre	Toutes en même temps
La ligne suivante attend-elle ?	Oui	Non
Uses	Logique combinatoire	Logique séquentielle (bascules)

Important : N'utilisez pas d'affectation bloquante pour les bascules (Flip-Flops)

Défi

Ajoutez les affectations bloquantes manquantes pour échanger les valeurs de x et y à l'aide d'une variable temporaire.

Ce qu'il faut faire :

Affectez la valeur de x à temp (enregistrez x dans temp)
Affectez la valeur de y à x (déplacez y dans x)
Affectez la valeur de temp à y (déplacez le x sauvegardé dans y)

Essayez vous-même

module swap;
  reg x, y;
  reg temp;
  
  initial begin
    x = 1;
    y = 0;
    
    $display("Before swap: x=%d, y=%d", x, y);
    
    // TODO: Étape 1 - Assigner x à temp
    
    // TODO: Étape 2 - Assigner y à x
    
    // TODO: Étape 3 - Assigner temp à y
    
    $display("After swap: x=%d, y=%d", x, y);
    $finish;
  end
endmodule