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
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
|
--------------------------------
-- Copyright 1992-2001 Future Parallel
-- VLSI Design Lab
-- Library: VFP
-- Designer: Tim Pagden
-- Opened: 02.06.2001
-- Updated: 12.06.2001
-- DNH: T:/author/dnh/integer_class.dnh
--------------------------------
entity integer_class_tb is
--
-- tests for integer_class package
--
end integer_class_tb;
use std.textio.all;
library vfp;
use vfp.std_verification.all;
use vfp.integer_class.all;
architecture tb0 of integer_class_tb is
begin
process
--variable num_chars : integer;
variable j : integer;
variable k : integer;
variable tfi : boolean;
--variable bit_width : integer;
variable log_line : line;
file log_file : text open write_mode is "intclass.log";
begin
debug("Starting tests...");
log(log_file, "======== Start of integer_class tests ========");
debug(3);
debug("int is ", 3);
log(log_file, 3);
log(log_file, "int is ", 3);
--tb_log(log_file, "==== strlen tests...");
--for i in 0 to 9 loop
-- log(log_file, string_length(10 ** i));
-- log(log_file, string_length(-(10 ** i)));
--end loop;
log(log_file, "==== binary_wordlength tests...");
for i in 0 to 31 loop
log(log_file, binary_wordlength(2 ** i));
log(log_file, binary_wordlength(-(2 ** i)));
--write(log_line, (2 ** i)); -- it's OK 2**31 -> -(2**31) automatically,
-- presumably simulator does a shift operation internally!
end loop;
log(log_file, "==== integer string length tests ...");
for i in 0 to 9 loop
log(log_file, (integer'IMAGE(10 ** i)))'LENGTH;
log(log_file, (integer'IMAGE(-(10 ** i))))'LENGTH;
end loop;
log(log_file, "==== next_greater_binary_power_minus_1 tests ...");
for i in 0 to 31 loop
log(log_file, next_greater_binary_power_minus_1(2 ** i));
log(log_file, next_greater_binary_power_minus_1(-(2 ** i)));
end loop;
--tb_log(log_file, "==== is_factor_of_32 tests ...");
--for i in 0 to 32 loop
-- tfi := is_factor_of_32(i);
-- if tfi then
-- write(log_line, i);
-- write(log_line, string'(" is a factor"));
-- -- sprintf("i,s", +integer, string)
-- -- unary + takes any operand and returns a string
-- -- sprintf("i,s", integer, string)
-- writeline(log_file, log_line);
-- else
-- write(log_line, i);
-- write(log_line, string'("..."));
-- writeline(log_file, log_line);
-- end if;
--end loop;
write(log_line, string'("==== is_power_of_2 tests ..."));
writeline(log_file, log_line);
for i in 0 to 31 loop
k := 2 ** i;
tfi := is_power_of_2(k);
if tfi then
write(log_line, string'("Correct, "));
write(log_line, k);
write(log_line, string'(" is a power of 2"));
writeline(log_file, log_line);
else
write(log_line, k);
write(log_line, string'(" has not been captured as a power of 2 - it should be!"));
writeline(log_file, log_line);
end if;
end loop;
write(log_line, string'("==== log_2 tests ..."));
writeline(log_file, log_line);
for i in 0 to 31 loop
k := (2 ** i)-1;
j := log_2(k);
write(log_line, k);
write(log_line, string'(" , "));
write(log_line, j);
writeline(log_file, log_line);
k := 2 ** i;
j := log_2(k);
write(log_line, k);
write(log_line, string'(" , "));
write(log_line, j);
writeline(log_file, log_line);
k := (2 ** i)+1;
j := log_2(k);
write(log_line, k);
write(log_line, string'(" , "));
write(log_line, j);
writeline(log_file, log_line);
end loop;
log(log_file, "======== End of integer_class tests ========");
debug("Tests finished.");
wait;
end process;
end tb0;
configuration integer_class_tb_cfg_0 of integer_class_tb is
for tb0
end for;
end integer_class_tb_cfg_0;
|
