• 検索結果がありません。

An Optimization-Aided Rate-Optimal Approach to the High-Level Synthesis of ' Digital Signal Processing Algorithms

N/A
N/A
Protected

Academic year: 2021

シェア "An Optimization-Aided Rate-Optimal Approach to the High-Level Synthesis of ' Digital Signal Processing Algorithms"

Copied!
4
0
0

読み込み中.... (全文を見る)

全文

(1)

博士(工学)マシ工儿/フレデリコ

学 位 論 文 題 名

An Optimization‑Aided Rate‑Optimal Approach       to the High‑Level Synthesis of  '    Digital Signal Processing Algorithms

( レ ート ・ オプ テ ィ マル なディ ジタル信 号処理ア ルゴリズ ム向き     最 適化 高 位 レベ ル 設 計に 関 する 研 究 )

学位論文内容の要旨

    VLSIシステムの設計 は、幾っかの設計レベルに分けて行なわれる。抽象度の 最も高 い「高位レベル設計」と呼ばれる階層は、高位記述言語による動作記述からレジスタ転送レ ベルまでの設計を意味する。ディジタル信号処理(DSP)アルゴリズムの合成は高位レベ ル設計を用いた応用の一分野である。

  従来の高位レベル設計における研究は主にスケジューリング問題が対象であった。近年、

良いスケジューリング方法は設計の面積に対して最適か最適に近い解を得て来たが、「レ―

ト・オプティマル」と呼ばれる最もスループ・ソトの高いスケジュ←ルが得られない場合もあ ることが分かってきている。従来のレート・オプティマルスケジューリング法はあまり効率 的ではナょいため、実際の設計にはあまり有用ではナょかった。

    設計過程の入カである高位記述の計算構造は設計の品質(スループット、出力遅延、面 積)に影響を及ばす。スケジューリングアルゴリズム1ま計算構造が変更できないため、構造 による低効率問題が解決できない。従って、高校率設計を得るための高位レベル設計向き最 適化技法が幾っか提案されている。この技法は、人カアルゴリズムの意味を変更しないで、

より速い設計かよルコンパクトな設計を求めている。

    本研究は、高スループットディジタル信号処理アルゴリズムの高位レベル設計に向かっ て、高効率なアーキテクチャ設計方法を調査・開発する。その為に、最適化とスケジューリ ング技法を主な研究対象としている。

    本 論 文 は8章 よ り 成 っ て い る 。 各 章 を 要 約 す る と 以 下 の よ う に な る 。     第1章は 全体 の 序論 であ る。 第2章で は、VLSI設 計自動化の各階層の役割と 高位レ ベル設計にっいて紹介する。高位レベル設計では、本論文の目標である最適化とスケジュー リ ン グ 技 法 の 現 状 を 概 説 す る 。 最 後 に 、 改 め て 本 論 文 の 目 標 を 詳 細 に 述 べ る 。     第3章では、ハードウエアモデルにっいての考察を行なう。従来の研究はハードウエア モデルが限定されており、設計の品質に様々な制約を与える。その結果、高性能か得られな かったり、設計面積が大きくなったりする場合があった。従って、本研究では、まず性能と 面積に制約を与えないモデルを考察する。提案された技法ぼモデルからの制限を受けないよ うに考えられている。

    第4章では、計算構造による品質に対する影響を解析する。最適化技法は設計の品質を

582

(2)

