信号線誤りに対応したLUT論理診断手法

• Item type: Journal(1)
• 公開日: 2003-05-15
• タイトル: 信号線誤りに対応したLUT論理診断手法
• タイトル / 言語: en
• タイトル: An LUT-based Multiple Error Diagnosis Technique Extended for Single Line Errors
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 特集：システムLSIの設計技術と設計自動化
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• その他タイトル / その他のタイトル: 高位/論理合成
• 著者所属: 神戸大学工学部／日本学術振興会特別研究員
• 著者所属: 神戸大学工学部
• 著者所属: 神戸大学工学部
• 著者所属: 神戸大学工学部
• 著者所属(英): en
• 著者所属(英): Faculty of Engineering, Kobe University/Research Fellow of the Japan Society for the Promotion of Science
• 著者所属(英): en
• 著者所属(英): Faculty of Engineering, Kobe University
• 著者所属(英): en
• 著者所属(英): Faculty of Engineering, Kobe University
• 著者所属(英): en
• 著者所属(英): Faculty of Engineering, Kobe University
• 著者名: 井上, 宏; 黒木, 修隆; 沼, 昌宏; 山本, 啓輔
• 著者名(英): Hiroshi, Inoue; Nobutaka, Kuroki; Masahiro, Numa; Keisuke, Yamamoto
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: LUT（Look-Up Table）で表現された組合せ回路に含まれる設計誤りの修正に関して，新たに信号線誤りの修正を可能とする論理診断手法を提案する．信号線誤りは，信号線過剰誤りと信号線欠落誤りに分類される．これらのうち，信号線過剰誤りはLUT機能誤りの修正問題に帰着することにより修正法を求めることが可能である．一方で，信号線欠落誤りの修正は，信号線欠落が発生している誤り箇所に対して接続すべき信号線を求めるとともに，LUT内部の機能をも正しく決定する必要がある．このとき，決定されたLUT機能によって欠落信号線が満たすべき条件が変化するため，あらゆるLUT機能割当てに対して条件を求める必要があるという点で，信号線欠落誤りの修正は困難であった．本手法では，外部入力変数とLUT内部論理を表現する真理値変数のブール関係に対応する特徴関数をもとに，欠落信号線の満たすべき条件を表現する．特徴関数を用いることで，あらゆる修正法に対する条件を非明示的に表現できるため，存在するすべての解を求めることが可能となる．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: This paper presents an approach to rectify multiple logic design errors including single line errors in LUT-based combinational circuits.Single line errors are classified into missing-line errors and extra-line errors.Although the conventional technique called EXLTV is able to rectify extra-line errors only by correcting LUT contents,but is not applicable to missing-line errors.Rectification of missing-line errors requires both correcting LUT contents and finding a line to be connected to the LUT.Since the condition to be satisfied with the missing-line depends on the LUT contents at the error location,rectification of missing lines is very difficult.The proposed algorithm introduces the condition derived from the characteristic function to represent Boolean relation among the primary input variables and the truth variables assigned to each entry of LUT.Since the characteristic function implicitly represents the condition for any possible assignment of truth variables, every solution is obtained.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN00116647
• 書誌情報: 情報処理学会論文誌; 巻 44, 号 5, p. 1216-1224, 発行日 2003-05-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7764