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
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
|
library IEEE;
use IEEE.std_logic_1164.all;
entity valid is
port
(
ip0, ip1, ip2, ip3: in std_logic;
op0, op1, op2, op3: out std_logic
);
end;
architecture RTL of valid is
type enum_t is (V0, V1, V2, V3);
signal s0, s1, s2, s3: std_logic;
signal st0: enum_t;
signal n0, n1, n2, n3: natural range 0 to 3;
begin
process (s0, s1) -- $SOL:0:0$
begin
case s1 is
when '0' =>
op0 <= s0;
when others =>
op0 <= s1;
end case;
end process;
process (s0, s1) -- $SOL:1:0$
begin
case s1 is
when '0' =>
op0 <= s0;
op1 <= (s0 or s1);
when others =>
op1 <= (s1 or '0');
op0 <= s1;
end case;
end process;
process (s0, s1) -- $SOL:2:0$
begin
op2 <= '0';
case s1 is
when '0' =>
op0 <= s0;
op1 <= (s0 or s1);
when others =>
op1 <= (s1 or '0');
op0 <= s1;
op2 <= '1';
end case;
end process;
process (s0, s1, s2) -- $SOL:3:0$
begin
op2 <= '0';
case s1 is
when '0' =>
if (s2 = '0')
then
op0 <= s0;
else
op0 <= s1;
end if;
op1 <= (s0 or s1);
when others =>
op1 <= (s1 or '0');
op0 <= s1;
op2 <= '1';
end case;
end process;
with ip0 select
s1 <=
ip1 when '0',
ip2 when '1',
ip3 when others;
with st0 select
s2 <=
ip1 when V0,
ip2 when V1,
ip3 when V2,
s1 when V3;
P_e: with st0 select
s2 <=
ip1 when V0,
ip2 when V1,
ip3 when others;
process (s0, s1, s2, s3) -- $SOL:4:0$
begin
case st0 is
when V3 =>
op0 <= s0;
when V2 =>
op0 <= s1;
when V1 =>
op0 <= s2;
when V0 =>
op0 <= s3;
end case;
end process;
Inprocess: process (s0, s1, s2, s3) -- $SOL:5:0$
begin
case st0 is
when V3 =>
op0 <= s0;
when V2 =>
op0 <= s1;
when others =>
op0 <= s2;
end case;
end process;
My_Process: process (n0, n2) -- $SOL:6:0$
begin
case n0 is
when 0 =>
n1 <= 0;
when 1 to 2 =>
n1 <= n2;
when 3 =>
n1 <= 2;
end case;
end process;
nothing: process (n0, n2) -- $SOL:7:0$
begin
case n0 is
when 0 =>
P_I0: n1 <= 0;
when 1 =>
P_I1: n1 <= n3;
when 2 =>
P_I2: n1 <= n2;
when 3 =>
P_I3: n1 <= 2;
end case;
end process;
Still: process (n0, n3) -- $SOL:8:0$
begin
What: case n0 is
when 0 =>
May: n1 <= 0;
when 1 =>
Be: n1 <= n3;
when others =>
Caught: n1 <= n3;
end case;
end process;
end;
|
