|
执行过程如表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 |
|
|
|
|
|
|