package test_pkg is
    type bv_rec_t is record
        bv : bit_vector;
    end record;
end package;

-------------------------------------------------------------------------------

library work;
use work.test_pkg.all;

package test_constrained_generic_pkg is
    generic (
        BV_WIDTH : positive
    );
    subtype bv_subrec_t is bv_rec_t(bv(BV_WIDTH-1 downto 0));
end package;

-------------------------------------------------------------------------------

package test_constrained_pkg is new work.test_constrained_generic_pkg generic map (BV_WIDTH => 4);

-------------------------------------------------------------------------------

library work;
use work.test_pkg.all;

entity dut is
    port (
        input : in bv_rec_t
    );
end entity;

architecture rtl of dut is
begin
end architecture;

-------------------------------------------------------------------------------

library work;
use work.test_constrained_pkg.all;

entity test_tb is
end entity;

architecture tb of test_tb is
    signal bv0 : bv_subrec_t;
begin
    i_dut : entity work.dut
        port map (
            input => bv0
        );
end architecture;