| 講演名 | 1997/10/29 対称変数の検出による関数分解の高速化と多段論理合成への応用 澤田 宏, 山下 茂, 名古屋 彰, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 本稿では, 関数分解f(X)=g(h(X^B), X^F) の中でも特に, 変数集合X^BとX^Fが共通の変数を持たず, hが1出力関数であるsimple disjunctive decompositionの高速化について議論する. 具体的には, 検出する分解の形を, 1) 変数集合X^Bが対称変数集合である場合, 2) 分解後の関数gの入力数が2である場合, に絞り処理の高速化を図る. また, 積和形論理式の多段化にsimple disjunctive decompositionを用いることについても議論する. |
| 抄録(英) | Simple disjunctive decomposition is a special case of a functional decomposition f(X)=g(h(X^B), X^F), where variables are divided into two disjoint sets X^B and X^F, and h is a single-output function. This paper presents that simple disjunctive decompositions, 1) where X^B is a set of symmetric variables, and 2) where g is a 2-input function, can be easily found. We also discuss the application of simple disjunctive decompositions to multi-level logic synthesis. |
| キーワード(和) | 関数分解 / simple disjunctive decomposition / 対称変数 / 順序付き二分決定グラフ / 多段論理合成 |
| キーワード(英) | functional decomposition / simple disjunctive decomposition / symmetric variables / ordered binary decision diagram / multi-level logic synthesis |
| 資料番号 | CPSY97-84 |
| 発行日 |
| 研究会情報 | |
| 研究会 | CPSY |
|---|---|
| 開催期間 | 1997/10/29(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Computer Systems (CPSY) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 対称変数の検出による関数分解の高速化と多段論理合成への応用 |
| サブタイトル（和） | |
| タイトル（英） | Efficient Simple Disjunctive Decompositions by Detecting Symmetric Variables with Application to Multi-level Logic Synthesis |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 関数分解 / functional decomposition |
| キーワード(2)（和/英） | simple disjunctive decomposition / simple disjunctive decomposition |
| キーワード(3)（和/英） | 対称変数 / symmetric variables |
| キーワード(4)（和/英） | 順序付き二分決定グラフ / ordered binary decision diagram |
| キーワード(5)（和/英） | 多段論理合成 / multi-level logic synthesis |
| 第 1 著者 氏名（和/英） | 澤田 宏 / Hiroshi SAWADA |
| 第 1 著者 所属（和/英） | NTTコミュニケーション科学研究所 NTT Communication Science Laboratories |
| 第 2 著者 氏名（和/英） | 山下 茂 / Shigeru YAMASHITA |
| 第 2 著者 所属（和/英） | NTTコミュニケーション科学研究所 NTT Communication Science Laboratories |
| 第 3 著者 氏名（和/英） | 名古屋 彰 / Akira NAGOYA |
| 第 3 著者 所属（和/英） | NTTコミュニケーション科学研究所 NTT Communication Science Laboratories |
| 発表年月日 | 1997/10/29 |
| 資料番号 | CPSY97-84 |
| 巻番号（vol） | vol.97 |
| 号番号（no） | 347 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |