VHDL: negativer Exponent in math_real

[Chris (Gast)]

Hallo,

ich möchte mir eine Arkustangens-Tabelle basteln, mit VHDL und 
Synthese-Werkzeug Synplify. Formel sieht wie folgt aus:
value = atan(2^(-2) * 16)

use ieee.math_real.all;
[...]
architecture of ... is ...
begin
integer value <= integer(math_rad_to_deg*arctan(real(2**(-2))*16));

Folgende Fehlermeldung wird bei den Synthese ausgepuckt:
@E: CD450 :Arithmetic operator ** with negative exponent -2

Das müsste doch eigentlich so gehen, negative Exponenten sollten doch 
erlaubt sein. Was mache ich falsch?

[Duke Scarring (Gast)]

Versuch's mal mit

2**(-2.0)

Damit wird real statt integer verwendet.

Duke

[D. I. (Gast)]

> real(2**(-2))*16)

4 zu schreiben wär zu einfach? :)

[Chris (Gast)]

Duke Scarring schrieb:
> Versuch's mal mit2**(-2.0)Damit wird real statt integer verwendet.

Danke, das wars.

D. I. schrieb:
> 4 zu schreiben wär zu einfach? :)

Ja ;) Ich hab den angegebenen Code hier etwas vereinfacht. In 
Wirklichkeit wird eine Indexvariable verwendet, damit wird der negative 
Exponent bei jedem Schleifendurchlauf der Wertetabelle geändert.

Danke!

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

Schleife, Variable und Real? Hoffentlich nur in einer Initialisierung 
oder einer Testbench...  :-o

Schleifenzähler sind generell nur Integer, du musst den erst mal nach 
Real konvertieren:
 http://www.lothar-miller.de/s9y/archives/14-Numeric_Std.html

[Chris (Gast)]

Ja, ich muss lediglich ein Signal anfänglich initialisieren (Soll eine 
Wertetabelle werden). Genau wie auf deiner Seite beschrieben: 
http://www.lothar-miller.de/s9y/archives/37-DDFS-mit-BROM.html

Tolle Seite übrigens! Viele Tipps aus der Praxis (im Gegensatz zu vielen 
Büchern).

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

Chris schrieb:
> Tolle Seite übrigens!
Danke.
> Viele Tipps aus der Praxis
Das war meine Absicht, weil ich es in den Büchern auch vermisst habe.

[Chris (Gast)]

Hallo nochmal,

ich brech gleich ab, ich komme schon wieder nicht weiter. Ich bastele 
mir gerade für eine Filterstruktur die Filterkoeffizienten zusammen. Die 
habe ich als auf 1 normalisierte Werte in einem zweidimensionalen Array 
gespeichert:

architecture...
  type c_t is array (0 to 10, 0 to 7) of real;
  constant c:c_t := ((1.00000,0.50000,0.00000,0.00000,0.00000,0.00000,0.00000,0.00000),
                     (0.00000,1.00000,0.50000,0.00000,0.00000,0.00000,0.00000,0.00000),
                     ...
                     (0.00000,0.00000,0.00000,0.00000,0.00000,0.00000,0.00000,1.00000));
begin -- architecture

Mit dem Array möchte ich nun ein zweites initialisieren, die 
Koeffizienten allerdings mit einem konstanten Faktor (2**x) 
multiplizieren. Ich möchte also die Position des Kommas verändern können 
(zur Synthese, nicht zur Laufzeit). Dann muss ich das nicht immer erst 
mittels externem Programm berechnen lassen und neu für VHDL formatieren.

architecture...
  constant my_fact: integer <= 64;

  type my_c_t is array (0 to 10, 0 to 7) of integer range -integer(my_fact) to integer(my_fact);
  signal my_c: my_c_t;


begin --architecture
  lines: for my_line in 0 to 10 generate
  begin
    rows: for my_row in 0 to 7 generate
    begin
      my_c(my_line,my_row) <= integer(c(my_line,my_row) * real(my_fact));
    end generate rows;
  end generate lines;

Ich sehe nicht, was hier falsch ist, bekomme aber den Fehler "Real value 
must evaluate to a constant for synthesis", der auf die Wertzuweisung in 
der for-Schleife zeigt. "c" ist doch schonmal als Konstante deklariert. 
Außerdem sollte "c" doch konstant sein, sie wird schließlich nirgendwo 
sonst gebraucht oder verändert. Ersetze ich "c" durch einen 
Fließkommawert, verschwindet die Fehlermeldung. Wo ist hier der Fehler 
versteckt?

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

Chris schrieb:
> bekomme aber den Fehler "Real value must evaluate to a constant
> for synthesis",
Von wem bekommst du den Fehler?

[Chris (Gast)]

Sorry. Bei der Synthese von Synplify.

[Chris (Gast)]

architecture...
  constant my_fact: integer <= 64;

ist ntürlich

architecture...
  constant my_fact: integer := 64;