HDL et vérification

Quelle est la caractéristique d'une machine d'états de type Mealy ?

  1. ALes sorties ne dépendent que de l'état courant et ne changent pas avant le cycle suivant même si les entrées changent
  2. BLes sorties dépendent à la fois de l'état courant et des entrées, si bien qu'un changement d'entrée apparaît en sortie dans le même cycle
  3. CC'est un circuit combinatoire sans état
Afficher la réponse et l'explication

Réponse : B. Les sorties dépendent à la fois de l'état courant et des entrées, si bien qu'un changement d'entrée apparaît en sortie dans le même cycle

Dans une machine de Mealy, la logique de sortie observe les entrées en plus de l'état courant ; un changement d'entrée modifie la sortie sans attendre l'horloge, ce qui permet de réagir un cycle plus tôt. Le nombre d'états peut aussi être réduit. En revanche, un chemin combinatoire relie les entrées aux sorties, si bien que le bruit d'entrée peut apparaître en sortie et que les chemins temporels s'allongent. On recapture parfois les sorties dans des bascules avant de les utiliser.

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

Autres questions sur HDL et vérification

  1. Quelle est la caractéristique du codage one-hot des états d'une machine d'états ?
  2. Pour une machine d'états à trois états, quelle combinaison donne le nombre de bascules nécessaires pour mémoriser l'état (codage binaire / codage one-hot) ?
  3. Avec le compteur 4 bits ci-dessus, si count vaut 15 au front montant d'horloge, que devient count ?
  4. En Verilog, on additionne les signaux a et b de 8 bits et l'on affecte le résultat au signal s de 8 bits (assign s = a + b;). À quoi faut-il prendre garde ?
  5. Voulant que a vaille -1 signé, on a écrit le code ci-dessus, et gt vaut 1. Pourquoi ?

Comparatifs sur ce thème