else-Zweig wird nicht ausgeführt

[Robert K. (Firma: Projektleiter Medizinsoftware) (robident)]

Ich habe ein seltsames Problem:

Ein else-Zeig wird nicht ausgeführt und die darin verborgene Bedingung 
nicht getestet. Folgende Ausgangssituation: Es gibt mehrer 
Möglichkeiten, wann ein matched Signal "an" sein soll, die sich 
gegenseitig komplett ausschließen. Der Einfachheit halber habe ich es 
mit IFs realsiert.

if grundbedingung = '1' then

    if option1 = '1' then
        matched <= '1';

    elsif option2 ='1' then
        matched <= '1';
            
    elsif option3 ='1' then
        matched <= '1';

    else
        matched <= '0';
    end if;

else
    matched <= '0';
         
end if;

Das funktioniert auch. Nun ist es aber so, dass die option 2 und 3 
unterschieden werden sollen. option 2 soll nur dann geprüft werden, wenn 
ein counter_bit high ist, ansonsten sollen alle "matched" für option 2 
weggeblendet werden. Daher habe ich es so formuliert wie unten, was 
bezüglich der option 2 auch klappt - sie reagiert nur in jedem 2. Fall.

if grundbedingung = '1' then

    if option1 = '1' then
        matched <= '1';

    elsif count(3) = '1' then

        if option2 ='1' then
            matched <= '1';
        else
            matched <= '0';
        end if;
            
    else -- count(3) nicht 1

        if option3 ='1' then
            matched <= '1';
        else
            matched <= '0';
        end if;

       
        matched <= '0';
    end if;
         
else
    matched <= '0';
         
end if;

Leider wird aber die konkurrente option 3 (eine leicht modifizierte 2) 
nicht angefahren! Wenn ich schreibe if count(3) = '0', dann verhält sich 
alles erwartungsgemäss invers - aber wieder wird die 3 nicht 
angesprungen.

Ich kann sogar statt der 3 eine komplette Kopie der 2 dort hin 
schreiben, was dazu führen müsste, dass die Fallunterscheidung gemäss 
counter logisch rausfiele - sie wird aber nicht angesprungen.

Woran kann das liegen?

[mr. mo (Gast)]

Es könnte sein, dass es bei dir etwas anders ist, aber normalerweise 
vergleicht man mit == und nicht mit =.

Also:
if(variable == 10) {
mach dies
}
else {
tu das
}

Ein einfaches = ist in der Regel eine Zuweisung.

[Robert K. (Firma: Projektleiter Medizinsoftware) (robident)]

naja, das hätte man freundlicher formulieren können ,,,

@mr. mo
Danke dennoch für Deine Bemühungen!

Ich habe es gefunden:

das vorletzte matched muss raus, weil es wie eine art default die 
bedingung zu überschreiben scheint.

[Georg A. (georga)]

> das vorletzte matched muss raus, weil es wie eine art default die
> bedingung zu überschreiben scheint.

Es überschreibt das Ergebnis für jeden Fall wo count(3)/=1. Das würde 
es sogar in einer normalen Sprache tun ;)

[quasimodulo (Gast)]

R. K. schrieb:
> Leider wird aber die konkurrente option 3 (eine leicht modifizierte 2)
>
> nicht angefahren!
Wie kann man ein Signal den 'leicht' modifizieren?

[Robert K. (Firma: Projektleiter Medizinsoftware) (robident)]

quasimodulo schrieb:
>> nicht angefahren!
>
> Wie kann man ein Signal den 'leicht' modifizieren?

die Bedingung ist eine andere, nicht das Signal. Ist aber nicht 
Gegenstand des Poblems. Nun geht es.

[user (Gast)]

mr. mo schrieb:
> Es könnte sein, dass es bei dir etwas anders ist, aber normalerweise
> vergleicht man mit == und nicht mit =.
>
> Also:
> if(variable == 10) {
> mach dies
> }
> else {
> tu das
> }
>
> Ein einfaches = ist in der Regel eine Zuweisung.

Diese Aussage ist aber nur für C/C++ gültig, wir reden hier aber von 
VHDL

[Tom (Gast)]

user schrieb:
> Diese Aussage ist aber nur für C/C++ gültig, wir reden hier aber von
>
> VHDL

wurde bereits gesagt,
allerdings in einer Form, die gelöscht werden musste