blob: 0ce8edae3233d61468d80f6c4f00df28da84daad (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
entity test is
end test;
architecture only of test is
procedure iterate (
input : in bit_vector) is
variable j : integer := input'range'left;
begin -- iterate
for i in input'range loop
assert i = j report "TEST FAILED" severity failure;
j := j + 1;
end loop; -- i in 1 to 10
assert j = input'range'right + 1 report "TEST FAILED" severity failure;
end iterate;
begin -- only
doit: process
begin -- process doit
iterate("0000");
report "TEST PASSED";
wait;
end process doit;
end only;
|