コンピュータなどの情報システムの基本部分はLSIとして実現されており、その仕組みや設計手法は情報技術者に必要な基本的な知識である。また、高性能な論理合成ツールが利用可能な今日でも、質の良いLSIを設計するにはLSIの設計手法に関する基礎知識が不可欠である。本講義では、LSIの仕組みと物理的な実現について簡単に解説した後、LSIの設計手法に関して、主に論理レベルとアルゴリズムレベルの観点からの解説を行う。 具体的には，以下の内容を講義する。 １. LSIの仕組みとその設計環境 ２. 論理関数とその表現方法 ３. 二段論理回路の簡単化 ４. 演算回路の設計 ５. 順序回路の設計 ６. 順序回路の最適化 ７. 遅延と非同期動作 ８. 多段論理回路の簡単化 ９. テクノロジーマッピング １０. テスト生成 １１. ハードウェアの設計検証 １２. EXOR、PLA、FPGA等を用いた設計 １３. ハードウェア記述言語による設計 １４. パイプラインプロセッサの設計

特になし (資料を配布)

１.笹尾　勤：論理設計―スイッチング回路理論 (第２版)、近代科学社、1998 (ISBN:4764902672) ２.Gary D. Hachtel and Fabio Somenzi: Logic Synthesis and Verification Algorithms, Kluwer Academic Publishers, 1996 (ISBN:0792397460).

（必ずしも先修条件ではない） 二進数とその演算、論理演算とブール代数、グラフ表現

成績評価は、出席状況（15％）、レポート（25％）、および試験（60％）とで総合評価を行う。