执行过程如表2.7所示。
周期 |
信号状态 |
活跃进程 |
信号事项处理 |
Clk |
Cin |
DffOut |
ExorOut |
Bout |
Cout |
Bout |
ExorOut |
Cout |
DffOut |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
L1,L2,L3,L4 |
(0,δ) |
(0,δ) |
(0,δ) |
|
0+δ |
0 |
0 |
0 |
0 |
0 |
0 |
|
|
|
|
|
1 |
1 |
0 |
0 |
0 |
0 |
0 |
L4 |
|
|
|
(0,δ) |
1+δ |
1 |
0 |
0 |
0 |
0 |
0 |
|
|
|
|
|
2 |
0 |
1 |
0 |
0 |
0 |
0 |
L2,L3,L4 |
|
(1,δ) |
(0,δ) |
|
2+δ |
0 |
1 |
0 |
1 |
0 |
0 |
|
|
|
|
|
3 |
1 |
1 |
0 |
1 |
0 |
0 |
L4 |
|
|
|
(1,δ) |
3+δ |
1 |
1 |
1 |
1 |
0 |
0 |
L1,L2,L3 |
(1,δ) |
(0,δ) |
(1,δ) |
|
3+2δ |
1 |
1 |
1 |
0 |
1 |
1 |
|
|
|
|
|
4 |
0 |
0 |
1 |
0 |
1 |
1 |
L2,L3,L4 |
|
(1,δ) |
(0,δ) |
|
4+δ |
0 |
0 |
1 |
1 |
1 |
0 |
|
|
|
|
|
5 |
1 |
0 |
1 |
1 |
1 |
0 |
L4 |
|
|
|
(1,δ) |
5+δ |
1 |
0 |
1 |
1 |
1 |
0 |
|
|
|
|
|
6 |
0 |
1 |
1 |
1 |
1 |
0 |
L2,L3,L4 |
|
(0,δ) |
(1,δ) |
|
6+ |
0 |
1 |
1 |
0 |
1 |
1 |
|
|
|
|
|
7 |
1 |
1 |
1 |
0 |
1 |
1 |
L4 |
|
|
|
(0,δ) |
7+δ |
1 |
1 |
0 |
0 |
1 |
1 |
L1,L2,L3 |
(0,δ) |
(1,δ) |
(0,δ) |
|
7+2δ |
1 |
1 |
0 |
1 |
0 |
0 |
|
|
|
|
|
8 |
0 |
0 |
0 |
1 |
0 |
0 |
L2,L3,L4 |
|
(0,δ) |
(0,δ) |
|
8+δ |
0 |
0 |
0 |
0 |
0 |
0 |
|
|
|
|
|
9 |
1 |
0 |
0 |
0 |
0 |
0 |
L4 |
|
|
|
(0,δ) |
9+δ |
1 |
0 |
0 |
0 |
0 |
0 |
|
|
|
|
|
10 |
0 |
1 |
0 |
0 |
0 |
0 |
L2,L3,L4 |
|
(1,δ) |
(0,δ) |
|
10+δ |
0 |
1 |
0 |
1 |
0 |
0 |
|
|
|
|
|
11 |
1 |
1 |
0 |
1 |
0 |
0 |
L4 |
|
|
|
(1,δ) |
11+δ |
1 |
1 |
1 |
1 |
0 |
0 |
L1,L2,L3 |
(1,δ) |
(0,δ) |
(1,δ) |
|
11+2δ |
1 |
1 |
1 |
0 |
1 |
1 |
|
|
|
|
|
12 |
0 |
0 |
1 |
0 |
1 |
1 |
L2,L3,L4 |
|
(1,δ) |
(0,δ) |
|
12+δ |
0 |
0 |
1 |
1 |
1 |
0 |
|
|
|
|
|
13 |
1 |
0 |
1 |
1 |
1 |
0 |
L4 |
|
|
|
(1,δ) |
13+δ |
1 |
0 |
1 |
1 |
1 |
0 |
|
|
|
|
|
|