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
|
-- $Id$
-- array parameters 4 - unconstrained arrays
-- Copyright (C) 2008-2009 FAUmachine Team <info@faumachine.org>.
-- This program is free software. You can redistribute it and/or modify it
-- under the terms of the GNU General Public License, either version 2 of
-- the License, or (at your option) any later version. See COPYING.
package t is
type byte is array(integer range <>) of bit;
procedure foo(variable a : inout byte);
end package t;
package body t is
procedure foo(variable a : inout byte) is
begin
a(0) := '0';
end;
end t;
entity test_bench is
end entity test_bench;
use t.all;
architecture test_bench_impl of test_bench is
begin
p : process
variable x : bit;
variable b : byte(0 to 7);
begin
b := "11100011";
foo(b);
assert(b(0) = '0')
report "foo(b) should set b(0) to '0'."
severity failure;
assert false report "simulation finished" severity note;
wait;
end process;
end test_bench_impl;
|
