Volladdierer, Probleme mir Simulation

[chris (Gast)]

Hallo,

ich habe hier den Code eines Volladdierers (ich weiß, es geht einfacher. 
aber es soll mit process und case Anweisung realisiert werden)
Ich bin der Meinung, dass der Code in Ordnung ist. Die Simulation 
liefert aber unsinnige Werte. Wäre nett, wenn mal jemand drauf gucken 
könnte

library IEEE;
use IEEE.STD_LOGIC_1164.ALL;
use IEEE.STD_LOGIC_ARITH.ALL;
use IEEE.STD_LOGIC_UNSIGNED.ALL;


entity FullAdder is
    Port ( X : in  STD_LOGIC;
           Y : in  STD_LOGIC;
           Cin : in  STD_LOGIC;
           Cout : out  STD_LOGIC;
           S : out  STD_LOGIC);
end FullAdder;

architecture Behavioral of FullAdder is
  signal temp : std_logic_vector (2 downto 0); --Hilfssignal, auf das die folgende Case-Abfrage erfolgt
  begin
    temp <= X & Y & Cin;  -- Verkettung  der Eingangssignale zu einem Vektor
    Volladdierer : process (X,Y,Cin)
    begin
      case temp is
        when "000" =>    Cout <= '0'; S <='0';
        when "001" =>    Cout <= '0'; S <='1';
        when "010" =>    Cout <= '0'; S <='1';
        when "011" =>    Cout <= '1'; S <='0';
        when "100" =>    Cout <= '0'; S <='1';
        when "101" =>    Cout <= '1'; S <='0';
        when "110" =>    Cout <= '1'; S <='0';
        when others =>   Cout <= '1'; S <='1';
      end case;
    end process Volladdierer;
end Behavioral;

[Ottmar (Gast)]

Es könnte sein das der process nicht wie erwartet reagiert da du auf die 
eigentlichen eingangssignale (X,Y,Cin) sensitiv bist und nicht auf das 
zusammengesetzte temp signal was in deinem process verarbeitet wird.

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

Das würde ich auch sagen. Denn der Prozess Volladierer wird neu 
berechnet, wenn sich die Ursprungssignale ändern. Und das passiert 
gleichzeitig mit der Berechnung des Wertes von temp, denn dessen 
Concurrent-Zuweisung könnte auch in einen Prozess geschrieben werden:

    Verkettung : process (X,Y,Cin)
    begin
        temp <= X & Y & Cin;  -- Verkettung der Eingangssignale zu einem Vektor
    end process;

    Volladdierer : process (X,Y,Cin)
    begin
      case temp is
        when "000" =>    Cout <= '0'; S <='0';
        when "001" =>    Cout <= '0'; S <='1';
        when "010" =>    Cout <= '0'; S <='1';
        when "011" =>    Cout <= '1'; S <='0';
        when "100" =>    Cout <= '0'; S <='1';
        when "101" =>    Cout <= '1'; S <='0';
        when "110" =>    Cout <= '1'; S <='0';
        when others =>   Cout <= '1'; S <='1';
      end case;
    end process Volladdierer;

Das ist funktional genau gleich wie die ursprüngliche Beschreibung, 
jetzt werden aber die zeitlichen Abläufe klarer: wenn sich z.B. X 
ändert, werden beide Prozess gleichzeitig neu berechnet. Der Volladierer 
nimmt aber den alten Wert von temp für seine Berechnungen.
Ein klarer Fall einer falschen, unvollständigen Sensitivliste :-o

Am einfachsten wäre eine Verkettung im Prozess:

     Volladdierer : process (X,Y,Cin)
     begin
       case X & Y & Cin is  -- Verkettung  der Eingangssignale zu einem Vektor
       :
       :

[chris (Gast)]

>Denn der Prozess Volladierer wird neu berechnet, wenn sich die
>Ursprungssignale ändern. Und das passiert gleichzeitig mit der Berechnung
>des Wertes von temp,...

aaargh.., ich Depp. Stimmt natürlich. Hatte ich übersehen. Vielen Dank 
für die schnelle Hilfe!

[chris (Gast)]

@Lothar: Wenn ich die von dir vorgeschlagene Variante probiere erhalte 
ich beim Syntaxcheck eine Fehlermeldung

  "Can not determine the type of the selector & "

Eine Verkettung im Prozess wie z.B.

architecture Behavioral of FullAdder is
  signal temp : std_logic_vector (2 downto 0); --Hilfssignal, auf das die folgende Case-Abfrage erfolgt
  begin
    Volladdierer : process (X,Y,Cin)
    begin
      temp <= X & Y & Cin;  -- Verkettung  der Eingangssignale zu einem Vektor
      case temp is

...
..

funkioniert auch nicht aus den gleichen Gründen wie zu Beginn. Das 
Einzige was hier wohl hilft ist temp als Variable zu definieren.

[Mathi (Gast)]

Nein, schreib einfach temp in die Sensitivitätsliste des Prozesses und 
schon wirds gehen.

    temp <= X & Y & Cin;  -- Verkettung  der Eingangssignale zu einem Vektor
    Volladdierer : process (temp)
    begin
      case temp is
        when "000" =>    Cout <= '0'; S <='0';
        when "001" =>    Cout <= '0'; S <='1';
        when "010" =>    Cout <= '0'; S <='1';
        ...

[Mathi (Gast)]

Oder:

Volladdierer : process (X,Y,Cin, temp)
    begin
      temp <= X & Y & Cin;  -- Verkettung  der Eingangssignale zu einem Vektor
      case temp is

...

[chris (Gast)]

@Mathi: Dein erster Vorschlag sollte funkionieren. Dein zweiter 
Vorschlag funktioniert nur, wenn temp eine Variable ist. So hab ich's 
jetzt auch und es passt.

[Mathi (Gast)]

Nein, der Zweite funktioniert mit temp als Signal. Du solltest wirklich 
mal lernen was Signale sind und was eine Sensitivitätsliste macht...

[chris (Gast)]

Stimmt. Die zweite Version funktioniert auch. Ich hatte das temp in der 
Sensitivitätsliste übersehen. Allerdings ist diese Version 
"umständlich", da der Prozess 2 mal durchlaufen wird.

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

Für solche Fälle wäre tatsächlich eine Variable praktisch ;-)

  begin
    Volladdierer : process (X,Y,Cin)
    variable temp : std_logic_vector (2 downto 0); -- Hilfssignal, auf das die folgende Case-Abfrage erfolgt
    begin
      temp := X & Y & Cin;  -- Verkettung  der Eingangssignale zu einem Vektor
      case temp is
      :

[chris (Gast)]

Ja, genauso hatte ich es jetzt auch gemacht. Danke nochmals :)