高位合成における多面体最適化のためのスレッド構成手法
スポンサーリンク
概要
- 論文の詳細を見る
高位合成においては,並列実行可能な処理を如何にして自動的に抽出するかが課題となっている.近年,ソフトウェア向けのコンパイラ分野において,多面体最適化と呼ばれる入れ子ループの自動並列化手法が注目されている.これは種々の線形代数学的演算を行うことで入れ子ループ構造内における依存性を解析し,反復空間をタイル分割するものである.本稿では,代表的な多面体最適化アルゴリズムであるPLUTOを高位合成に応用することで,並列化された回路を自動設計する手法を提案する.まず,いくつかの論理スレッドを束ねて物理スレッドに割り当てることにより,PLUTOが生成する記述を高位合成向けに変換する手法を提案する.更に,依存性を考慮しつつRAMへのアクセスを最適化し,RAMのバンド幅を有効に利用する手法を提案する.
- 2013-03-06
著者
-
高木 一義
名古屋大学大学院情報科学研究科:戦略的創造研究推進事業
-
高木 直史
名古屋大学情報科学研究科
-
高瀬 英希
名古屋大学大学院情報科学研究科|日本学術振興会
-
高木 一義
名古屋大学
-
高木 直史
名古屋大学
-
高木 一義
名古屋大学大学院:crest-jst
-
高木 一義
京都大学大学院情報学研究科
-
高木 直史
京都大学大学院
-
須田 瑛大
京都大学大学院情報学研究科
-
高瀬 英希
京都大学大学院情報学研究科
-
高木 一義
京都大学大学院,ALCA-JST
-
高木 一義
京都大学大学院 情報学研究科 通信情報システム専攻
関連論文
- 超伝導単一磁束量子集積回路の技術動向と超伝導コンピュータの展望
- A scratch-pad memory management framework for embedded real-time systems (VLSI設計技術)
- Nbアドバンストプロセスを用いた単一磁束量子浮動小数点演算器の設計(ディジタル,一般)
- テスト容易なプレフィックス加算器の自動合成手法の検討 (コンピュータシステム)
- SFQ半精度浮動小数点乗算器の設計と試作(デジタル,一般)
- SFQ半精度浮動小数点加算器の設計と試作(デジタル,一般)
- C-8-10 SFQ浮動小数点乗算器の同期化および動作実証(C-8.超伝導エレクトロニクス,一般セッション)
- C-8-9 アドバンスドプロセスを用いたSFQ半精度浮動小数点加算器の高速化に関する検討(C-8.超伝導エレクトロニクス,一般セッション)
- C-8-13 Nb多層プロセスを用いて試作したシフトレジスタの測定評価(C-8.超伝導エレクトロニクス,一般セッション)
- C-8-7 超伝導SFQ回路のための新Nb多層プロセス(C-8. 超伝導エレクトロニクス,一般セッション)
- Nb多層デバイス構造用セルライブラリに向けた最適なモート構造の検討(単一磁束量子大規模集積回路技術の現状と将来展望、デジタル応用及び一般)
- パイプライン動作を考慮した単一磁束量子回路のための論理設計検証手法(ディジタル,一般)
- トランスダクション法に基づく単一磁束量子回路合成のためのフレームワーク
- テスト容易な並列プレフィックス加算器の自動合成手法の検討(ディペンダブルシステム,組込み技術とネットワークに関するワークショップ ETNET2010)
- 投票高々1衝突化手法を用いた小面積画素並列ハフ変換回路の設計 (ディペンダブルコンピューティング)
- 投票高々1衝突化手法を用いた小面積画素並列ハフ変換回路の設計 (VLSI設計技術)
- C-8-14 可変遅延素子を用いた単一磁束量子可変長シフトレジスタ(C-8.超伝導エレクトロニクス,一般セッション)
- C-8-9 A^*アルゴリズムに基づく単一磁束量子回路受動線路配線ツールの実装と評価(C-8.超伝導エレクトロニクス,一般セッション)
- C-8-12 SFQ半精度浮動小数点乗算器の試作と動作実証(C-8.超伝導エレクトロニクス,一般セッション)
- C-8-18 SFQ半精度浮動小数点乗算器の設計と試作(C-8. 超伝導エレクトロニクス,一般セッション)
- C-8-15 10kA/cm^2Nbアドバンスドプロセスを用いたSFQ半精度浮動小数点乗算器の設計(C-8.超伝導エレクトロニクス,一般セッション)
- C-8-5 10kA/cm^2Nbプロセスを用いたSFQ半精度浮動小数点加算器のコンポーネント回路の設計(C-8.超伝導エレクトロニクス,一般セッション)
- C-8-2 単一磁束量子回路による冗長2進表現を用いたシストリックシリアル指数計算回路(C-8.超伝導エレクトロニクス,一般セッション)
- C-8-1 単一磁束量子回路のためのパイプライン検証手法(C-8.超伝導エレクトロニクス,一般セッション)
- 第4回組込みシステム技術に関するサマースクール(SSEST4)実施報告(自由ソフト,教育,組込技術とネットワークに関するワークショップETNET2009)
- 第4回組込みシステム技術に関するサマースクール(SSEST4)実施報告(自由ソフト,教育,組込技術とネットワークに関するワークショップETNET2009)
- 投票高々1衝突化手法を用いた小面積画素並列ハフ変換回路の設計
- 実行トレースマイニングを用いたタスク内DVFSに有効なチェックポイント抽出手法
- 再構成可能なデータパスに向けた単一磁束量浮動小数点除算器の実証(単一磁束量子大規模集積回路技術の現状と将来展望、デジタル応用及び一般)
- C-8-22 単一磁束量子回路のフロアプラン設計支援に向けた配線遅延時間の推定(C-8. 超伝導エレクトロニクス,一般セッション)
- 順序回路の形式的検証におけるフォールスネガティブ削減のための回路変換(システム設計・高位論理設計,システムオンシリコンを支える設計技術)
- 多層配線単一磁束量子回路のための自動配線手法(単一磁束量子大規模集積回路技術の現状と将来展望、デジタル応用及び一般)
- 保存型一括並列処理による高速なHMM出力確率計算・最尤推定回路の構成法
- 保存型一括並列処理による高速なHMM出力確率計算・最尤推定回路の構成法
- 保存型一括並列処理による高速なHMM出力確率計算・最尤推定回路の構成法
- 保存型一括並列処理による高速なHMM出力確率計算・最尤推定回路の構成法
- テスト容易な並列プレフィックス加算器の自動合成手法の検討(ディペンダブルシステム,組込み技術とネットワークに関するワークショップETNET2010)
- 単一磁束量子論理回路のための故障モデルとテストパターン生成手法の検討(信号処理基盤技術及びその応用,一般)
- バイアス電源の高電圧化による単一磁束量子回路の高速化の検討(信号処理基盤技術及びその応用,一般)
- 10kA/cm^2プロセスを用いた2並列2段単一磁束量子再構成可能なデータパスの動作実証(超伝導エレクトロニクス基盤技術及び一般)
- 10kA/cm^2Nb Processを用いたSFQ浮動小数点乗算器の50GHzでの動作評価(信号処理基盤技術及びその応用,一般)
- C-8-15 10kA/cm^2Nb Processを用いたSFQ浮動小数点乗算器コンポーネント回路の動作評価(C-8.超伝導エレクトロニクス,一般セッション)
- C-8-14 10kA/cm^2Nbプロセスを用いたSFQ半精度浮動小数点加算器のコンポーネント回路の動作実証(C-8.超伝導エレクトロニクス,一般セッション)
- C-8-12 アドバンストプロセスを用いたSFQ-RDP用コンポーネント回路の動作評価(C-8.超伝導エレクトロニクス,一般セッション)
- 組込みシステムにおける低消費エネルギー志向の効率的なスラック時間の導出
- 組込みリアルタイムシステムにおけるスクラッチパッドメモリ管理技術
- マルチプロセッサ環境におけるタイミング依存のシナリオを実行可能なシミュレーション機構 (ディペンダブルコンピューティング)
- マルチプロセッサ環境におけるタイミング依存のシナリオを実行可能なシミュレーション機構 (コンピュータシステム)
- 多層配線単一磁束量子回路のための遅延余裕割り当てに基づく配線順序を考慮した配線手法 (VLSI設計技術)
- 多重高速保存型一括並列処理による省メモリな音声認識用HMM計算回路 (ディペンダブルコンピューティング)
- 多重高速保存型一括並列処理による省メモリな音声認識用HMM計算回路 (コンピュータシステム)
- C-8-13 10 kA/cm^2 Nbプロセスを用いたSFQ-RDPの45GHz動作(C-8.超伝導エレクトロニクス,一般セッション)
- C-8-12 ISTEC 10 kA/cm^2 Nbプロセスを用いた単一磁束量子浮動小数点乗算器の改良と動作評価(C-8.超伝導エレクトロニクス,一般セッション)
- C-8-17 単一磁束量子回路のためのマルチサイクルパスを考慮した遅延素子削減手法(C-8.超伝導エレクトロニクス,一般セッション)
- C-8-16 SFQ論理回路のタイミング明示化表現法と論理シミュレーション(C-8.超伝導エレクトロニクス,一般セッション)
- C-8-15 クロック入力が不要な論理ゲートを用いたSFQ論理回路の構成法(C-8.超伝導エレクトロニクス,一般セッション)
- DEPSプロファイルの評価法とそれを利用したチェックポイント選定
- DEPSプロファイルの評価法とそれを利用したチェックポイント選定
- 多重高速保存型一括並列処理による省メモリな音声認識用HMM計算回路
- 多重高速保存型一括並列処理による省メモリな音声認識用HMM計算回路
- マルチプロセッサ環境におけるタイミング依存のシナリオを実行可能なシミュレーション機構
- 二段階検証による順序回路の限定モデル検査の高速化手法(論理設計2,システムオンシリコンを支える設計技術)
- 単一磁束量子論理回路のためのタイミング故障のモデル化とテスト手法の検討(ディペンダブルシステム,組込み技術とネットワークに関するワークショップETNET2011)
- 単一磁束量子論理回路のためのタイミング故障のモデル化とテスト手法の検討(ディペンダブルシステム,組込み技術とネットワークに関するワークショップETNET2011)
- 多層配線単一磁束量子回路のための遅延余裕割り当てに基づく配線順序を考慮した配線手法(物理設計,システムオンシリコンを支える設計技術)
- C-8-4 SFQ論理回路からの時刻付き論理式の抽出手法(C-8.超伝導エレクトロニクス,一般セッション)
- C-8-3 ISTEC 10kA/cm^2 Nbプロセスを用いた単一磁束量浮動小数点乗算器内のクロック供給法の改善と評価(C-8.超伝導エレクトロニクス,一般セッション)
- C-8-1 Nb-9層アドバンストプロセスを用いて試作したシフトレジスタの測定評価(C-8.超伝導エレクトロニクス,一般セッション)
- SFQ回路を用いた高スループットなビットスライス乗算器(超伝導マイクロ波応用,信号処理基盤技術及びその応用,一般)
- 大規模SFQ回路のためのNb多層アドパンストプロセスの開発(超伝導エレクトロニクス基盤技術及び一般)
- 単一磁束量子回路の設計検証のための時刻付き論理式の等価性判定手法 (VLSI設計技術)
- 高位合成における潜在的並列性を利用した投機実行に基づくCDFG変換 (VLSI設計技術)
- SFQ回路を用いた2ビット・ビットスライス半精度浮動小数点乗算器の設計 (超伝導エレクトロニクス)
- C-8-10 10kA/cm^2Nbプロセスを用いたSFQ半精度浮動小数点加算器の設計と測定評価(C-8.超伝導エレクトロニクス,一般セッション)
- C-8-14 SFQ回路におけるJTLとPTL混合配線のための回路分割手法(C-8.超伝導エレクトロニクス,一般セッション)
- A-3-5 高位合成における配列アクセス順序最適化によるループ並列化(A-3.VLSI設計技術,一般セッション)
- 桁上げ生成二重化によるフォールトセキュアな並列プレフィックス加算器の構成法 (ディペンダブルコンピューティング)
- 部分二重化を用いたオンライン誤り検出可能な乗算器
- 桁上げビットの二重化によるセルフチェッキング桁上げ先見加算器
- 部分二重化を用いたオンライン誤り検出可能な乗算器
- 桁上げビットの二重化によるセルフチェッキング桁上げ先見加算器
- 浮動小数点演算器アレイの構成のための評価環境
- 高位合成における多面体最適化のためのスレッド構成手法
- 高位合成における多面体最適化のためのスレッド構成手法
- 浮動小数点演算器アレイの構成のための評価環境
- 単一磁束量子回路の設計検証のための時刻付き論理式の等価性判定手法(回路/システム設計,システムオンシリコンを支える設計技術)
- 高位合成における潜在的並列性を利用した投機実行に基づくCDFG変換(動作レベル設計と配線手法,システムオンシリコンを支える設計技術)
- 高位合成における繰り返し回数未決定ループに対する投機実行手法(動作合成(2),デザインガイア2012-VLSI設計の新しい大地-)
- 高位合成における繰り返し回数未決定ループに対する投機実行手法(動作合成(2),デザインガイア2012-VLSI設計の新しい大地-)
- 桁上げ生成二重化によるフォールトセキュアな並列プレフィックス加算器の構成法(テスト,デザインガイア2012-VLSI設計の新しい大地-)
- 桁上げ生成二重化によるフォールトセキュアな並列プレフィックス加算器の構成法(テスト,デザインガイア2012-VLSI設計の新しい大地-)
- 浮動小数点演算器アレイの構成のための評価環境(演算機構,組込み技術とネットワークに関するワークショップETNET2013)
- 浮動小数点演算器アレイの構成のための評価環境(演算機構,組込み技術とネットワークに関するワークショップETNET2013)
- 高位合成における多面体最適化のためのスレッド構成手法(動作合成,組込み技術とネットワークに関するワークショップETNET2013)
- C-8-13 10kA/cm2 Nbプロセスを用いたSFQ半精度浮動小数点加算器の設計と高速動作実証(C-8.磁気記録・情報ストレージ,一般セッション)
- 部分二重化を用いたオンライン誤り検出可能な乗算器(デジタル回路,組込み技術とネットワークに関するワークショップETNET2013)
- 桁上げビットの二重化によるセルフチェッキング桁上げ先見加算器(デジタル回路,組込み技術とネットワークに関するワークショップETNET2013)
- 高位合成における多面体最適化のためのスレッド構成手法(動作合成,組込み技術とネットワークに関するワークショップETNET2013)
- 部分二重化を用いたオンライン誤り検出可能な乗算器(デジタル回路,組込み技術とネットワークに関するワークショップETNET2013)
- 桁上げビットの二重化によるセルフチェッキング桁上げ先見加算器(デジタル回路,組込み技術とネットワークに関するワークショップETNET2013)