1 順序回路の表現 |
1.1 順序回路のモデル 1 |
1.2 状態遷移図と状態遷移表 6 |
1.3 Mealy 形と Moore 形の相互変換 8 |
演習問題 11 |
2 状態の等価性と両立性 |
2.1 分割と同値関係 12 |
2.2 状態の等価性 16 |
2.3 状態の両立性 22 |
2.4 順序回路の簡約形 29 |
演習問題 37 |
3 順序回路の入出力応答特性 |
3.1 状態の同定 39 |
3.2 順序回路の同定 54 |
3.3 情報無損失の順序回路 60 |
3.4 有限記憶形順序回路 65 |
演習問題 71 |
4 順序回路の正規表現 |
4.1 正規表現の定義と諸性質 74 |
4.2 出力の正規表現 76 |
4.3 接続系列集合 80 |
4.4 б,ωの誘導 83 |
演習問題 86 |
5 順序回路の実現 |
5.1 フリップフロップ 88 |
5.2 フリップフロップを用いた順序回路の実現 90 |
5.3 シフトレジスタを用いた順序回路の実現 96 |
演習問題 106 |
6 状態割当 |
6.1 状態割当と駆動回路の複雑さ 106 |
6.2 自己依存形の状態割当 108 |
6.3 縮退依存形の状態割当 117 |
6.4 隣接性 124 |
演習問題 132 |
7 順序回路の分解 |
7.1 並列分解 134 |
7.2 縦続分解 140 |
演習問題 148 |
8 線形順序回路 |
8.1 線形順序回路とその簡約形 149 |
8.2 線形順序回路の標準形 158 |
8.3 自律的な出力系列 172 |
8.4 線形順序回路の入出力応答特性 181 |
8.5 線形順序回路の判定 185 |
演習問題 192 |
9 冗長な順序回路 |
9.1 フォルトトレラント順序回路 194 |
9.2 フェイルセイフ順序回路 202 |
演習問題 213 |
10 確率的順序回路 |
10.1 確率的な状態遷移 215 |
10.2 確率的な順序回路の出力系列 221 |
演習問題 226 |
11 非同期式順序回路 |
11.1 非同期式順序回路の特異性 227 |
11.2 競合のない状態割当 236 |
11.3 ハザードのない回路構成 251 |
演習問題 260 |
演習問題の解答 261 |
参考文献 270 |
索引 275 |