4 / 37 · Vérification

Vérification : sortie combinatoire et mémorisée

Distinguez changement d'entrée et observation du registre.

Écrivez quand chacun des deux chemins se met à jour avant de répondre.

Dans `assign y = a; always_ff @(posedge clk) q <= y;`, a passe de 0 à 1 après un front montant. Avant le suivant, une fois la logique stabilisée, que se passe-t-il?

Choisissez une réponsey devient 1, q garde sa valeur mémorisée.y et q deviennent immédiatement 1.logic fait attendre y jusqu'au prochain front.Le texte s'exécute une seule fois dans son ordre.

Vérification : sortie combinatoire et mémorisée

Dans assign y = a; always_ff @(posedge clk) q <= y;, a passe de 0 à 1 après un front montant. Avant le suivant, une fois la logique stabilisée, que se passe-t-il?

Dans `assign y = a; always_ff @(posedge clk) q <= y;`, a passe de 0 à 1 après un front montant. Avant le suivant, une fois la logique stabilisée, que se passe-t-il?