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
|
-- $Id$
-- array parameters 3
-- 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(0 to 7) of bit;
procedure foo(signal a : out byte);
end package t;
package body t is
procedure foo(signal a : out 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
signal x : bit;
signal b : byte;
begin
p : process
begin
b <= "11100011";
wait on b;
foo(b);
wait on 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;
|
