Barrel-Shifter: the following signal(s) form a combinatorial loop

[Jan S. (Gast)]

Hallo,

inn der Entity sind folgende Ports deklariert:

port(
  X: in std_logic_vector(15 downto 0);
  n: in std_logic_vector(3 downto 0);
  Y: out std_logic_vector(15 downto 0)
);

Bei folgender Anweisung

Y <= STD_LOGIC_VECTOR(SHIFT_RIGHT(SIGNED(X), TO_INTEGER(UNSIGNED(n))));

bekomme ich diese Fehlermeldung:

the following signal(s) form a combinatorial loop: Y_shift0001<3>

Eingebunden sind IEEE.STD_LOGIC_1164.ALL und IEEE.NUMERIC_STD.ALL.

Wenn ich statt SIGNED(X) UNSIGNED(X) verwende oder die Anzahl 
verschiebender Bits n statisch setze, tritt das Problem nicht auf.

Ich benötige aber einen SIGNED(X). Als Lösung fällt mir nur ein 
Multiplexer ein, der ausgehend vom Wert Bits n den SHIFT_RIGHT() mit 
konstantem Verschiebeoperator aufruft.

Ist jemandem das Problem oder eine Lösung bekannt?


Grüße Jan.

[Jan S. (Gast)]

Achso:

Ich verwende das Xilinx Webpack Version 13.1

[Jan S. (Gast)]

Noch etwas:

Wenn ich im Port n vom Typ Integer waehle, dann kommt auch keine 
Kombinatorische Schleife.

Nun bin ich vollständig verwirrt.

Y <= STD_LOGIC_VECTOR(SHIFT_RIGHT(SIGNED(X), n));  -- geht, wenn n vom Typ Integer

Ich kann bzw. möchte aber als Port für n keinen Integer verwenden.

[Jan S. (Gast)]

Vergesst den letzten Post - das gleiche Problem =)

[Manuel W. (other)]

Hey,

eventuell folgendermaßen lösen:

  function Shr(Op, Bits: std_logic_vector) return std_logic_vector is
    constant MaxBitsValue: Integer := 2**Bits'Length - 1;
    variable Result: std_logic_vector(Op'Range);
    variable BitsInt: Integer Range 0 to MaxBitsValue;
  begin  
    Result  := (others => '0');
    BitsInt := TO_INTEGER(UNSIGNED(Bits));
    for i in 0 to MaxBitsValue loop
      if (i = BitsInt) then
        Result := STD_LOGIC_VECTOR(SHIFT_RIGHT(SIGNED(Op), i));
      end if;
    end loop;
    return Result;
  end Shr;

Ob das synthetisierbar ist, habe ich nicht probiert. Zumindest ergibt es 
keine kombinatorische Schleife :-).


Grüße Manuel.

[Basti Sch. (Gast)]

Bist du sicher das dein SHIFT_RIGTH() einen Integer verkraftet, der erst 
zur laufzeit feststeht?

[Manuel W. (other)]

Hey,

meinst du mich?

Grüße Manuel.

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

Basti Sch. schrieb:
> Bist du sicher das dein SHIFT_RIGTH() einen Integer verkraftet, der erst
> zur laufzeit feststeht?
Naja, daraus wird ein ordinärer Multiplexer, also keine 
Raketentechnik...

Jan S. schrieb:
> - das gleiche Problem =)
Zeig mal den Rest des Codes. In der geposteten Zeile ist keinerlei 
kominatorische Schleife zu sehen:
http://www.lothar-miller.de/s9y/categories/36-Kombinatorische-Schleife
Ich vermute auch hier irgendwas mit der 2-Prozess-Schreibweise...

[Jan S. (Gast)]

Hallo Lothar,

Lothar Miller schrieb:
> Zeig mal den Rest des Codes. In der geposteten Zeile ist keinerlei
> kominatorische Schleife zu sehen:
> http://www.lothar-miller.de/s9y/categories/36-Komb...
> Ich vermute auch hier irgendwas mit der 2-Prozess-Schreibweise...

Das wars. War eine versteckte kombinatorische Schleife.


Jan.