Hardwarebeschreibungssprachen und Verifikation

Welche Aussage zu Zustandsautomaten vom Mealy-Typ ist korrekt?

  1. ADer Ausgang wird allein vom aktuellen Zustand bestimmt und ändert sich auch bei geänderten Eingängen erst mit dem nächsten Takt
  2. BDer Ausgang wird sowohl vom aktuellen Zustand als auch vom Eingang bestimmt, sodass sich eine Eingangsänderung noch im selben Zyklus am Ausgang zeigt
  3. CEs ist eine kombinatorische Schaltung ohne Zustand
Antwort und Erläuterung anzeigen

Antwort: B. Der Ausgang wird sowohl vom aktuellen Zustand als auch vom Eingang bestimmt, sodass sich eine Eingangsänderung noch im selben Zyklus am Ausgang zeigt

Beim Mealy-Typ berücksichtigt die Ausgangslogik neben dem aktuellen Zustand auch den Eingang, sodass sich der Ausgang bei Eingangsänderung ohne Abwarten des Takts ändert und einen Zyklus früher reagiert werden kann. Manchmal genügen auch weniger Zustände. Dafür besteht ein kombinatorischer Pfad vom Eingang zum Ausgang, sodass Rauschen am Eingang am Ausgang erscheinen kann und Timing-Pfade länger werden. Manchmal wird der Ausgang daher erneut in Flipflops übernommen.

Dieses Thema üben Zur Themenseite

Weitere Fragen zu Hardwarebeschreibungssprachen und Verifikation

  1. Welche Aussage zur One-Hot-Kodierung bei der Zustandskodierung eines Zustandsautomaten ist korrekt?
  2. Welche Kombination gibt die Zahl der zum Speichern des Zustands nötigen Flipflops für einen Zustandsautomaten mit drei Zuständen korrekt an (Binärkodierung / One-Hot-Kodierung)?
  3. Welchen Wert hat count beim obigen 4-Bit-Zähler, wenn bei count gleich 15 der Takt steigt?
  4. In Verilog werden die 8-Bit-Signale a und b addiert und das Ergebnis dem 8-Bit-Signal s zugewiesen (assign s = a + b;). Was ist zu beachten?
  5. a sollte wie oben geschrieben das vorzeichenbehaftete −1 sein, doch gt wurde 1. Was ist der Grund?

Vergleiche zu diesem Thema