| 講演名 | 1997/10/29 回路パターンによる回路変換を併用したトランスダクション法 熊沢 雅之, 澤田 直, 上林 彌彦, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | トランスダクションは、許容関数を用いて回路変換を行なう手法である。トランスダクション法は、初期回路の形状や回路変形の適用順序によっては、最適な解を発見するより前にそれ以上処理を行えなくなってしまうことがある。この状態を局所解と呼ぶ。本稿では局所解脱出の1手法として、パターンに基づく回路変換を併用することにより局所解から抜け出す方法について検討する。この手法においては、回路形状によって適したパターンが異ることが知られている。そこで我々は、回路変換時にその時点での回路形状に適したパターンを選択して適用する手法を提案する。パターン発見は一般にグラフの同型判定と同様に困難な問題になるが、個々では比較的発見の容易なパターンに絞っている。また、ファンインの直列分割を用いたトランスダクション法の手続きを変更して上記手法との併用を行う。本手法をベンチマーク回路に適用した結果、このような単純なパターンによる回路変換が十分有効であることが示された。 |
| 抄録(英) | The Transduction Method transforms a network based on the concept of the Permisible Function. This method transforms an initial network repeatedly and sometimes falls into local minimum deponding on the initial network and order of transformation application. In this paper we mention a method to escape from local minimum by using some pattern-based transformations. In this method, the most effective pattern depends on the shape of a network. We sclect and use a patternsuitable for the shape of a network among three ones when we execute pattern-oriented transformations. Next, we improve the procedure of the Transduction Method with the serial duplication of fan-in and use our method together. The results of experiments for bench mark circuits shows that the effectiveness of pattern-based transformations although we selected simple patterns which can be easily detected. |
| キーワード(和) | 論理設計 / 論理最適化 / トランスダクション法 |
| キーワード(英) | logic synthesis / losic cptimization / Transduction Method |
| 資料番号 | CPSY97-83 |
| 発行日 |
| 研究会情報 | |
| 研究会 | CPSY |
|---|---|
| 開催期間 | 1997/10/29(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Computer Systems (CPSY) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 回路パターンによる回路変換を併用したトランスダクション法 |
| サブタイトル（和） | |
| タイトル（英） | Transduction Method with Pattern-based Transformations |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 論理設計 / logic synthesis |
| キーワード(2)（和/英） | 論理最適化 / losic cptimization |
| キーワード(3)（和/英） | トランスダクション法 / Transduction Method |
| 第 1 著者 氏名（和/英） | 熊沢 雅之 / M. Kumazawa |
| 第 1 著者 所属（和/英） | 京都大学大学院工学研究科 Department of Information Science, Graduate School of Engineering, Kyoto University |
| 第 2 著者 氏名（和/英） | 澤田 直 / S. Sawada |
| 第 2 著者 所属（和/英） | 九州大学大学院システム情報科学研究科情報工学専攻 Department of Computer Science and Communication Engineering, Kyushu University |
| 第 3 著者 氏名（和/英） | 上林 彌彦 / Y. Kambayashi |
| 第 3 著者 所属（和/英） | 京都大学大学院工学研究科 Department of Information Science, Graduate School of Engineering, Kyoto University |
| 発表年月日 | 1997/10/29 |
| 資料番号 | CPSY97-83 |
| 巻番号（vol） | vol.97 |
| 号番号（no） | 347 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |