ハードウェアの設計に関し、論理関数処理に関する基礎的な手法から，VLSI（大規模集積回路）システムの設計手法までの講義を行う。VLSIの設計は、アルゴリズムレベルから物理レベルまでの広い分野を含んでいるので、物理的な実現について簡単に解説した後、主に論理レベルとアルゴリズムレベルでの設計手法について論じる。 具体的には，以下の項目について講義する。 　・ ハードウェア記述言語とVLSIの設計環境 　・ 組合せ論理回路の設計（ブール代数と論理関数の簡単化） 　・ 順序回路の設計（有限オートマトンとその簡単化，状態割り当て） 　・ 高速回路の設計（高速算術演算回路、パイプライン回路の設計） 　・ 論理合成と高位合成 　・ ハードウェア設計の正しさ検証手法 授業計画 　１. LSI の仕組みとその設計環境 　２. 論理関数と論理式を用いた組合せ回路の設計 　３. 組み合わせ回路の簡単化 　４. 算術演算回路 　５. 順序回路の設計 　６. 順序回路の最適化 　７. タイミングシミュレーション 　８. 論理合成 　９. 多段合成 １０. パイプライン回路 １１. プロセッサの設計 １２. ハードウェアの設計検証 １３. テクノロジーマッピング １４. 試験

特になし (資料を配布)

１. 笹尾　勤：論理設計−スイッチング回路理論−、近代科学社、1995 　　(ISBN4-7649-0233-8) ２. Giovanni De Micheli:Synthesis and Optimization of Digital Circuits,McGraw-Hill, 　　1994(ISBN0-07-016333-2).

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