ハードウェア構成法

(1) ブール代数とディジタル回路入門: 加法標準形、ドモルガンの定理、CMOSトランジスタ、集積回路 (2) 論理演算回路: 基本ゲート、複雑なゲート (3) 算術演算回路: 加算器、減算器、比較器、ALU、2の補数 (4) その他の組み合わせ回路: マルチプレクサ、デコーダー、エンコーダー (5) 論理式の簡約化: カルノー図 (6) フリップフロップと順序回路: ラッチ、フリップフロップ、シフトレジスタ、カウンタ (7) 状態遷移機械: ステートマシン、符号化方式、Mooreマシン、Mealyマシン (8) メモリ: SRAM、DRAM、ルックアップテーブル (9) 回路におけるタイミング: 遅延、クロックスキュー、メタスタビリティ、動作周波数 (10) プログラマブルロジック: FPGA、ルックアップテーブル (11) ハードウェア記述言語: Verilog HDL、モダンなハードウェア記述言語 (12) ハードウェア記述言語を用いたディジタル回路設計: バスインターフェース、AMBA AXI4、Verilogシミュレータ、テストベンチ (13) ハードウェア記述言語を用いたディジタル回路設計（発展編）

講義による

小テストまたはレポート課題を適宜課す。これらと期末テストにより、学習の達成度を総合的に評価する。

David Money Harris and Sarah L. Harris、ディジタル回路設計とコンピュータアーキテクチャ（第2版）

五島正裕、新・情報/通信システム工学 ディジタル回路 小林 芳直、定本 ASICの論理回路設計―高速・高信頼ディジタル・システムのための設計ノウハウ Deign Wave Magazine編集部編、SystemVerilog設計スタートアップ 篠塚一也、SystemVerilogによる検証の基礎

特になし