Record Definition in Package Body

[Marco (digitaldesigner)]

Moin in die Runde,

Ich habe eine Konstante in einem Package, die aber erst in einer 
Funktion, in Abhängigkeit einer anderen Konstante, im Package Body 
initialisiert wird. Mit dieser Konstanten will ich im selben Package für 
ein Record einen Vector constrainen. Als Beispiel ungefähr so :

 library ieee;
use ieee.std_logic_1164.all;
use ieee.numeric_std.all;

package test_pkg is

   ----------------------------------------------------------------------------   
   constant test_big_vect_c : boolean := true;
   constant test_bits_c     : natural;  -- init below in function
   function init_test_bits_f return natural;

   type test_record is record
      test1       : std_logic;
      test_vector : std_logic_vector(test_bits_c-1 downto 0);
   end record;

end package;

package body test_pkg is

   function init_test_bits_f return natural is
   begin
      if test_big_vect_c then
         return 64;
      else
         return 32;                     -- @suppress "Dead code"
      end if;
   end function;

   constant test_bits_c : natural := init_test_bits_f;

end package body;

Leider geht das nicht, da die Konstante erst im Body festgelegt wird. 
Den Record im Body definieren geht auch nicht. Subtypes im Body habe ich 
auch schon vergeblich probiert.

hat vielleicht noch jemand eine simple Idee auf die ich gerade nicht 
komme?

Viele Grüße in die Runde

[Markus F. (mfro)]

Marco schrieb:
> hat vielleicht noch jemand eine simple Idee auf die ich gerade nicht
> komme?

nun ja, "simpel" nicht, aber eine Idee schon.

Ab VHDL 2008 sind nested packages erlaubt. Wenn Du deine deferred 
constant in einem weiteren, "inneren" package initialisierst, steht sie 
dir eine Ebene drüber zur Verfügung.

[Markus F. (mfro)]

also so ungefähr:

library ieee;
use ieee.std_logic_1164.all;
use ieee.numeric_std.all;

package test_pkg is
    package inner_test_pkg is
        constant test_big_vect_c : boolean := false;
        constant test_bits_c     : natural;  -- init below in function
        function init_test_bits_f return natural;
    end package inner_test_pkg;

    constant test_big_vect_c : boolean := true;
    type test_record is record
       test1       : std_logic;
       test_vector : std_logic_vector(inner_test_pkg.test_bits_c - 1 downto 0);
    end record;
end package;

package body test_pkg is
    package body inner_test_pkg is
        function init_test_bits_f return natural is
        begin
        if test_big_vect_c then
            return 64;
        else
            return 32;                     -- @suppress "Dead code"
        end if;
        end function;

        constant test_bits_c : natural := init_test_bits_f;
    end package body inner_test_pkg;

end package body;

[Marco (digitaldesigner)]

Moin moin.
Danke, das kannte ich noch gar nicht bzw. noch nie verwendet.
Ich werde es gleich mal testen.

Viele Grüße

[Markus F. (mfro)]

Ich amüsiere mich gerade über die traurige Gestalt, die offensichtlich 
das ganze Wochenende hier rumsitzt, bis endlich ein Post reinkommt, den 
er runtervoten kann.

Muss eine ziemlich traurige Existenz sein. Du hast mein vollstes 
Mitgefühl.

[Markus F. (mfro)]

Marco schrieb:
> Ich werde es gleich mal testen.

Letztendlich ist das aber nichts anderes als die krampfhafte Vermeidung 
eines Generics (das sicherlich wesentlich deutlicher zeigt, was der Code 
machen soll), das ist dir schon klar?