高めるように計算構造を変更するため、最適化技法の開発には計算構造のもつ品質に対する 理解は不可欠である。しかし、これらはまだ十分に理解されていないので、現在の最適化技 法は限られた問題だけに効率的である。従って、幾っかの調査により計算構造と設計の品質 を結ぶファクターを見っけ、構造により品質を解析・予想する方法を提案する。このファク ターが最適化技法の開発に用いられる。

  第5章はLoop Shrinking(繰り返し収縮)と呼ぷ最適化技法を提案する。並列・パイプ ライン処理には、スループットの限界はループによるため、Loop Shrinkingは演算をルー プの外ヘ移動し、スループ.yトを上げる。変換として、可換・結合・分配法則を用い、この 変換を 可能にす るのに 演算の複 写とRetimingを用いる。Loop Shrinkingは従来の技法と 異なり、アルゴリズムのループを対象にし、ループの収縮によルスループットを上げる。こ れらは、従来手法とは異なり、広範囲な変換手順を用いている。

  第6章では、 スループットを保ち、設計の面積を減少させる為の幾っかの最適化技法の 提案と解析が行なわれる。ここではニっの既存の技法について特に注意している:一っは 高位レ ベル設計に既に用いられてきたTieeーHeight Reduction(THR)であり、もうーつ は計算 構造を再 構成す る技法(PR)であ る。最初 にこの ニっの方法を改良する。THRが レジスタ数の減少をさらに進める為に変更され、遅延の位置による影響を緩和するように Retimingを用い ている 。PRは第3章と 第4章 の解析に より提 案された ハード ウエアモ デ ルに構築された。この変更により結果は改良できたが、まだ限られたアルゴリズムと問題点 だけに効率的であることが分かった。最後に、Reshapingを提案する。Reshapingは補足的 なTHRとPRのカ を併用し 、その特 徴を合 わせて最 終的に より広範 囲のアルゴリズムと構 造の問題点に効率であることを示す。

    第7章はPeiiod‑Dl:iven Schedulingを提案する。Period―Driven Schedulingはレー卜・

オプティマルスケジューリングがいっも得られ、スループットを悪化させないスケジューリ ング技法である。この時、演算器だけではなく、レジスタ数も最小化する。PeriodーDriven Schedulingは 既 存 のレ ー ト ・オ プ テ ィ マル 方 法 より 効 率 的にス ケジュ ールを得 る。

    第8章 は 結 諭 と し て 、 本 論 文 で 述 べ た 研 究 を 総 括 し 、 今 後 の 課 題を 述 べ るュ     本研究による技法と既存の技法を比較するように高位レベル設計のべンチマークである 5次 デ ィ ジ タ ル フ ィ ル タ を 設 計 し た 。 本 研 究 の 成 果 は 以 下 の よ うに 要 約 され る 。     既存の スルー プットを 高める 方法は5次フアルタの繰り返し間隔を16サイクルから1 3サ イクルに 減少す るが、Loop Shrinkingにより、繰り返し間隔が9サイクルまでに最適 化される。

    ReshapingはTHRとPRより 能 カ が 高い こ と も示 さ れ たし 、 幅 広いDSPア ル ゴ リズ 4に対応可能であることも示された。第4章で述べたファクターがこの能カを可能にしたと 考えら れる。ReshapingとPeriod‑Diiven Schedulingにより、演算器とレジスタ数と出力 遅延が減少する。

    本研究で開発した手法を用いることで、高スループット設計では従来得たことのない設 計が得られた。又中・低スループットの場合には、演算器の個数が従来の設計手法のアーキ テクチャと類似している。

    以上より本研究によって、提案開発されたシステムを用いた高スループ.yトディジクル 信 号 処 理 ア ル ゴ リ ズ ム の 高 位 レ ベ ル 設 計 に お け る 有 効 性 が 示 さ れ た 。

− .583−,

(3)

学位論文審査の要旨

学 位 論 文 題 名

An Optimization‑Aided Rate‑Optimal Approach        to the High‑Level Synthesis of       Digital Signal Processing Algorithms

