testsuite/vests/vhdl-93/clifton-labs/compliant/functional/types/integer-types/resolved-integer-type.vhdl


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44

entity test is
end test;

architecture only of test is
  type integer_array is array ( natural range <> ) of integer;
  
  function return_biggest ( inputs : integer_array )
    return integer is
    variable retval : integer := integer'left;
  begin
    for i in inputs'range loop
      if inputs(i) > retval then
        retval := inputs(i);
      end if;
    end loop;  -- i
    return retval;
  end return_biggest;
    
  subtype biggest_wins is return_biggest integer;

  signal common : biggest_wins;
  
begin  -- only

  p1 : process
  begin
    common <= 1 after 1 ns;
    wait;
  end process;    

  p2 : process
  begin
    common <= 1 after 1 ns;
    wait;
  end process;

  test: process
  begin
    wait for 2 ns;
    assert common = 1 report "TEST FAILED" severity failure;
    wait;
  end process;    
  
end only;