論理設計学 II
Advanced Logic Design II

---

講義内容

　コンピュータのように社会に広く浸透しているシステムの信頼性の問題は非常に重要である。正しく動作しないコンピュータの存在は，単にサービスの停止，中断にとどまらず、社会的にも大きな影響を与えることになる。信頼性が高く，故障に耐える（フォールトトレラント）コンピュータはどのように設計されるか，大規模化，高集積化するＶＬＳＩコンピュータに故障が存在するか否かをどのように調べるか（テスト，診断），またそのようなテストを可能とするようなコンピュータをどのように設計するか，等々について講述する。
　具体的には，以下の内容を講義する。

　　１. 論理回路の故障モデルと故障診断
　　２. ブール微分
　　３. テスト生成アルゴリズム
　　４. 故障シミュレーション
　　５. テスト問題の計算複雑度
　　６. テスト容易化設計
　　 　 スキャン設計
　 　　 組込み自己テスト方式
　　７. フォールトトレラントシステムの設計思想
　　８. セルフチェッキング論理回路
　　９. 誤りマスクとフェイルセイフ技術
　１０. システムの再構成と回復技術
　
教科書

　　当麻，南谷，藤原：フォールトトレラントシステムの構成と設計，槙書店，1991

参考書

　　１. 藤原：コンピュータ設計概論， 工学図書，1998
　　２. 藤原：コンピュータの設計とテスト， 工学図書，1990
　　３. H.Fujiwara: Logic Testing and Design for Testability, MIT Press, 1985
　　４. P.K.Lala: Fault Tolerant and Fault Testable Hardware Design,
　　　　Prentice-Hall, 1985
　　５. M.Abramovici, et al.: Digital Systems Testing and Testable Design,
　　　　IEEE Press, 1990

前提とする知識(必ずしも先修条件ではない)

　　論理設計基礎，計算機アーキテクチャ基礎（計算機構造概論）
　　論理設計，設計検証（論理設計学 I）