（省略）
  28 always @(posedge CLK or negedge RESET)
  29 begin
  30        if (RESET == 1'b0)
  31            begin
  32               COUNT_TMP <= 4'h0;
  33               CARRY <= 1'b0;
  34            end
  35        else if (ENABLE == 1'b1)
  36 //      else if (DEC == 1'b1)
  37                  if (DEC == 1'b1)
  38                      if (COUNT_TMP == 4'h9)
  39                          begin
  40                             COUNT_TMP <= 4'h0;
  41                             CARRY <= 1'b1;
  42                          end
  43                      else
  44                          begin
  45                             COUNT_TMP <= COUNT_TMP + 4'h1;
  46                             CARRY <= 1'b0;
  47                          end
  48                  else
  49                      if (COUNT_TMP == 4'h0)
  50                          begin
  51                             COUNT_TMP <= 4'h9;
  52                             CARRY <= 1'b1;
  53                          end
  54                      else
  55                          begin
  56                             COUNT_TMP <= COUNT_TMP - 4'h1;
  57                             CARRY <= 1'b0;
  58                          end
  59 end
  （省略）


リスト3　不正なキャリーの作り方（UPDOWN10.v）

　一見するとこれで良さそうに思えますが、これが落とし穴の始まりです……。ここにキャリーの代入を書いて、シミュレーションしてみると画面1のようになります。

画面1　不正なタイミングでのキャリーによるけた上げ

　アップカウントの値が‘0’のときと、ダウンカウントの値が‘9’のときににキャリーが出力されています……。ここで「なぜこうなるんだろう？」と追究していただければよいのですが、「じゃあ、10進のカウンタの値を‘9’で見ているのが悪いので、‘8’で見ればOKだろう！」と、リスト4のように力ずくで記述を変更すると画面2のような結果になってしまいます。

（省略）
28 always @(posedge CLK or negedge RESET)
29 begin
30        if (RESET == 1'b0)
31            begin
32               COUNT_TMP <= 4'h0;
33               CARRY <= 1'b0;
34            end
35        else if (ENABLE == 1'b1)
36 //      else if (DEC == 1'b1)
37                  if (DEC == 1'b1)
38                      if (COUNT_TMP == 4'h8)
39                          begin
40                             COUNT_TMP <= 4'h0;
41                             CARRY <= 1'b1;
42                          end
43                      else
44                          begin
45                             COUNT_TMP <= COUNT_TMP + 4'h1;
46                             CARRY <= 1'b0;
47                          end
48                  else
49                      if (COUNT_TMP == 4'h1)
50                          begin
51                             COUNT_TMP <= 4'h9;
52                             CARRY <= 1'b1;
53                          end
54                      else
55                          begin
56                             COUNT_TMP <= COUNT_TMP - 4'h1;
57                             CARRY <= 1'b0;
58                          end
59 end
（省略）


リスト4　不正な変更によるキャリーの作り方（UPDOWN10-2.v）

画面2　不正なタイミングでのキャリーによるけた上げと不正なカウンタの動作

　確かに‘8’の次の値でキャリーは‘1’になりましたが、10進カウンタが9進になってしまいました……。これはいけません。

　次に「アップカウント時に10進を戻す値のデコードを‘9’にして、キャリーの生成を‘8’でデコードすればOKだ！」と思い付くのではないでしょうか。その記述をリスト5に示します。

（省略）
28 always @(posedge CLK or negedge RESET)
29 begin
30        if (RESET == 1'b0)
31            begin
32               COUNT_TMP <= 4'h0;
33               CARRY <= 1'b0;
34            end
35        else if (ENABLE == 1'b1)
36 //      else if (DEC == 1'b1)
37            if (DEC == 1'b1)
38                begin
39                   if (COUNT_TMP == 4'h9)
40                       COUNT_TMP <= 4'h0;
41                   else
42                       COUNT_TMP <= COUNT_TMP + 4'h1;
43                   if (COUNT_TMP == 4'h8)
44                       CARRY <= 1'b1;
45                   else
46                       CARRY <= 1'b0;
47                end
48            else
49                begin
50                   if (COUNT_TMP == 4'h0)
51                       COUNT_TMP <= 4'h9;
52                   else
53                       COUNT_TMP <= COUNT_TMP - 4'h1;
54                   if (COUNT_TMP == 4'h1)
55                       CARRY <= 1'b1;
56                   else
57                       CARRY <= 1'b0;
58                end
59 end
（省略）