| 大会名称 |
|---|
| 2018年 情報科学技術フォーラム(FIT) |
| 大会コ－ド |
| F |
| 開催年 |
| 2018 |
| 発行日 |
| 2018-09-12 |
| セッション番号 |
| 6c |
| セッション名 |
| システムとLSIの設計技術 |
| 講演日 |
| 2018/09/21 |
| 講演場所(会議室等) |
| C棟C34 |
| 講演番号 |
| C-019 |
| タイトル |
| 誤り追跡入力の追加生成に基づく論理診断処理の効率化 |
| 著者名 |
| 大村祥吾, 竹崎彩乃, 廣瀬哲也, 黒木修隆, 沼 昌宏, |
| キーワード |
| 論理診断, 自動修正, 設計変更, 誤り追跡入力 |
| 抄録 |
| 論理回路に含まれる設計誤りの自動修正を実現する論理診断手法に関して，修正箇所の組合せ（組合せ箇所）を抽出する処理の効率化による処理時間短縮を目的として，誤り追跡入力の追加生成に基づく手法を提案する。機能仕様と一致しない外部出力に対する各箇所の可制御性を表すEPI (Error Possibility Index) の値が高い箇所にブール変数Xが伝播せず，他の箇所を活性化する誤り追跡入力を追加生成することで平均化処理後のEPI値を低減し，抽出される組合せ箇所数削減と処理時間の短縮を図る。提案手法を実装・評価した結果，長時間を要していた回路例に対して処理時間が約80% 短縮される効果を確認した。 |
| 本文pdf |
| PDF download (205.5KB) |