ハードウェア記述言語と検証

ミーリ型の状態機械の特徴として正しいものはどれか。

  1. A出力が今の状態だけで決まり、入力が変わっても次のクロックまで出力は変わらない
  2. B出力が今の状態と入力の両方で決まるので、入力の変化が同じサイクルのうちに出力に表れる
  3. C状態を持たない組み合わせ回路である
答えと解説を見る

正解：B. 出力が今の状態と入力の両方で決まるので、入力の変化が同じサイクルのうちに出力に表れる

ミーリ型では、出力の論理が今の状態に加えて入力も見るので、入力が変わればクロックを待たずに出力が変わり、1サイクル早く反応できます。状態の数が少なくて済むこともあります。一方で、入力から出力まで組み合わせ回路の経路がつながるので、入力の雑音が出力に表れたり、タイミングの経路が長くなったりします。出力をフリップフロップで受け直して使うこともあります。

  • A. それはムーア型の特徴です。
  • B. 正しい。反応が速い代わりに、入力の雑音が出力に出やすくなります。
  • C. 状態を持つ順序回路です。
この分野を解く 分野ページへ

ハードウェア記述言語と検証のほかの問題

  1. 状態機械の状態の符号化で、ワンホット符号化の特徴として正しいものはどれか。
  2. 3つの状態を持つ状態機械で、状態を覚えるのに必要なフリップフロップの数の組み合わせとして正しいものはどれか(バイナリ符号化/ワンホット符号化)。
  3. 上の4ビットのカウンタで、countが15のときにクロックが立ち上がると、countはいくつになるか。
  4. Verilogで8ビットの信号aとbを足し、その結果を8ビットの信号sに代入した(assign s = a + b;)。注意すべき点として正しいものはどれか。
  5. aを符号付きの-1のつもりで上のように書いたところ、gtが1になった。理由として正しいものはどれか。