VHDLパッケージにジェネリック型パラメータとして配列型を渡すには？

Question

私はVHDL-2008の汎用パッケージ（リスト）に取り組んでいます。このパッケージには、要素型の汎用型があります。パッケージ内でこの要素型の配列型を宣言すると、それは新しい型です。従って、例えば。整数、私の新しいinteger_arrayは、ライブラリieeeからのinteger_vectorと互換性がありません。

したがって、配列型（たとえばinteger_vector）も渡す必要があります。その配列型の配列インスタンスが'range属性で使用されている場合、それは私QuestaSimに警告を与える：

Prefix of attribute "range" must be appropriate for an array object or must denote an array subtype.

方法は、ジェネリック型パラメータが配列で表すのでしょうか？

一般的なパッケージ：

package SortListGenericPkg is 
    generic (
    type ElementType; -- e.g. integer 
    type ArrayofElementType; -- e.g. integer_vector 
    function LessThan(L : ElementType; R : ElementType) return boolean;  -- e.g. "<" 
    function LessEqual(L : ElementType; R : ElementType) return boolean  -- e.g. "<=" 
); 

    function inside (constant E : ElementType; constant A : in ArrayofElementType) return boolean; 
end package; 

package body SortListGenericPkg is 
    function inside (constant E : ElementType; constant A : in ArrayofElementType) return boolean is 
    begin 
    for i in A'range loop -- this line causes the error 
     if E = A(i) then 
     return TRUE ; 
     end if ; 
    end loop ; 
    return FALSE ; 
    end function inside ; 
end package body; 

インスタンス：

package SortListPkg is 
    package SortListPkg_int is new work.SortListGenericPkg 
    generic map (
     ElementType  => integer, 
     ArrayofElementType => integer_vector, 
     LessThan   => "<", 
     LessEqual   => "<=" 
    ); 
    alias Integer_SortList is SortListPkg_int.SortListPType; 
end package SortListPkg ; 

Answer 1

ModelSimが同様のエラー/警告を行い、それは多分VHDLの標準の問題です。

回避策は次のように、パッケージの一部としてArrayofElementTypeを宣言することです：

package SortListGenericPkg is 
    generic (
    type ElementType -- e.g. integer 
); 
    type ArrayofElementType is array (integer range <>) of ElementType; 
    function inside(constant E : ElementType; constant A : in ArrayofElementType) return boolean; 
end package; 

、その後insideが呼び出されたときのように、引数を変換：

... inside(int, ArrayofElementType(int_vec)); 

やタイプなどの簡単な使用ArrayofElementType可能であれば議論を宣言するとき。