Der obige Code wurde in der Absicht geschrieben, einen Akkumulator zu bauen, der den Eingang in fortlaufend aufaddiert. Welche Kombination aus dem Problem dieses Codes und seiner Korrektur ist richtig?

Antwort: C. Der Ausgang des Addierers wird ohne Flipflop auf seinen eigenen Eingang zurückgeführt, sodass sich der Wert nie stabilisiert; man schreibt sum <= sum + in; innerhalb von always @(posedge clk), um einmal pro Takt zu addieren

always @(*) beschreibt eine kombinatorische Schaltung, daher ergibt dieser Code eine Schaltung, in der ein Addierer mit sum als Eingang mit seinem Ausgang direkt sum treibt. Ohne Flipflop ändert jede Änderung am Ausgang des Addierers seinen Eingang, und der Wert läuft immer weiter um, ohne sich zu stabilisieren: Es entsteht eine kombinatorische Schleife. Die statische Timing-Analyse kann damit nicht umgehen, und viele Werkzeuge für Lint und Logiksynthese geben Warnungen oder Fehler aus. Eine Schaltung, die Werte aufsummiert, braucht ein Flipflop, das den Wert bei jeder steigenden Taktflanke einmal aktualisiert: Man verwendet eine nicht blockierende Zuweisung innerhalb von always @(posedge clk) und setzt den Anfangswert per Reset.