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
|
entity tb_test_tf is
end tb_test_tf;
architecture behav of tb_test_tf is
signal a : bit_vector(7 downto 0);
signal e : bit;
signal ea_and : bit_vector(7 downto 0);
signal ae_and : bit_vector(7 downto 0);
signal ea_nand : bit_vector(7 downto 0);
signal ae_nand : bit_vector(7 downto 0);
signal ea_or : bit_vector(7 downto 0);
signal ae_or : bit_vector(7 downto 0);
signal ea_nor : bit_vector(7 downto 0);
signal ae_nor : bit_vector(7 downto 0);
signal ea_xor : bit_vector(7 downto 0);
signal ae_xor : bit_vector(7 downto 0);
signal ea_xnor : bit_vector(7 downto 0);
signal ae_xnor : bit_vector(7 downto 0);
begin
dut: entity work.test_tf
port map (
a => a,
e => e,
ea_and => ea_and,
ae_and => ae_and,
ea_nand => ea_nand,
ae_nand => ae_nand,
ea_or => ea_or,
ae_or => ae_or,
ea_nor => ea_nor,
ae_nor => ae_nor,
ea_xor => ea_xor,
ae_xor => ae_xor,
ea_xnor => ea_xnor,
ae_xnor => ae_xnor);
process
begin
a <= b"01000111";
e <= '1';
wait for 1 ns;
assert ea_and = b"01000111" severity failure;
assert ae_and = b"01000111" severity failure;
assert ea_nand = b"10111000" severity failure;
assert ae_nand = b"10111000" severity failure;
assert ea_or = b"11111111" severity failure;
assert ae_or = b"11111111" severity failure;
assert ea_nor = b"00000000" severity failure;
assert ae_nor = b"00000000" severity failure;
assert ea_xor = b"10111000" severity failure;
assert ae_xor = b"10111000" severity failure;
assert ea_xnor = b"01000111" severity failure;
assert ae_xnor = b"01000111" severity failure;
e <= '0';
wait for 1 ns;
assert ea_and = b"00000000" severity failure;
assert ae_and = b"00000000" severity failure;
assert ea_nand = b"11111111" severity failure;
assert ae_nand = b"11111111" severity failure;
assert ea_or = b"01000111" severity failure;
assert ae_or = b"01000111" severity failure;
assert ea_nor = b"10111000" severity failure;
assert ae_nor = b"10111000" severity failure;
assert ea_xor = b"01000111" severity failure;
assert ae_xor = b"01000111" severity failure;
assert ea_xnor = b"10111000" severity failure;
assert ae_xnor = b"10111000" severity failure;
wait;
end process;
end behav;
|
