[ru551n]

Warning

Both features in this PR are one-way. VHDL-2019 reflection can read a value of any type, but it can't create one: std.reflection has no procedures and no function that builds or writes a value. That's true of the package on both NVC and Riviera-PRO. t'image/t'value aren't allowed on a generic type either: NVC says "non-representable type T" and Riviera-PRO says "Illegal prefix for attribute 'IMAGE". So there is no from_dict and no generic pop that returns the value. Getting a record back still means reading its elements one by one, as with a hand-written conversion. Is a one-way conversion worth adding to VUnit?

Draft, depends on #1242. It builds on the reflection setup there (vu.add_reflection(), reflection_util_pkg). Until #1242 merges, this diff also shows its two commits. The changes of this PR are the last two commits.

This brings back to_dict from the closed #1239 and adds a generic push onto a queue. The closed #1243 explored symmetric push/pop alternatives that don't use reflection.

to_dict: any record to a dict_t

use vunit_lib.record_dict_pkg.all;
...
function to_dict is new to_dict generic map (record_t => packet_t);
...
dict := to_dict(packet);
check_equal(get_integer(dict, "addr"), 5);

As in #1239: element names become lower-case keys, the supported scalar and vector types keep their type, other enumerations become the name of their value, and nested records become nested dicts. Any other element type fails on record_dict_logger, naming the element.

push: any type onto a queue_t

use vunit_lib.reflection_queue_pkg.all;
...
procedure push is new vunit_lib.reflection_queue_pkg.push generic map (t => packet_t);
...
push(queue, packet);
addr := pop_integer(queue);
data := pop_std_ulogic_vector(queue);
state := state_t'value(pop_string(queue));

• The elements are pushed one by one in declaration order, each with the queue_pkg push of its type, recursing into nested records. So the queue holds real, typed data: it can be popped with the usual functions, encoded and copied.
• It works for any type, not only records: a lone enumeration is pushed as one item.
• The element types are the same as for to_dict. Other enumerations are pushed as the name of their value, which 'value turns back. Unsupported types fail on reflection_queue_logger, naming the element.
• The instantiation uses the selected name vunit_lib.reflection_queue_pkg.push. A plain procedure push is new push works on NVC, but Riviera-PRO reports it as ambiguous with the queue_pkg procedures (COMP96_0334). The selected name only refers to this package's push, which works on both, so the instance is still called push.
• Don't instantiate it for a type that queue_pkg already covers, such as integer.

Other changes

• The array helpers that both packages use (get_pos, to_std_ulogic_vector, to_string of an array mirror) move to reflection_util_pkg.

Testing

• vunit/vhdl/reflection/run.py with VHDL-2019: 21/21 on NVC 1.23-devel and on Riviera-PRO 2026.04. That's the 9 check_equal tests from Add check_equal for any type using VHDL-2019 reflection #1242, 6 to_dict tests and 6 new push tests: scalars, arrays, a nested record pushed in place, a non-record value, order when mixed with other queue items, and the error for an unsupported element.
• There are no Python changes on top of Add check_equal for any type using VHDL-2019 reflection #1242.

This PR was written with the help of an AI assistant (Claude).

🤖 Generated with Claude Code