Compiling the following package fails in DSim version 20240422.0.0 with
library ieee;
use ieee.std_logic_1164.all;
use ieee.numeric_std.all;
package attribute_def_pkg is
attribute type_length_attribute : natural;
type record_type is record
field_1 : std_logic;
field_2 : std_logic;
end record;
attribute type_length_attribute of record_type : type is 2; -- Works fine
type array_of_records_type is array (1 downto 0) of record_type;
attribute type_length_attribute of array_of_records_type : type is 4; -- Fails: E:[ClassHidden]
end package attribute_def_pkg;
0 Votes
D
David Jones posted
6 months ago
AdminBest Answer
Does this work on other simulators?
The declaration of array_of_records_type creates both a type and a subtype. The (anonymous) type is array(<>) of record_type, and the (named) subtype is array(1 downto 0) of record_type. When you provide the name array_of_records_type, you are actually targeting the subtype, not the base type. For this reason, the attribute specification is invalid.
The VHDL LRM is not the clearest work of prose, and it is possible that other tools let this slide, and treat types and subtypes as interchangeable for the purposes of assigning attributes.
0 Votes
2 Comments
Sorted by
A
Alexander Gompertsposted
6 months ago
Hello David,
Thank you for the detailed explanation. Yes, this works using Questa-Sim (I tried with version 2022.4.4). GHDL however, fails as well, with an error message matching your explanation.
0 Votes
D
David Jonesposted
6 months ago
AdminAnswer
Does this work on other simulators?
The declaration of array_of_records_type creates both a type and a subtype. The (anonymous) type is array(<>) of record_type, and the (named) subtype is array(1 downto 0) of record_type. When you provide the name array_of_records_type, you are actually targeting the subtype, not the base type. For this reason, the attribute specification is invalid.
The VHDL LRM is not the clearest work of prose, and it is possible that other tools let this slide, and treat types and subtypes as interchangeable for the purposes of assigning attributes.
Compiling the following package fails in DSim version 20240422.0.0 with
library ieee; use ieee.std_logic_1164.all; use ieee.numeric_std.all; package attribute_def_pkg is attribute type_length_attribute : natural; type record_type is record field_1 : std_logic; field_2 : std_logic; end record; attribute type_length_attribute of record_type : type is 2; -- Works fine type array_of_records_type is array (1 downto 0) of record_type; attribute type_length_attribute of array_of_records_type : type is 4; -- Fails: E:[ClassHidden] end package attribute_def_pkg;0 Votes
David Jones posted 6 months ago Admin Best Answer
Does this work on other simulators?
The declaration of array_of_records_type creates both a type and a subtype. The (anonymous) type is array(<>) of record_type, and the (named) subtype is array(1 downto 0) of record_type. When you provide the name array_of_records_type, you are actually targeting the subtype, not the base type. For this reason, the attribute specification is invalid.
The VHDL LRM is not the clearest work of prose, and it is possible that other tools let this slide, and treat types and subtypes as interchangeable for the purposes of assigning attributes.
0 Votes
2 Comments
Alexander Gomperts posted 6 months ago
Hello David,
Thank you for the detailed explanation. Yes, this works using Questa-Sim (I tried with version 2022.4.4). GHDL however, fails as well, with an error message matching your explanation.
0 Votes
David Jones posted 6 months ago Admin Answer
Does this work on other simulators?
The declaration of array_of_records_type creates both a type and a subtype. The (anonymous) type is array(<>) of record_type, and the (named) subtype is array(1 downto 0) of record_type. When you provide the name array_of_records_type, you are actually targeting the subtype, not the base type. For this reason, the attribute specification is invalid.
The VHDL LRM is not the clearest work of prose, and it is possible that other tools let this slide, and treat types and subtypes as interchangeable for the purposes of assigning attributes.
0 Votes
Login to post a comment