Qu'est-ce qu'un Testbench

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

Un testbench est un module Verilog spécial utilisé pour tester un autre module. Il fournit des entrées à votre conception et vérifie si les sorties sont correctes.

Pourquoi avons-nous besoin d'un Testbench ?

Lorsque vous construisez un module, vous devez vous assurer qu'il fonctionne correctement. Un testbench vous permet de :

Appliquer différentes valeurs d'entrée à votre module
Observer les sorties

Vérifiez si les sorties correspondent à ce que vous attendez
Faites cela automatiquement sans test manuel

Testbench vs Module de design

	Module de design	Testbench
Rôle	Implémente le matériel	Teste le module de design
Possède des ports ?	Oui (inputs et outputs)	Non (autonome)
Synthétisable ?	Oui	Non (simulation uniquement)

Exemple de banc de test simple

module testbench;              // Pas de ports !

  // Les entrées et les sorties proviennent du module que nous testons (le DUT).
  reg a, b;                    // reg pour les entrées
  wire c;                      // wire pour la sortie
  

  // Ceci est une instanciation de module — elle crée une copie du module and_gate et la nomme dut
  and_gate dut (               // Instancier le DUT
    .a(a),
    .b(b),
    .c(c)
  );

  // Ceci est un bloc initial qui applique des valeurs de test aux entrées du module en cours de test.
  initial begin                // Appliquer les valeurs de test
    a = 0; b = 0; #10;
    a = 0; b = 1; #10;
    a = 1; b = 0; #10;
    a = 1; b = 1; #10;
    $finish;
  end
endmodule

Points clés

Le testbench n'a aucun port
reg est utilisé pour les signaux qui changent (entrées du DUT)
wire est utilisé pour les signaux provenant du DUT (sorties)

Le module en cours de test est appelé DUT (Design Under Test)
$finish termine la simulation

Nous aborderons la création de stimulus, l'affichage des résultats et d'autres fonctionnalités du testbench dans les leçons suivantes.

Défi

Vous recevez un module de porte ET (AND gate). Votre tâche consiste à ajouter les parties manquantes à son testbench.

Ce qu'il faut faire :

Ajoutez les parties suivantes au testbench :

Déclarez un reg pour les entrées a et b
Déclarez un wire pour la sortie c
Instanciez and_gate avec le nom dut et connectez les ports

Essayez vous-même

module and_gate (
  input a,
  input b,
  output c
);
  assign c = a & b;
endmodule

module testbench;
  
  // Tâche 1 : Déclarer reg pour les entrées a et b
  
  
  // Tâche 2 : Déclarer wire pour la sortie c
  

  // Tâche 3 : Instancier and_gate avec le nom dut
  // Connecter .a(a), .b(b), .c(c)


  initial begin
    a = 0; b = 0; #10 $display("%d & %d = %d", a, b, c);
    a = 0; b = 1; #10 $display("%d & %d = %d", a, b, c);
    a = 1; b = 0; #10 $display("%d & %d = %d", a, b, c);
    a = 1; b = 1; #10 $display("%d & %d = %d", a, b, c);
    $finish;
  end
endmodule