| 講演名 | 1998/12/10 高速な直交分解アルゴリズムと論理合成への応用 松永 裕介, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 本稿では, 論理関数の単純直交分解を求める効率の良いアルゴリズムについて述べる.BertaccoとDamianiは二分決定グラフを用いた効率の良いアルゴリズムを提案しているが, 彼らのアルゴリズムは不完全であり, 正しく直交分解を求めることが出来ない.本稿では彼らのアルゴリズムについて解析を行い, その問題点を指摘した上で, 正しく直交分解を求めることの出来る完全なアルゴリズムを提案する.このアルゴリズムは著者が以前, 提案した二項分解を求めるアルゴリズムを応用したもので, BertaccoとDamianiのアルゴリズムと同等かより高速に解を求めることができるものである. |
| 抄録(英) | Bertacco and Damiani proposed an efficient algorithm finding disjunctive decomposition using Binary Decision Diagrams. However, their algorithm is not complete and does not find all the decompositions. In this paper, we analyze the problem of Bertacco and Damiani's method, and propose an exact and efficient algorithm finding disjunctive decompositions. Experimental results show that our algorithm is comparable or more efficient than Bertacco and Damiani's algorithm and derives accurate decompositions. |
| キーワード(和) | 論理合成 / 関数分解 / 二分決定グラフ |
| キーワード(英) | logic synthesis / functional decomposition / binary decision diagrams |
| 資料番号 | VLD98-110,CPSY98-130 |
| 発行日 |
| 研究会情報 | |
| 研究会 | VLD |
|---|---|
| 開催期間 | 1998/12/10(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | VLSI Design Technologies (VLD) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 高速な直交分解アルゴリズムと論理合成への応用 |
| サブタイトル（和） | |
| タイトル（英） | An Efficient Disjunctive Decomposition Algorithm and Its Application to Logic Synthesis |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 論理合成 / logic synthesis |
| キーワード(2)（和/英） | 関数分解 / functional decomposition |
| キーワード(3)（和/英） | 二分決定グラフ / binary decision diagrams |
| 第 1 著者 氏名（和/英） | 松永 裕介 / Yusuke Matsunaga |
| 第 1 著者 所属（和/英） | (株)富士通研究所 Fujitsu Laboratories LTD. |
| 発表年月日 | 1998/12/10 |
| 資料番号 | VLD98-110,CPSY98-130 |
| 巻番号（vol） | vol.98 |
| 号番号（no） | 446 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |