信号線誤りに対応したLUT論理診断手法
スポンサーリンク
概要
- 論文の詳細を見る
LUT(Look-Up Table)で表現された組合せ回路に含まれる設計誤りの修正に関して,新たに信号線誤りの修正を可能とする論理診断手法を提案する.信号線誤りは,信号線過剰誤りと信号線欠落誤りに分類される.これらのうち,信号線過剰誤りはLUT機能誤りの修正問題に帰着することにより修正法を求めることが可能である.一方で,信号線欠落誤りの修正は,信号線欠落が発生している誤り箇所に対して接続すべき信号線を求めるとともに,LUT内部の機能をも正しく決定する必要がある.このとき,決定されたLUT機能によって欠落信号線が満たすべき条件が変化するため,あらゆるLUT機能割当てに対して条件を求める必要があるという点で,信号線欠落誤りの修正は困難であった.本手法では,外部入力変数とLUT内部論理を表現する真理値変数のプール関係に対応する特徴関数をもとに,欠落信号線の満たすべき条件を表現する.特徴関数を用いることで,あらゆる修正法に対する条件を非明示的に表現できるため,存在するすべての解を求めることが可能となる.
- 一般社団法人情報処理学会の論文
- 2003-05-15
著者
-
黒木 修隆
神戸大学大学院工学研究科
-
黒木 修隆
神戸大学工学研究科
-
沼 昌宏
神戸大学工学研究科
-
山本 啓輔
神戸大学連携創造本部
-
山本 啓輔
神戸大学工学部
-
井上 宏
神戸大学工学部:日本学術振興会特別研究員
関連論文
- 低電圧ディジタルLSIのためのレベルコンバータ回路(アナログ,アナデジ混載,RF及びセンサインタフェース回路)
- 極低電力サブスレッショルド・ディジタル回路のオンチップ遅延バラツキ補正技術(アナログ,アナデジ混載,RF及びセンサインタフェース回路)
- A-1-38 軽負荷動作時の逆流電流損失を改善した同期整流型DC-DCコンバータ(A-1.回路とシステム,一般セッション)
- A-1-39 サブスレッショルドCMOS LSIに向けたスイッチトキャパシタ型DC-DCコンバータ(A-1.回路とシステム,一般セッション)
- A-1-40 MOSFETのキャリア移動度温度特性を利用した基準電流源回路(A-1.回路とシステム,一般セッション)
- A-1-41 MOSトランジスタのしきい値電圧差を利用した参照電圧源回路(A-1.回路とシステム,一般セッション)
- A-1-42 電源電圧制御によるサブスレッショルド・ディジタル回路のプロセスバラツキ補正技術(A-1.回路とシステム,一般セッション)
- 野球中継番組におけるテロップ情報を用いたダイジェスト映像自動生成(メディア処理とバイオメトリクス及び一般)
- I-091 Total Variationに基づく画像雑音除去の高速化手法(グラフィクス・画像,一般論文)
- I-026 赤外線サーモグラフィのための超解像手法(グラフィクス・画像,一般論文)