| 講演名 | 1993/12/16 2分決定グラフの構造に着目したブーリアン・マッチング処理について 松永 裕介, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 2分決定グラフの部分グラフの構造比較を用いて探索空間を狭める枝刈り手法にもとづくブーリアン・マッチングのアルゴリズムについて述べる。既存の枝刈り手法と組み合わせることで高速な処理を行なうことが可能となっている。また、テクノロジ・マッピングの中で用いる際には、マッピングを行なうセルの機能とはマッチしない部分回路をその構造から判定することにより、無駄なブーリアン・マッチングの回数を削減している。 |
| 抄録(英) | The paper describes a new algorithm for Boolean matching,which is based on BDD structure manipulation.Pruning takes place after partial assignments if subgraphs of two BDD′s become inequivalent. Another contribution of the paper is efficient filtering of cluster functions.The topological filter omit clusters which has no hope to be matched so that the calculation of such culster functions are avoided. |
| キーワード(和) | ブーリアン・マッチング / 2分決定グラフ / テクノロジ・マッピング |
| キーワード(英) | Boolean matching / binary decision diagram / technology mapping |
| 資料番号 | VLD93-81 |
| 発行日 |
| 研究会情報 | |
| 研究会 | VLD |
|---|---|
| 開催期間 | 1993/12/16(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | VLSI Design Technologies (VLD) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 2分決定グラフの構造に着目したブーリアン・マッチング処理について |
| サブタイトル（和） | |
| タイトル（英） | An algorithm for Boolean matching utilizing structural information |
| サブタイトル（和） | |
| キーワード(1)（和/英） | ブーリアン・マッチング / Boolean matching |
| キーワード(2)（和/英） | 2分決定グラフ / binary decision diagram |
| キーワード(3)（和/英） | テクノロジ・マッピング / technology mapping |
| 第 1 著者 氏名（和/英） | 松永 裕介 / Yusuke Matsunaga |
| 第 1 著者 所属（和/英） | 富士通研究所 Fujitsu Laboratories |
| 発表年月日 | 1993/12/16 |
| 資料番号 | VLD93-81 |
| 巻番号（vol） | vol.93 |
| 号番号（no） | 391 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |