| 講演名 | 2012-07-02 効率的な間接含意の計算アルゴリズムについて(システムと信号処理及び一般) 松永 裕介, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 本稿では,論理回路の2つの信号線間に成り立つ含意関係のうち,直接的な操作では求めることのできない間接含意を効率よく求めるアルゴリズムについて述べる.本アルゴリズムは個々の信号線の値を0または1に決定する原因となる値の割り当てリストを推移的に計算することによって高速に多くの間接含意を求めるものである.また,比較のためにSAT(充足可能性判定問題)ソルバを用いて全ての間接含意を列挙する実験を行い,提案アルゴリズムの効率性と効果を確認した. |
| 抄録(英) | This paper describes an efficient algorithm for computing indirect implications on logic circuit, which are not directly derived from circuit structure. The proposed algorithm utilizes "The cause list" having value assignments which make the target signal to get fixed. The cause list can be derived transitively through the circuit structure, and does not need any functional manipulations. So, this algorithm efficiently computes many indirect implications. As for the comparison, the exact algorithm computing all the indirect implications using SAT solver is also introduced. The experimental results show that the proposed algorithm's efficiency and effectiveness. |
| キーワード(和) | 論理回路 / ATPG / 論理検証 / 間接含意 |
| キーワード(英) | logic circuits / ATPG / logic verification / indirect implication |
| 資料番号 | CAS2012-12,VLD2012-22,SIP2012-44,MSS2012-12 |
| 発行日 |
| 研究会情報 | |
| 研究会 | SIP |
|---|---|
| 開催期間 | 2012/6/25(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Signal Processing (SIP) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 効率的な間接含意の計算アルゴリズムについて(システムと信号処理及び一般) |
| サブタイトル（和） | |
| タイトル（英） | On efficiently computing of indirect implications |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 論理回路 / logic circuits |
| キーワード(2)（和/英） | ATPG / ATPG |
| キーワード(3)（和/英） | 論理検証 / logic verification |
| キーワード(4)（和/英） | 間接含意 / indirect implication |
| 第 1 著者 氏名（和/英） | 松永 裕介 / Yusuke MATSUNAGA |
| 第 1 著者 所属（和/英） | 九州大学大学院システム情報科学研究院 Faculty of Information Science and Electorical Engineering, Kyushu University |
| 発表年月日 | 2012-07-02 |
| 資料番号 | CAS2012-12,VLD2012-22,SIP2012-44,MSS2012-12 |
| 巻番号（vol） | vol.112 |
| 号番号（no） | 115 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |