[トップ] [概要] [授業計画] [講義情報] [課題]

「SoC設計技術A」授業計画

最終更新日: 2016年3月3日

概要

講義

講義日程

日付 5限 6限
6月7日 D1章(1) 清尾克彦先生(サイバー大学) D1章(2) 清尾克彦先生(サイバー大学)
6月14日 D2章 山田知幸様(セイコーエプソン) D3章 早瀬健夫様(東芝)
6月21日 D6章(1) 清尾克彦先生(サイバー大学) D6章(2) 清尾克彦先生(サイバー大学)
6月28日 D7章  松下 仁様(dSPACE) Z2章  浅野滋博様(東芝)
7月5日 Z8章  松本 仁様(三菱) Z3章  島崎靖久様(ルネサスエレクトロニクス)
7月12日 C6章  青木奈央様(CATS) C7章  青木奈央様(CATS)

講義内容

D1章(1) [6/7 5限]

D1章 組込みシステムとその開発概要(1) 清尾克彦先生(サイバー大学)
1.1 情報通信技術と組込みシステム
1.2 組込みシステムとは何か
1.3 半導体技術のロードマップ
1.4 組込みシステムとSoCの関係
1.5 組込みシステムとものつくり
1.6 半導体事業の展開

D1章(2) [6/7 6限]

D1章 組込みシステムとその開発概要(2) 清尾克彦先生(サイバー大学)
1.7 SoC設計の特徴と課題
1.8 SoCの設計フロー

D2章 [6/14 5限]

D2章 組込みシステムの要求仕様定義 山田知幸様(セイコーエプソン)
2.1 システムの要求事項について
2.2 要求分析
2.3 要求定義
2.4 システム要求仕様書
2.5 関連動向、その他

D3章 [6/14 6限]

D3章 組込みシステム仕様定義(システム設計) 早瀬健夫様(東芝)
3.1 仕様と仕様化
3.2 要求仕様/設計仕様と仕様記述言語
3.3 UMLによる仕様記述
3.4 システム設計仕様書

D6章(1) [6/21 5限]

D6章 機能検証技術(1) 清尾克彦先生(サイバー大学)
6.1 機能検証とは
6.2 動的検証

D6章(2) [6/21 6限]

D6章 機能検証技術(2) 清尾克彦先生(サイバー大学)
6.3 プロパティ記述言語
6.4 アサーションベース検証
6.5 静的検証

D7章 [6/28 5限]

D7章 モデルベース開発 松下 仁様(dSPACE)
7.1 モデルベース開発とは?
7.2 モデルベース開発の基礎知識
7.3 モデルベース設計(モデリングから実装まで)
7.4 モデルベース開発フェーズ
7.5 最新トピックス
7.6 まとめ

Z2章 [6/28 6限]

Z2章 システムレベルの高速化:カスタムプロセッサの開発 浅野滋博様(東芝)
2.1 システムレベルの高速化:カスタムプロセッサの開発
2.2 Cell Broadband Engine
2.3 SSDコントローラ
2.4 カスタムプロセッサのまとめ

Z8章 [7/5 5限]

Z8章 FPGAの技術動向とその設計事例 (新規開発) 松本 仁様(三菱)
8.1 最近のFPGAとはどんなものか?
8.2 FPGAの進化と構造
8.3 FPGAの設計
8.4 FPGAとASICの選択基準
8.5 FPGA設計事例
8.6 まとめ

Z3章 [7/5 6限]

Z3章 通信系システムLSIとシステムレベルの低消費電力化 島崎靖久様(ルネサスエレクトロニクス)
3.1 通信系システムLSI(モバイル系プロトコルシステムLSI)
3.2 システムレベルの低消費電力化(モバイル向けアプリケーションプロセッサ)

C6章 [7/12 5限]

C6章 組込みソフトウェア開発環境 青木奈央様(CATS)
6.1 組込みソフトウェア開発ツール
6.2 デバッグ環境
6.3 統合開発環境
6.4 分野別開発環境
6.5 その他の開発ツール

C7章 [7/12 6限]

C7章 組込みソフトウェア 開発手法 青木奈央様(CATS)
7.1 組込みソフトウェア開発手法
7.2 ソフトウェア開発プロセス
7.3 ソフトウェア表記法
7.4 状態遷移表設計手法
7.5 拡張階層化状態遷移表