Tableaux dynamiques, queues et tableaux associatifs

Choisir une collection de testbench pour des lots variables, des files de transactions et des résultats indexés.

Des collections pour le testbench

Les collections dynamiques permettent de gérer un nombre de transactions inconnu à la compilation. Elles sont surtout destinées à la vérification et aux modèles de haut niveau, pas au RTL synthétisable.

Trois formes répondent à des besoins différents :

le tableau dynamique pour une taille allouée à l'exécution ;
la queue pour ajouter et retirer facilement aux extrémités ;
le tableau associatif pour indexer des éléments par une clé clairsemée.

Tableau dynamique

int samples[];
 
samples = new[128];
foreach (samples[i])
  samples[i] = i * 2;
 
$display("count=%0d", samples.size());
samples.delete();

new[128] alloue 128 éléments. Une nouvelle allocation peut conserver une partie de l'ancien contenu avec new[new_size](samples). delete() libère le tableau.

Ce format convient lorsqu'un bloc de données possède une taille connue au début d'une opération et qu'un accès direct par indice est fréquent.

Queue

typedef logic [31:0] word_t;
word_t expected_q[$];
 
expected_q.push_back(32'h1234_5678);
expected_q.push_back(32'hCAFE_BABE);
 
if (expected_q.size() != 0) begin
  word_t expected = expected_q.pop_front();
  check_word(expected, observed);
end

typedef struct {
  int unsigned id;
  logic [31:0]  data;
} expected_t;
 
expected_t pending_q[$];
int matches[$];
 
matches = pending_q.find_index(item)
          with (item.id == response_id);
 
case (matches.size())
  0: $error("Aucun attendu pour id=%0d", response_id);
  1: pending_q.delete(matches[0]);
  default: $error("Plusieurs attendus pour id=%0d", response_id);
endcase

logic [31:0] expected_by_id[int unsigned];
 
expected_by_id[transaction_id] = predicted_value;
 
if (expected_by_id.exists(response_id)) begin
  assert (observed == expected_by_id[response_id]);
  expected_by_id.delete(response_id);
end else begin
  $error("Unexpected response id %0d", response_id);
end

Tableaux dynamiques, queues et tableaux associatifs

Des collections pour le testbench

Tableau dynamique

Queue

Tableau associatif

Choisir sans compliquer

À retenir