Schleifen in Zustandsmaschinen die Zweite

[Hans-Werner (Gast)]

Ich steh immer noch auf dem Schlauch, wahrscheinlich sind es mehrere.
Mein ursprüngliches Problem aus dem vorherigen Posting ist immer noch 
nicht gelöst (Dieses mal ohne unnötige Casts).Laut Simulation wird 
address_key von 0 auf 255 inkrementiert.
Der then-Zweig der If-Abfrage wird ausgeführt, der else-Zweig 
anscheinend nicht. Der Zustand "two" wird nicht erreicht. (Ja, da soll 
null stehen). Das die Zuweisung bei Signalen um einen Takt verzögert 
erfolgt und nach 255, bei 8-Bit, wieder 0 folgt sollte keine Rolle 
spielen. Also wo ist der "Denk"-Fehler ?

case load_key_state is
  when zero => -- Vorgang nicht abgeschlossen
    done <= '0';
    -- Schreiberlaubnis erteilen
    write_enable_key <= '1';            -- Adresse und Daten zuweisen
    address_key <= (others => '0');
    data_in_key <= key_in;
    load_key_state <= one;
          
  when one =>     if unsigned(address_key) < 255
    then
      -- Adresse inkrementieren
      address_key <= std_logic_vector(unsigned(address_key) + 1);
      -- Daten zuweisen
      data_in_key <= key_in;
    else
      -- Schreiberlaubnis entziehen
      write_enable_key <= '0';
      -- Vorgang abgeschlossen
      done <= '1';
      -- Ende
      load_key_state <= two;
    end if;

  when two =>  null;
end case;

[Jan M. (mueschel)]

Wie ist address_key definiert? 8 Bit breit? Dann kann es nie groesser 
als 255 werden.

[Lothar M. (Firma: Titel) (lkmiller) (Moderator)]

> Dann kann es nie groesser als 255 werden.
>> if unsigned(address_key) < 255
Aber gleich, und das müsste reichen ;-)

> Laut Simulation wird address_key von 0 auf 255 inkrementiert.
Ist das einen Takt lang 255?

[Hans-Werner (Gast)]

An lkmiller

Nein, das Signal verbleibt auf dem Wert 255.
Wie schon angemerkt, grösser als 255 wird es natürlich nicht.
Es wird von der Testbench ein String in ein RAM geschrieben.
Bei jedem Takt ein Character (Konvertiert in std_logic_vector).
Nachfolgend ein kurzer Ausschnitt aus der Testbench.
Strings beginnen mit dem Index 1. (Oder nicht ?)

key(1 to 30)   <= "This key should be kept secret";
inbuf(1 to 43) <= "The quick brown fox jumps over the lazy dog";
-- Ergänzung auf 256 Zeichen
for i in inbuf'length+1 to 256 loop
  inbuf <= inbuf & " ";
end loop;
-- Ergänzung auf 256 Zeichen
for i in key'length+1 to 256 loop
  key <= key & " ";
end loop;
-- Warte auf steigende Taktflanke
wait for clock_period/2;
-- Start
enable <= '1';
-- Load Key
load_key <= '1';
for i in key'range loop      
         -- Character in std_logic_vector konvertieren
         key_in <= std_logic_vector(to_unsigned(character'pos(key(i)),8));
         wait for clock_period;
end loop;
load_key <= '0';

[Lothar M. (Firma: Titel) (lkmiller) (Moderator)]

> Der Zustand "two" wird nicht erreicht.
Woran siehst du das?

   if unsigned(address_key) < 255

Das funktioniert, ich habe es gerade mal als Zähler ausprobiert.

[Hans-Werner (Gast)]

Na ja, man sieht das halt in der Simulation.
Man kann dort einzelne Signale betrachten.
Der Zustand ist auch ein Signal.
Komische Frage.

[Lothar M. (Firma: Titel) (lkmiller) (Moderator)]

Hans-Werner wrote:
> Na ja, man sieht das halt in der Simulation.
Gut.
> Man kann dort einzelne Signale betrachten.
> Der Zustand ist auch ein Signal.
Mach doch mal einen Screenshot von der Simulation.
Vielleicht sieht man da mehr...

> Komische Frage.
Nein, du glaubst nicht, wie manche Leute zu manchen Schlüssen kommen ;-)

[Klaus F. (kfalser)]

Was passiert mit "done" und "write_enable_key" ?
Gehen diese auf den gewünschten Wert?
An und für sich schaut das Code-Fragment richtig aus, wie ist one, two, 
und load_key_state definiert?
Werden diese irgendwo anders noch überschrieben?