Fonctions, tâches et boucles

Factoriser un calcul, écrire des boucles synthétisables et séparer le RTL des outils de test.

Une fonction calcule une valeur

Une fonction Verilog peut regrouper un calcul combinatoire utilisé plusieurs fois. Elle s'exécute sans délai, ne contient pas de contrôle temporel et renvoie une seule valeur.

module popcount_pair #(
  parameter WIDTH = 8
) (
  input  wire [WIDTH-1:0] i_a,
  input  wire [WIDTH-1:0] i_b,
  output wire [31:0]      o_count_a,
  output wire [31:0]      o_count_b
);
 
  function [31:0] count_ones;
    input [WIDTH-1:0] value;
    integer index;

module min_max_pair (
  input  wire [7:0] i_a,
  input  wire [7:0] i_b,
  output reg  [7:0] o_min,
  output reg  [7:0] o_max
);
 
  task order_pair;
    input  [7:0] a;
    input  [7:0] b;
    output [7:0] low;
    output [7:0] high;
    begin
      if (a <= b) begin
        low  = a;
        high = b;
      end else begin
        low  = b;
        high = a;
      end
    end
  endtask
 
  always @* begin
    order_pair(i_a, i_b, o_min, o_max);
  end
 
endmodule

Fonctions, tâches et boucles

Une fonction calcule une valeur

La taille du résultat compte toujours

Une tâche peut avoir plusieurs sorties

Les tâches sont très utiles dans un testbench

for, repeat, while et forever

Une boucle ne crée pas automatiquement un traitement séquentiel

À retenir