( レ 一 卜 ・ オ プ テ ィ マ ル な デ ィ ジ タ ル 信 号 処 理 ア ル ゴ リ ズ ム 向 き     最 適 化 高 位 レ ベ ル 設 計 に 関 す る 研 究 )

    VLSIシス テムの設 計は、 幾っかの設計レベルに分かれており、抽象度の最も高い階 層は「高位レベル設計」と呼ぱれている。従来の高位レベル設計における研究は主にスケ ジューリング問題が対象であったが、「レート・オプティマル」と呼ばれる最もスル―プッ トの高 いスケジュールを得る従来手法はあまり効率的ではなかった。DSPアルゴリズムの 計算構造は設計の品質(スループット、出力遅延、面積)に影響を及ばし、スケジューリン グアルゴリズムは構造による低効率問題が解決できないだめ、設計品質を高めるように高位 レベル設計向き最適化技法が必要となる。

    本論 文は、高スループットディジタル信号処理(DSP)アルゴリズムの高位レベル設 計に向かって、高効率なァーキテクチャ設計を得るために最適化とスケジューリング技法を 調査 開発している。その内容は8章から構成されている。

  第1章1ま 全 体 の序 論 で あ る。第2章では 、VLSI設計 自動化と 高位レ ベル設計 にっい て紹介し、本論文の目標を詳細に述べている。

    第3章では、ハードウエアモデルにっいての考察を行なっている。従来の研究はハード ウエアモデルが限定されており、設計の品質に様々な制約を与える。従って、本研究では、

まず性能と面積に制約を与えないモデルを考察する。第4章では、計算構造による品質に対 する影響を解析する。最適化技法の開発には計算構造のもつ品質に対する理解は不可欠であ るが、この理解はまだ十分ではない。従って、幾っかの調査により計算構造と設計の品質を 結 ぷ フ ァ ク タ ー を 見 っ け 、 構 造 に よ り 品 質 を 解 析 ・ 予 想 す る 方 法 を 提 案 す る 。   第5章はLoop ShIinking(繰り返し収縮)と呼ぷスループットを上げるための最適化技 法を提案する。Loop Shrinkingは従来手法とは異なり、アルゴリズムのループを対象にし、

また広範囲な変換手順を用いている。第6章では、スループットを保ち、設計の面積を減少 させるための幾っかの最適化技法の提案と解析が行なわれる。ここではニっの既存の技法に

584 ‑

次 夫

譲 一

香 秀

   

内 島

中 永

栃 北

田 宮

授 授

授 授

   

   

教 教

教 助

査 査

査 査

主 副

副 副

(4)

っいて特に注 意し、第3章と第4章の解析により改良する。最後に`この技法のカを併用す る技法を提案し、最終的により効率であることを示す。第7章tま Period‑Driven Scheduling と呼ぷレート ・オプティマルスケジューリングがいっも得られる技法を提案する。既存の レ ート ・オ プテ ィマ ル方 法 より 効率 的で ある 。第8章 は 結諭 と今後の課題を述べる。

  本論 文で 開発した手法を設計に用いることで、高スループ ットDSPアルゴリズムの高 位レベル設計における有効性が示された。

    これを要するに、著者は新たな考え方に基づいた最適な高位レベル設計のアプローチを 提案し、その 有効性を実験で示したもので、並列処理工学ならびにVLSI設計工学上貢献 するところ大なるものがある。

    よ っ て 著 者 は 博 士 ( 工 学 ) の 学 位 を 授 与 さ れ る 資 格 あ る も の と 認 め る 。

‑ 585

参照

関連したドキュメント

In this paper we will examine self-accelerating in terms of convergence speed and the corresponding index of efficiency in the sense of Ostrowski - Traub of certain standard and

In this paper, taking into account pipelining and optimization, we improve throughput and e ffi ciency of the TRSA method, a parallel architecture solution for RSA security based on

The input specification of the process of generating db schema of one appli- cation system, supported by IIS*Case, is the union of sets of form types of a chosen application system

More precisely, suppose that we want to solve a certain optimization problem, for example, minimization of a convex function under constraints (for an approach which considers

(at least a proof can be reconstructed from it, after correcting a number of misprinted formulae). Other authors have subsequently given different proofs, see for instance [Kn1,

Abstract. In Section 1 we introduce Frobenius coordinates in the general setting that includes Hopf subalgebras. In Sections 2 and 3 we review briefly the theories of Frobenius

Adaptive image approximation by linear splines over locally optimal Delaunay triangulations.. IEEE Signal Processing Letters

Applications of msets in Logic Programming languages is found to over- come “computational inefficiency” inherent in otherwise situation, especially in solving a sweep of