論理設計学 I
Advanced Logic Design I
講義内容
論理関数の処理に関する基礎的な知識から，論理回路の設計手法，ハードウェ
ア記述言語とその処理系，近代的な論理回路合成手法，および設計の正しさを
証明する論理設計検証手法について紹介する。具体的には，以下の項目について述べる。
- 組合せ論理回路の設計（ブール代数，論理関数の簡単化）
- 順序論理回路の設計（順序回路の簡単化，状態割当，非同期回路）
- VLSI 設計（MOS 素子，配置，配線）
- ハードウェア記述言語と論理回路の自動合成
- 論理設計支援手法（論理シミュレーション，二分決定グラフ，設計検証）
授業計画
- 論理設計の流れ，論理演算とブール代数，組合せ回路と順序回路
- ハードウェア記述言語と処理系
- 簡単なCPUの設計I
- 簡単なCPUの設計II
- 二進数と算術演算回路
- 論理合成システムI
- 論理合成システムII
- 論理回路簡単化手法
- 動作の解析 : 論理回路シミュレーション
- 動作の検証 : 仕様記述と設計検証
- 二分決定グラフによる論理関数表現とその応用
- 論理素子とその実現
- VLSI による論理回路の実装
- 試験
教科書
特になし (OHP の資料を配布)
参考書
- E. D. Fabricius: Introduction to VLSI Design, McGraw-Hill, 1990
- E. D. Fabricius: Modern Digital Design and Switching Theory, CRC Press, 1992
前提とする知識(必ずしも先修条件ではない)
二進数と二進演算，論理演算とブール代数，グラフ表現