設計仕様解析による ハード／ソフト最適分割システムの.pptVIP

設計仕様解析によるハード／ソフト最適分割システムの構築と評価 立命館大学　理工学研究科 梅原　直人，○和田　智行，山崎　勝弘 2007/9/5 研究背景 高速化、低消費電力化などにコデザインは必要 大規模化によるシステムの複雑化 システムにはハードとソフトのバランスが必要 ハード／ソフト分割探索 モジュール数により分割領域が指数関数的に増加 人間の判断で行うには限界がある シミュレーションによる数値解析にも限界 ハード/ソフトの最適な分割を支援すること 早期の予測による手戻り損失の減少 ハード/ソフト最適分割システム C言語リファレンス?プロトタイプ作成段階から分割領域（境界）の特定 関数をハードウェアモジュールに対応 設計仕様解析手法 設計仕様解析器 各関数はハードウェア?モジュールに1対1対応 実装環境を考慮 ユーザの要求を考慮（速度重視、メモリ重視、……など） goto文?malloc文?ポインタ?文字列操作はサポートしない 実装言語はRuby Misty1暗号アルゴリズム 64ビットブロック?128ビット秘密鍵暗号 条件分岐の一切ない構造 モジュール連結による実験 MISTY1を最適分割実験に使用 MISTY1は軽く、簡単な制御 e.g.モジュール連結による実験結果の計測 実験環境 Xilinx社のソフトコアMicroBlazeを軸に構築 FSLでユーザペリフェラルと通信 ツールと専用コンパイラが付属 結果はUART-RS２３２Cからデスクトップへ MISTY1単一ループモジュール性能 1ブロック（64bit）をN=8で暗号化する場合 最高性能で4Gbps程度のスループット MB検証システムの動作周波数は100MHｚ固定 ソフトウェアのみで同じ動作を行う場合2892サイクル モジュール性能評価式 偏差値は価値を画一するため（Bytes,Cycles…） 分数計算は偏差値の揺れ幅を揃えるため ユーザ要求の係数は比率 Evalが最も大きい時にそのパターンを使用 実験結果と評価 MISTY1暗号解析結果の評価と考察 処理速度とメモリ量はハードの化による評価の向上が高い 回路規模はあまり変化なし [6,2,2]の比率でも大差はない MISTY1はハードウェア化で高性能になる AES暗号での実験 AES暗号による解析結果評価 ピアソンの積率相関係数による類似性証明 １に近いほど相関関係が強く、0に近いほど無関係 平均値は0.85 概ね解析が正しいといえる “A”と“D”が高いことから処理速度（クロックサイクル数）の見積もり精度は高いといえる “C”と“F”から、メモリ量解析でまだ見積もり精度に問題 まとめ ハード/ソフト最適分割システム 分割方法の探査のための実験?考察 MISTY1暗号のハード/ソフト分割 ツールの有効性判断 AES暗号の実測値と解析値の類似性証明 * 目的 ハード/ソフト最適分割システムの構築 システムの設計仕様解析ツールの作成 実際にアプリケーション（暗号アルゴリズム）に適用し、システムの有効性を検証 ユーザの要求から分割 速さ優先、消費電力優先、コスト優先、etc… ソースコードと要求仕様を併せて、設計仕様と呼称 Cソースコード int a(); char b(); void c(); AnalysisAnswer システムの最終出力 int a(); void c(); char b(); Hardware Software C言語ソースコード モジュール 外部要素 回路規模 速度 個別?相互評価 CDFG 合成 モジュール（ファンクション）ファイル プリプロセッサ?関数抽出 モジュール毎の各要素の内部表現（CDFG?演算強度など） FSM 合成 データ トレース 演算式 評価 メモリ量 消費電力 工数 コード解析 性能解析 設計仕様解析器 Ｃ言語ファイル int func(int B,int C){ int A,I,j; for(i=0;i4;i++){ for(j=0;j4;j++){ A=B+C; } } return A; } rtm,true,[“int”.”int”] farg,”int”,[“B”,”C”] decl,””,[“A”,”i”,”j”] loop,”for”,0,”i”,0,”4”,”++” loop,”for”,1,”i”,0,”4”,”++” assign,2,[“A”],[“B”,”+”,”C”] ctrl,”return”,0,no_assign,”A” モジュールインスタンス(CDFG)