testsuite/vests/vhdl-93/clifton-labs/compliant/functional/types/array-types/subprogram-dynamic-type.vhdl


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

entity test is
end test;

architecture only of test is
  procedure proc (
    constant a : in bit_vector;
    constant l : in integer ) is
    type dyn is range a'left downto 0;
  begin
    assert dyn'left = l report "TEST FAILED" severity FAILURE;
  end proc;
begin  -- only
  doit: process
  begin  -- process doit
    proc( "0000", 3 );
    proc( "00000", 4 );
    report "TEST PASSED";
    wait;
  end process doit;
end only;