Randomisation contrainte et reproductibilité

Générer des transactions variées tout en respectant le protocole, puis reproduire exactement un échec.

Aléatoire, mais valide

La randomisation contrainte génère des combinaisons de valeurs dans un espace défini. L'objectif n'est pas de remplacer le plan de vérification, mais d'explorer davantage d'interactions qu'une petite liste de tests dirigés.

class dma_request;
  rand bit [31:0] address;
  rand int unsigned length;
  rand bit write;
 
  constraint legal_length {
    length inside {[1:256]};
  }
 
  constraint aligned_address {
    address[1:0] == 2'b00;
  }
 
  constraint boundary {
    address[11:0] + length <=