Seltsames Verhalten bei wait until.

[gast (Gast)]

Ich habe mehrere Prozesse innerhalb einer Testbench, die auf einen 
Master Controller oder Subprozeduren warten und passend anworten. In 
einem Unterprogramm schreibe ich dann z.B. dies hier:

wait until (buffer_is_free = '1');

... wobei der Buffer frei sein könnte oder noch belegt, weshalb ich 
schon von "rising_edge" weggegangen bin. Der Prozess soll also gfs 
warten oder aber schon sofort losrennen, wenn das Signal auch 1 ist. 
Gesteuert wird das Signal  von "unten" und funktionier korrekt. Das kann 
man im Modelsim sehen.

Trotzdem klebt der Prozess oben an genau dieser Stelle fest und wartet.

Wenn das Signal aber mal 0 war und dann auf 1 geht, funktioniert es. 
Genauso ist es, wenn der Prozess oben "früher" kommt und fragt und noch 
auf ein Null trifft. Dann sieht er die kommende Eins!.

Nur wenn es schon Eins ist, bleibt er hängen. Warum will wait until ein 
togglen sehen?

Wie könnte man das lösen?

[Andreas S. (andreas) (Admin)]

> Warum will wait until ein togglen sehen?

wait until legt den Prozess schlafen bis eine bestimmte Bedingung 
erfüllt ist, diese Bedingung wird aber nur ausgewertet wenn sie sich 
ändert.

Probier's mal damit:

if buffer_is_free /= '1' then
  wait until (buffer_is_free = '1');
end if;

[gast (Gast)]

So sieht es aus, aber auch mit der Änderung geht es nicht.

[waiter (Gast)]

> Warum will wait until ein togglen sehen?

das ist nun mal so bei WAIT UNTIL...
deshalb wird von wait until manchmal auch abgeraten.

[Andreas S. (andreas) (Admin)]

gast wrote:
> So sieht es aus, aber auch mit der Änderung geht es nicht.

Dann liegt dein Problem wahrscheinlich woanders. Mal mit single step 
ausprobiert was bei der if-Abfrage passiert?

[waiter (Gast)]

>wait until (buffer_is_free = '1')
 funktioniert nur, wenn vorher buffer_is_free = '0' war.

wait until wartet auf eine Zustandsänderung, deshalb muß auch vorher der 
entgegengesetzte Zustand dagewesen sein!

[foo (Gast)]

>wait until wartet auf eine Zustandsänderung, deshalb muß auch vorher der
>entgegengesetzte Zustand dagewesen sein!

Sicher? Reichts nicht wenn ein eine Transaktion auf dem
Signal zu Eins stattfindet?

[gast (Gast)]

Fehler gefunden!

Es lag an der Bedingung selber. Wenn man es weglässt geht es. Fragt mich 
aber nicht warum. Sicher ein Modelsim bug!

[Gabriel W. (gagosoft)]

Auch wenn Du schreibst: "Problem gelöst" so vermute ich, Du hast 
buffer_is_free nicht in der sensitivitylist gehabt, dann kann Modelsim 
teilweise darauf reagieren, kann es aber auch bleiben lassen.

[Fpga4u (Gast)]

Nein, das ist kein Modelsim-Bug.

Wie hier bereits gesagt wurde, muss die "wait until" Abfrage mit
einer if Abfrage auf den komplementären Wert kombiniert werden.

if buffer_is_free = '0' then
  wait until (buffer_is_free = '1');
end if;

[Andreas S. (andreas) (Admin)]

Besser "/= '1'", es sind ja auch andere std_logic-Zustände möglich.

[Morin (Gast)]

> Du hast buffer_is_free nicht in der sensitivitylist gehabt,

Natürlich nicht, denn er hat ja überhaupt keine sensitivity list 
verwendet. Sonst hätte er ja wait gar nicht benutzen dürfen.

> dann kann Modelsim teilweise darauf reagieren, kann es aber auch bleiben lassen.

Dann erklär doch mal, was man dagegen tun soll, wenn man wait verwenden 
will.