Français
Menu

HDL et vérification

Dans les tests à entrées aléatoires, pourquoi enregistre-t-on la graine (seed) du générateur aléatoire ?

  1. AParce que la même graine reproduit la même séquence d'entrées, ce qui permet de réexaminer à volonté un défaut détecté
  2. BParce que l'enregistrement de la graine accélère la génération des nombres aléatoires
  3. CParce que la simulation ne démarre pas sans enregistrement de la graine
Afficher la réponse et l'explication

Réponse : A. Parce que la même graine reproduit la même séquence d'entrées, ce qui permet de réexaminer à volonté un défaut détecté

Les nombres aléatoires de simulation sont pseudo-aléatoires, générés par une procédure fixe à partir de la graine ; la même graine donne la même séquence. Si un défaut est détecté par un test aléatoire sans que la graine soit connue, la situation ne peut être reproduite, ni pour en rechercher la cause ni pour vérifier la correction. La pratique de base consiste à exécuter de nombreux tests avec des graines différentes et à enregistrer la graine des échecs.

S'entraîner sur ce thème Retour au thème

Autres questions sur HDL et vérification

  1. Quelle est la définition de la vérification aléatoire contrainte de SystemVerilog ?
  2. Quelle est la définition des tests de non-régression pratiqués en conception de circuits ?
  3. Quel est l'avantage du type logic de SystemVerilog ?
  4. Quel est l'avantage d'utiliser always_ff ou always_comb de SystemVerilog à la place du always de Verilog ?
  5. Quel est l'avantage d'écrire un module avec parameter comme ci-dessus ?

Comparatifs sur ce thème