高速協調検証システム・モデリングガイド

高速協調検証システム・モデリングガイド

• 1 はじめに
  • 1. 1 計算モデル (MoC, Model of Computation)
  • 1. 2 用語
• 2 オブジェクト指向要求分析と設計工程
  • 2. 1 SoC設計工程
  • 2. 2 システムレベル設計
  • 2. 3 アーキテクチャ設計
• 3 高速協調検証システム
  • 3. 1 位置付け
    • 3. 1. 1 高速協調検証システムの処理
    • 3. 1. 2 高速協調検証システムは、何が通常のISSと違うのですか
    • 3. 1. 3 高速協調検証システムは、なぜ、性能が、ISS+RTLより 100 倍 ? 1000倍も高速なのですか
    • 3. 1. 4 どのような使い方をするのですか
    • 3. 1. 5 何を用意すればいいのですか
  • 3. 2 インストール
  • 3. 3 高速協調検証システムの仕組みを覗いてみよう
    • 3. 3. 1 バジェット追加プログラムとは何をするプログラムですか
    • 3. 3. 2 サービスコールは自動で変更してもらえますか
    • 3. 3. 3 アプリケーションから、RTOS、デバイスドライバ、ハードウェアとの連携はどのように実現されているのでしょうか
    • 3. 3. 4 キャッシュの影響を測定できますか
  • 3. 4 ハードウェアのモデル
    • 3. 4. 1 トランザクションレべルでモデルを書きましょう
    • 3. 4. 2 RTLのモデルは使えないのですか
    • 3. 4. 3 RTLモデルを高速化するための抽象化の方法を知りたいのですが
    • 3. 4. 4 TLM に書直したことによるコード量と実行時間の変化
  • 3. 5 RTOS
  • 3. 6 アプリケーション
  • 3. 7 プロセッサ
  • 3. 8 例題による実証実験
    • 3. 8. 1 性能と精度
    • 3. 8. 2 キャッシュ
    • 3. 8. 3 バストラフィック制御
    • 3. 8. 4 6軸ロボット制御用LSIの概要
  • 3. 9 高速協調検証システムの記述スタイル
• 4 SystemCをつかってみよう
  • 4. 1 はじめに
  • 4. 2 簡単な例題
  • 4. 3 階層チャネルを使って通信をモデル化する
• 5 SystemC入門
  • 5. 1 SystemCとは
  • 5. 2 モジュール
    • 5. 2. 1 モジュールのクラス定義 (SC_MODULE)
    • 5. 2. 2 sc_module
    • 5. 2. 3 モジュール・クラス定義の少し複雑な例
    • 5. 2. 4 コンストラクタ(SC_CTOR)
    • 5. 2. 5 SC_CTOR の定義
  • 5. 3 時間
    • 5. 3. 1 sc_time
    • 5. 3. 2 sc_time_unit
    • 5. 3. 3 sc_clock
    • 5. 3. 4 sc_start
  • 5. 4 モジュール間通信
  • 5. 5 インタフェース
    • 5. 5. 1 sc_interface
    • 5. 5. 2 sc_signal_in_if
  • 5. 6 ポート
  • 5. 7 チャネル
    • 5. 7. 1 同じインタフェースに違うチャネル
    • 5. 7. 2 単純チャネル(primitive channel) と 階層チャネル(hierarchical channel)
    • 5. 7. 3 単純チャネル(primitive channel)
    • 5. 7. 4 階層チャネル(Hierarchical Channel)
  • 5. 8 プロセス
  • 5. 9 イべント
    • 5. 9. 1 sc_event
    • 5. 9. 2 wait
    • 5. 9. 3 next_trigger
  • 5. 10 モジュールの配置(instance)
  • 5. 11 グローバル関数
  • 5. 12 SystemC FAQ
    • 5. 12. 1 SystemC と VHDLの違いは何ですか
    • 5. 12. 2 SystemC と Verilogの違いは何ですか
    • 5. 12. 3 SystemC と SpecCの特徴の違いは何ですか
    • 5. 12. 4 SystemVerilog と SystemCは何が違うのですか
    • 5. 12. 5 C++ と SystemC の違いは何ですか
    • 5. 12. 6 SystemC で扱える演算子は
    • 5. 12. 7 SystemC で扱えるデータ型は
    • 5. 12. 8 ユーザがデータ型を拡張できますか
    • 5. 12. 9 SystemCの記述をパラメータ化したモジュールにするには
• 6 SystemCを理解するためのC++入門
  • 6. 1 SystemCユーザのための C++ FAQ
    • 6. 1. 1 CとC++の違いは何ですか
    • 6. 1. 2 virtual void f(x) = 0; の = 0 という表現は何ですか
    • 6. 1. 3 初期化リスト
    • 6. 1. 4 名前空間の定義はどのように行うのですか
    • 6. 1. 5 フレンド関数とは何ですか、その役割は
    • 6. 1. 6 thisポインタとは何ですか
    • 6. 1. 7 メンバ関数の定義はどのように行うのですか
  • 6. 2 クラスの定義
  • 6. 3 継承
  • 6. 4 アクセス指示子 (Access Specifier)
  • 6. 5 コンストラクタとデコンストラクタ
  • 6. 6 仮想関数
  • 6. 7 抽象クラス AbstractClass
  • 6. 8 仮想関数 → 純粋仮想関数 → 抽象クラス → インタフェース
• 7 モデリングガイドライン
  • 7. 1 C言語および C++言語共通のコーディングスタイル
  • 7. 2 C++ 記述スタイル
  • 7. 3 SystemC記述スタイルガイド
    • 7. 3. 1 バージョンの違いに関する記述ガイド
    • 7. 3. 2 SC_MODULEの記述スタイル
    • 7. 3. 3 SC_METHODの記述スタイル
    • 7. 3. 4 SC_THREADの記述スタイル
    • 7. 3. 5 構造記述の記述スタイル
    • 7. 3. 6 ポート
    • 7. 3. 7 データ型・型変換記述スタイル
    • 7. 3. 8 sc_mainの記述スタイル
    • 7. 3. 9 シミュレーション向け記述スタイル
  • 7. 4 ツールと環境整備
    • 7. 4. 1 cvsを使いソースコードに履歴管理をする
    • 7. 4. 2 make ユーティリティを使って処理を自動化する
    • 7. 4. 3 デバッガを使いSystemCのデバッグを効率化する
    • 7. 4. 4 プロファイラを使い、実行時間の内訳を調べる
• 8 付録
  • 8. 1 SystemC の設置
    • 8. 1. 1 cygwin 設置
  • 8. 2 マスタースレーブライブラリの追加設置
  • 8. 3 SystemC Verification Standard (SCV)
    • 8. 3. 1 SCV for Cygwin
  • 8. 4 その他の道具
    • 8. 4. 1 GTKWave の設置
    • 8. 4. 2 GTKWave の動作確認
  • 8. 5 例題のソースコード
• 9 文献