blob: 1636f8d701e74a7b8d0279eb11826dfc8ecffc65 (
plain)
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
130
131
132
133
134
135
136
137
138
139
140
|
module top;
logic L1b0 = 0;
logic L1b1 = 1;
logic signed L1sb0 = 0;
logic signed L1sb1 = 1;
logic [1:0] L2b00 = 0;
logic [1:0] L2b01 = 1;
logic [1:0] L2b10 = 2;
logic [1:0] L2b11 = 3;
logic signed [1:0] L2sb00 = 0;
logic signed [1:0] L2sb01 = 1;
logic signed [1:0] L2sb10 = 2;
logic signed [1:0] L2sb11 = 3;
logic y = 1;
always @* begin
assert (1'(L1b0 ) == 1'b0);
assert (1'(L1b1 ) == 1'b1);
assert (1'(L1sb0 ) == 1'b0);
assert (1'(L1sb1 ) == 1'b1);
assert (1'(L2b00 ) == 1'b0);
assert (1'(L2b01 ) == 1'b1);
assert (1'(L2b10 ) == 1'b0);
assert (1'(L2b11 ) == 1'b1);
assert (1'(L2sb00) == 1'b0);
assert (1'(L2sb01) == 1'b1);
assert (1'(L2sb10) == 1'b0);
assert (1'(L2sb11) == 1'b1);
assert (2'(L1b0 ) == 2'b00);
assert (2'(L1b1 ) == 2'b01);
assert (2'(L1sb0 ) == 2'b00);
assert (2'(L1sb1 ) == 2'b11);
assert (2'(L2b00 ) == 2'b00);
assert (2'(L2b01 ) == 2'b01);
assert (2'(L2b10 ) == 2'b10);
assert (2'(L2b11 ) == 2'b11);
assert (2'(L2sb00) == 2'b00);
assert (2'(L2sb01) == 2'b01);
assert (2'(L2sb10) == 2'b10);
assert (2'(L2sb11) == 2'b11);
assert (3'(L1b0 ) == 3'b000);
assert (3'(L1b1 ) == 3'b001);
assert (3'(L1sb0 ) == 3'b000);
assert (3'(L1sb1 ) == 3'b111);
assert (3'(L2b00 ) == 3'b000);
assert (3'(L2b01 ) == 3'b001);
assert (3'(L2b10 ) == 3'b010);
assert (3'(L2b11 ) == 3'b011);
assert (3'(L2sb00) == 3'b000);
assert (3'(L2sb01) == 3'b001);
assert (3'(L2sb10) == 3'b110);
assert (3'(L2sb11) == 3'b111);
assert (3'(L1b0 | '1) == 3'b111);
assert (3'(L1b1 | '1) == 3'b111);
assert (3'(L1sb0 | '1) == 3'b111);
assert (3'(L1sb1 | '1) == 3'b111);
assert (3'(L2b00 | '1) == 3'b111);
assert (3'(L2b01 | '1) == 3'b111);
assert (3'(L2b10 | '1) == 3'b111);
assert (3'(L2b11 | '1) == 3'b111);
assert (3'(L2sb00 | '1) == 3'b111);
assert (3'(L2sb01 | '1) == 3'b111);
assert (3'(L2sb10 | '1) == 3'b111);
assert (3'(L2sb11 | '1) == 3'b111);
assert (3'(L1b0 | '0) == 3'b000);
assert (3'(L1b1 | '0) == 3'b001);
assert (3'(L1sb0 | '0) == 3'b000);
assert (3'(L1sb1 | '0) == 3'b001);
assert (3'(L2b00 | '0) == 3'b000);
assert (3'(L2b01 | '0) == 3'b001);
assert (3'(L2b10 | '0) == 3'b010);
assert (3'(L2b11 | '0) == 3'b011);
assert (3'(L2sb00 | '0) == 3'b000);
assert (3'(L2sb01 | '0) == 3'b001);
assert (3'(L2sb10 | '0) == 3'b010);
assert (3'(L2sb11 | '0) == 3'b011);
assert (3'(y ? L1b0 : '1) == 3'b000);
assert (3'(y ? L1b1 : '1) == 3'b001);
assert (3'(y ? L1sb0 : '1) == 3'b000);
assert (3'(y ? L1sb1 : '1) == 3'b001);
assert (3'(y ? L2b00 : '1) == 3'b000);
assert (3'(y ? L2b01 : '1) == 3'b001);
assert (3'(y ? L2b10 : '1) == 3'b010);
assert (3'(y ? L2b11 : '1) == 3'b011);
assert (3'(y ? L2sb00 : '1) == 3'b000);
assert (3'(y ? L2sb01 : '1) == 3'b001);
assert (3'(y ? L2sb10 : '1) == 3'b010);
assert (3'(y ? L2sb11 : '1) == 3'b011);
assert (3'(y ? L1b0 : '0) == 3'b000);
assert (3'(y ? L1b1 : '0) == 3'b001);
assert (3'(y ? L1sb0 : '0) == 3'b000);
assert (3'(y ? L1sb1 : '0) == 3'b001);
assert (3'(y ? L2b00 : '0) == 3'b000);
assert (3'(y ? L2b01 : '0) == 3'b001);
assert (3'(y ? L2b10 : '0) == 3'b010);
assert (3'(y ? L2b11 : '0) == 3'b011);
assert (3'(y ? L2sb00 : '0) == 3'b000);
assert (3'(y ? L2sb01 : '0) == 3'b001);
assert (3'(y ? L2sb10 : '0) == 3'b010);
assert (3'(y ? L2sb11 : '0) == 3'b011);
assert (3'(y ? L1b0 : 1'sb0) == 3'b000);
assert (3'(y ? L1b1 : 1'sb0) == 3'b001);
assert (3'(y ? L1sb0 : 1'sb0) == 3'b000);
assert (3'(y ? L1sb1 : 1'sb0) == 3'b111);
assert (3'(y ? L2b00 : 1'sb0) == 3'b000);
assert (3'(y ? L2b01 : 1'sb0) == 3'b001);
assert (3'(y ? L2b10 : 1'sb0) == 3'b010);
assert (3'(y ? L2b11 : 1'sb0) == 3'b011);
assert (3'(y ? L2sb00 : 1'sb0) == 3'b000);
assert (3'(y ? L2sb01 : 1'sb0) == 3'b001);
assert (3'(y ? L2sb10 : 1'sb0) == 3'b110);
assert (3'(y ? L2sb11 : 1'sb0) == 3'b111);
assert (3'(y ? L1b0 : 1'sb1) == 3'b000);
assert (3'(y ? L1b1 : 1'sb1) == 3'b001);
assert (3'(y ? L1sb0 : 1'sb1) == 3'b000);
assert (3'(y ? L1sb1 : 1'sb1) == 3'b111);
assert (3'(y ? L2b00 : 1'sb1) == 3'b000);
assert (3'(y ? L2b01 : 1'sb1) == 3'b001);
assert (3'(y ? L2b10 : 1'sb1) == 3'b010);
assert (3'(y ? L2b11 : 1'sb1) == 3'b011);
assert (3'(y ? L2sb00 : 1'sb1) == 3'b000);
assert (3'(y ? L2sb01 : 1'sb1) == 3'b001);
assert (3'(y ? L2sb10 : 1'sb1) == 3'b110);
assert (3'(y ? L2sb11 : 1'sb1) == 3'b111);
end
endmodule
|
