信号線誤りに対応した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 赤外線サーモグラフィのための超解像手法(グラフィクス・画像,一般論文)
- H-018 野球中継番組におけるダイジェスト映像自動生成(画像認識・メディア理解,一般論文)
- I-040 ルームミラー装着式車内カメラの自動キャリブレーションと運転者の頭部位置推定(I分野:グラフィクス・画像)
- H-077 クローズドキャプションを用いた野球映像インデキシング(H分野:画像認識・メディア理解)
- H-076 クローズドキャプションを用いたニュース番組におけるトピック分割手法(H分野:画像認識・メディア理解)
- 演算量を抑えたOFDM移動受信のためのICI除去(信号処理,スペクトル拡散,及び一般)
- 生成符号量に着目したMPEGストリーム中における重複シーンの検出
- K_040 赤外線ポインタと画像処理によるプレゼンテーション支援システム(K分野:ヒューマンコミュニケーション&インタラクション)
- J_047 視覚特性を考慮した誤差拡散法によるディスプレイの高階調化(J分野:グラフィクス・画像)
- H_026 医療用液晶ディスプレイのための3倍密度誤差拡散法とその拡散係数の改善(H分野:生体情報科学)
- P-34 神戸大学電気電子工学科における導入教育((23)リメディアル教育(補習教育)・導入教育,ポスター発表論文)
- CMOS/パス・トランジスタ混在論理の合成とレイアウト(システムLSIの設計技術と設計自動化)
- テレビ視聴者の選局行動に基づく番組嗜好度の推定
- C-12-64 デューティ制御回路を用いたスイッチトキャパシタ型DC-DCコンバータ(C-12.集積回路,一般セッション)
- CMOS/パス・トランジスタ論理の混在による低消費電力回路の合成
- C-12-20 PVTバラツキ耐性を有する基準クロック発振回路(C-12.集積回路,一般セッション)
- C-12-40 Source-Coupled Logic回路を用いたサブスレッショルドSRAMセルの検討(C-12.集積回路,一般セッション)
- C-12-63 サブスレッショルドCMOSディジタル回路の遅延バラツキ補正アーキテクチャの評価(C-12.集積回路,一般セッション)
- C-12-65 低電圧サブスレッショルドLSIに向けたリニア・レギュレータ回路(C-12.集積回路,一般セッション)
- C-12-44 適応バイアス技術を用いた極低消費電流コンパレータ(C-12.集積回路,一般セッション)
- 汎用エンジンRM-Vとその応用
- 汎用エンジンRM-Vとその応用
- 汎用エンジンRM-Vとその応用
- 回路構造を考慮した修正箇所候補抽出に基づく論理診断手法
- ハイブリッド型CMOS論理構成の4-2加算器による乗算器のグリッチ削減
- 帯域間予測を用いた階層的ブラインドデコンボリューション
- C-12-24 書き込み安定性を向上させたサブスレッショルドSRAM(ばらつき補償・次世代回路,C-12.集積回路,一般セッション)
- C-12-19 TFFを用いた相補構成スイッチトキャパシタ型DC-DCコンバータ(電源回路・ノイズ対策,C-12.集積回路,一般セッション)
- 低電圧ディジタルLSIのためのレベルコンバータ回路(アナログ,アナデジ混載,RF及びセンサインタフェース回路)
- 汎用エンジンRM-Vを対象とする高位合成システム
- 汎用エンジンRM-Vを対象とする高位合成システム
- 汎用エンジンRM-Vを対象とする高位合成システム
- 演算量を抑えたOFDM移動受信のためのICI除去(信号処理,スペクトル拡散,及び一般)
- 帯域間予測を用いたハール・ウェーブレット変換と画像符号化への応用
- I-026 ウェーブレット係数の主成分分析を用いた学習型超解像(I分野:グラフィクス・画像,一般論文)
- I-068 局所ヒストグラムの時間変動に着目したディゾルブ検出(I分野:グラフィクス・画像,一般論文)
- 近赤外線パルス照明とステレオカメラを用いた運転手の頭部追跡手法(交通における計測・一般(電気系3学会ITS合同研究会))
- 近赤外線パルス照明とステレオカメラを用いた運転手の頭部追跡手法(交通における計測, 一般(電気系3学会ITS合同研究会))
- 車内環境における頭部追跡を目的とした赤外線マルチカメラシステムの開発(ITS画像技術, ITS技術論文)
- 近赤外線パルス照明とステレオカメラを用いた運転手の頭部追跡手法 (交通における計測,一般(電気系3学会ITS合同研究会))
- 信号線誤りに対応したLUT論理診断手法
- 近接順位に基づくインデックスカラー画像の予測符号化
- C-9-3 ディジタル・ディスプレイにおける誤差拡散法の一評価方法
- C-9-2 ディジタル・ディスプレイにおけるサブフィールド法の一評価方法
- C-9-1 ディジタル・ディスプレイにおける発光パターン解析のためのフーリエ変換
- 帯域別動き補償を用いた動画像符号化とそのハードウェアによる実現
- 帯域別動き補償を用いた動画像符号化とそのハードウェアによる実現
- 真理値シミュレーションに基づくLUT論理診断手法(システムLSIの設計技術と設計自動化)
- 誤り追跡入力と論理関数処理を併用したFPGA対応論診断手法
- 256色モードにおけるMPEG再生のための高速ディザ処理
- 誤り追跡入力と論理関数処理を併用したFPGA対応論理診断手法
- 誤り追跡入力と論理関数処理を併用したFPGA対応論理診断手法
- 修正可能な設計誤りの多重度を向上させた論理診断手法(電子システムの設計技術と設計自動化)
- サブバンドDCTに基づく画像伝送
- コンピュータ通信による教育研究支援システム
- 汎用エンジンと論理診断への応用
- 極低電力サブスレッショルド・ディジタル回路のオンチップ遅延バラツキ補正技術(アナログ,アナデジ混載,RF及びセンサインタフェース回路)
- 情報エントロピーに基づく野球中継番組のダイジェスト自動生成
- A-1-3 極低消費電力バンドギャップリファレンス回路の高精度化(A-1.回路とシステム,一般セッション)
- C-12-63 ナノアンペア電流源回路の電流バラツキ補正(C-12.集積回路,一般セッション)
- A-1-2 サブスレッショルドLSIに適したオンチップ電源回路の検討(A-1.回路とシステム,一般セッション)
- C-12-34 超低電力CMOSスマート温度センサ回路(C-12.集積回路,一般セッション)
- C-12-61 サブスレッショルド・ディジタルLSIに向けた遅延制御回路技術(C-12.集積回路,一般セッション)
- A-1-4 超低電圧SRAM用センスアンプ回路のプリチャージ動作の高速化(A-1.回路とシステム,一般セッション)
- A-1-1 熱電変換素子を用いた電力変換インターフェース回路(A-1.回路とシステム,一般セッション)
- クロス形状フラクタルを用いた画像の高解像度化(研究速報)
- 超低電圧ディジタル回路に向けた入出力論理補正レベルシフタ回路 (情報センシング)
- 超低電圧ディジタル回路に向けた入出力論理補正レベルシフタ回路 (集積回路)
- C-12-51 超低電力CMOS温度センサ回路の評価(センサ、電源回路、デジタル,C-12.集積回路,一般セッション)
- C-12-6 コンパレータのバラツキ補正回路を用いた弛張発振回路(アナログ要素回路,C-12.集積回路,一般セッション)
- 基板バイアス制御を用いた超低電圧センスアンプ回路の高速化(アナログ,アナデジ混載,RF及びセンサインタフェース回路)
- 超低電圧ディジタル回路に向けた入出力論理補正レベルシフタ回路(アナログ,アナデジ混載,RF及びセンサインタフェース回路)
- C-12-42 超低電力オペアンプの高速化技術(C-12.集積回路,一般セッション)
- C-12-54 準連続モードで動作するデジタル制御昇圧回路(C-12.集積回路,一般セッション)
- C-12-53 適応バイアス型コンパレータを用いたSC型DC-DCコンバータ(C-12.集積回路,一般セッション)
- A-1-20 逆流電流削減による差動型整流回路の変換効率改善(A-1.回路とシステム,一般セッション)
- C-12-49 超低電圧ダイナミックコンパレータ回路のオフセットキャリブレーション手法の検討(C-12.集積回路,一般セッション)
- C-12-52 低電圧カレントミラー回路を用いた高精度ナノアンペア電流源(C-12.集積回路,一般セッション)
- A-1-45 高分解能SAR ADCに向けた容量DACの面積削減の検討(A-1.回路とシステム,一般セッション)
- A-1-19 光エネルギー・ハーベスティングに向けたチャージポンプ回路の負荷電流特性改善(A-1.回路とシステム,一般セッション)
- カラー画像の品質評価に関する検討(一般セッション,人の視聴覚情報処理とPRMUの接点)
- カラー画像の品質評価に関する検討(一般セッション,人の視聴覚情報処理とPRMUの接点)
- 学習型超解像のための二分木辞書(研究速報)
- C-12-24 PVTバラツキ耐性を持つシングルスロープADコンバータ(ADC・DAC,C-12. 集積回路,一般セッション)
- C-12-17 コンパレータのバラツキ補正技術を用いた弛張発振回路の評価(アナログ回路枝術,C-12. 集積回路,一般セッション)
- C-12-23 超低電圧ダイナミックコンパレータのためのオフセット電圧補正回路の高精度化(ADC・DAC,C-12. 集積回路,一般セッション)
- C-12-18 適応バイアス技術を用いた超低電力CMOSオペアンプの評価(アナログ回路枝術,C-12. 集積回路,一般セッション)
- B-005 マルチモーダル入力に対応した重み付き多数決による識別器のGPUによる高速化(並列処理,B分野:ソフトウェア)
- H-010 マルチモーダル入力に対応した重み付き多数決による識別器(一般物体認識,H分野:画像認識・メディア理解)
- H-004 野球中継映像におけるスコアテロップのレイアウト認識(映像解析・照明,H分野:画像認識・メディア理解)
- B-004 ウェーブレット変換に基づく学習型超解像のGPUによる高速化手法(並列処理,B分野:ソフトウェア)