| 講演名 | 2011-01-17 最大の可観測性ドントケア集合の抽出におけるCODCを用いた近似手法(VLSI設計技術,FPGA応用及び一般) 高田 大河, 松永 裕介, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 多段論理回路の論理最適化やソフトエラーに起因するパルスの伝搬解析において,可観測性ドントケア(ODC:Observability Don't Care)の集合が利用されることがある.効果的な論理最適化や正確なパルスの伝搬解析のためにはより大きなODCの集合が必要となるが,最大のODCの集合(MODC:the Maximum set of ODCs)の計算は回路規模の2乗に比例した手間がかかる.一方,ほぼ回路規模に比例した手間で計算できるMODCの部分集合として,両立可能な可観測性ドントケア・セットの集合(CODC : a set of Compatible sets of ODCs)がある.CODCは,論理ゲートの各入力に対して定められる優先順位に依存する.本稿では,回路規模に比例した手間で近似的なMODCを求める手法を提案する.本手法は,異なる優先順位のもとで複数のCODCを計算し,それらの和集合をMODCの近似とするものである.組合せ論理回路のソフトエラー率を求める実験において,近似的なMODCを用いて求めたソフトエラー率は厳密なソフトエラー率に対してわずか平均3.4%程度の過大見積もりであった.ただし,実行時間において提案手法には改善の必要がある. |
| 抄録(英) | Sets of observability don't cares (ODCs) can be employed for multi-level logic optimization or propagation analysis of pulses assumed to be caused by soft errors. Larger set of ODCs is required to maximize the space of logic optimization or analyze pulse propagations more accurately. However, computing the maximum set of ODCs (MODC) consumes linear time for the square of a circuit scale. On the other hand, a set of compatible sets of ODCs (CODC) is known as a set of subsets of MODC which can be calculated in linear time for a circuit scale. CODC depends on a priority order for nodes which is determined during CODC computation. This paper shows a method to compute an approximate MODC for each node in linear time for a circuit scale. The method calculates several CODCs with variant priority orders, and calculates the union of CODCs as an approximate MODC. In experiments to estimate soft error rate of combinational circuits, the estimated soft error rate based on the approximate MODCs is only 3.4% larger than the exact soft error rate. Some improvements, however, are required for the proposed method to run in short run-time. |
| キーワード(和) | 論理最適化 / ソフトエラー / SEU / ドントケア / CODC |
| キーワード(英) | Logic optimization / soft error / SEU / don't care / CODC |
| 資料番号 | VLD2010-91,CPSY2010-46,RECONF2010-60 |
| 発行日 |
| 研究会情報 | |
| 研究会 | RECONF |
|---|---|
| 開催期間 | 2011/1/10(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Reconfigurable Systems (RECONF) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 最大の可観測性ドントケア集合の抽出におけるCODCを用いた近似手法(VLSI設計技術,FPGA応用及び一般) |
| サブタイトル（和） | |
| タイトル（英） | A Heuristic Method using CODCs for Extraction of Maximum Observability Don't Care Set |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 論理最適化 / Logic optimization |
| キーワード(2)（和/英） | ソフトエラー / soft error |
| キーワード(3)（和/英） | SEU / SEU |
| キーワード(4)（和/英） | ドントケア / don't care |
| キーワード(5)（和/英） | CODC / CODC |
| 第 1 著者 氏名（和/英） | 高田 大河 / Taiga TAKATA |
| 第 1 著者 所属（和/英） | 九州大学大学院システム情報科学研究院 Faculty of Information Science and Electrical Engineering, Kyushu University |
| 第 2 著者 氏名（和/英） | 松永 裕介 / Yusuke MATSUNAGA |
| 第 2 著者 所属（和/英） | 九州大学大学院システム情報科学研究院 Faculty of Information Science and Electrical Engineering, Kyushu University |
| 発表年月日 | 2011-01-17 |
| 資料番号 | VLD2010-91,CPSY2010-46,RECONF2010-60 |
| 巻番号（vol） | vol.110 |
| 号番号（no） | 362 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |