Latch im synchronen Prozess ?

[Bohrhans (Gast)]

Hallo zusammen,

momentan bastele ich einem Counter der je nach Ereignis hoch und runter 
zählt. Dazu habe ich einen synchronen Prozess verwendet:

signal cnt: integer range 0 to 10; 

...

begin

counter_p : process (clk, reset_n)
begin
  if reset_n = '0' then
    cnt <= 0;
  elsif rising_edge(clk) then
    if (ir_disable = '1' and (cnt < 10) then
      cnt <= cnt+1;
    elsif (ir_enable = '1' and cnt > 0) then
      cnt <= cnt-1;
    end if;
  end if;
end process counter_p;

Meine Fragen sind nun, ensteht durch den fehlenden "else"-Zweig ein 
Latch ? Ist der Code so synthetisierbar ?

Gruß
Bohrhans

[Uwe (Gast)]

Was passiert wenn cnt > 10 ? Oder wenn kleiner Null ?

[pks (Gast)]

Uwe schrieb:
> Was passiert wenn cnt > 10 ? Oder wenn kleiner Null ?

Dann behält cnt seinen Wert. Ein latch ist das in diesem Fall 
(getakteter Prozess, der asynchrone Reset ist vollständig beschrieben) 
aber nicht.

[Max (Gast)]

Wird vermutlich an "ir_disable" und/oder "ir_enable" in einem 
Programmteil der nicht sichtbar ist.

[Olga (Gast)]

Max schrieb:
> Wird vermutlich an "ir_disable" und/oder "ir_enable" in einem
> Programmteil der nicht sichtbar ist.

Dieser Satz kein Verb.

[Max (Gast)]

ja, das hab ich vergessen. Danke!

Verbesserung:

Es wird vermutlich an "ir_disable" und/oder "ir_enable" liegen, die in 
deinem
Programmteil nicht sichtbar sind.

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

Max schrieb:
> Wird vermutlich an "ir_disable" und/oder "ir_enable" in einem
> Programmteil der nicht sichtbar ist.
Die Frage war /nicht/: "WARUM entsteht ein Latch", sondern nur "entsteht 
ein Latch"? Und hier lautet die Antwort ganz klar: Nein, weil ein Takt 
beteiligt ist.

Bohrhans schrieb:
> Meine Fragen sind nun, ensteht durch den fehlenden "else"-Zweig ein
> Latch ? Ist der Code so synthetisierbar ?
Nein. Ja. BTW: bitte nicht Plenken! Und zum Thema "Asynchroner Reset" 
einfach mal hier im Forum suchen...