論理設計誤りの追跡と修正の自動化
スポンサーリンク
概要
- 論文の詳細を見る
論理回路の論理設計段階において,種々の設計自動化が行われているが,完全な自動設計は極めて困難であり,部分的な変更および変更後の検証が不可欠である.よって,QTAT(Qick Turn Around Time)を実現するためには,論理検証で設計誤りと判定された場合の,誤り追跡・修正の自動化が必要である.現在提案されている誤り追跡手法では限定範囲が広く,修正の具体的指針となりにくい.そこで本論文では,誤りを顕在化し得る入力パターンに着目し,ゲートレベルの設計誤りに対する追跡と修正の自動化手法を提案する.組合せ回路や単一クロックを用いた同期式順序回路において,ゲート機能の誤りや信号線欠落などのゲートレベルの設計誤りが単一に存在する場合を対象とする.本手法は,ある入力パターンに対する設計回路の出力が機能記述と一致しない場合に,その入力パターンとハミング距離が1で,かつ回路出力が機能記述と一致する別の入力パターンを発見し,外部出力まで伝搬すべき外部入力を特定する特定された外部入力のみをブール変数に置換した入力パターンを用い,伝搬が停止したゲートから後方追跡を行う.回路出力が機能記述と一致しない複数の入力パターンについての追跡結果から,誤り箇所の特定と修正法の提示を行.ISCASベンチマーク回路に論理設計誤りを仮定した回路に対して,本手法を適用した結果,すべての例で誤りの追跡と修正法の提示が可能となった.
- 社団法人情報処理学会の論文
- 1991-04-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分野:生体情報科学)
- 相関演算結果を用いた8-VSBイコライザの面積削減(演算回路・ばらつきの測定,システム設計及び一般)
- 汎用エンジンRM-Iの論理診断への応用
- 論理設計誤りの追跡と修正の自動化
- 多重論理設計誤りの自動追跡手法
- 基本機能に着目した論理検証カバレッジの一尺度
- 論理設計誤りの自動修正手法(2) : 単一誤りに対する追跡と修正
- 論理設計誤りの自動修正手法(1) : 誤り追跡入力の生成法と性質
- C-12-64 デューティ制御回路を用いたスイッチトキャパシタ型DC-DCコンバータ(C-12.集積回路,一般セッション)
- 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.集積回路,一般セッション)
- 回路構造を考慮した修正箇所候補抽出に基づく論理診断手法
- ハイブリッド型CMOS論理構成の4-2加算器による乗算器のグリッチ削減
- C-12-24 書き込み安定性を向上させたサブスレッショルドSRAM(ばらつき補償・次世代回路,C-12.集積回路,一般セッション)
- C-12-19 TFFを用いた相補構成スイッチトキャパシタ型DC-DCコンバータ(電源回路・ノイズ対策,C-12.集積回路,一般セッション)
- 低電圧ディジタルLSIのためのレベルコンバータ回路(アナログ,アナデジ混載,RF及びセンサインタフェース回路)
- Movie Industry System Based on B-ISDN and Its Economics
- I-026 ウェーブレット係数の主成分分析を用いた学習型超解像(I分野:グラフィクス・画像,一般論文)
- I-068 局所ヒストグラムの時間変動に着目したディゾルブ検出(I分野:グラフィクス・画像,一般論文)
- 情報エントロピーに基づく野球中継番組のダイジェスト自動生成
- 汎用エンジン RM-II の構成
- 汎用エンジンの性能評価法に関する一検討
- 汎用エンジンを対象とするメモリ割付け
- 書換え可能なFPGAを用いた汎用エンジンRM-II
- 汎用エンジンRM-Iによる論理シミュレーション
- 汎用エンジンRM-Iの開発
- 1チップ・シミュレーションエンジン : TASSEII
- 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及びセンサインタフェース回路)
- カラー画像に対応した画質評価手法VSNRC
- 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-004 野球中継映像におけるスコアテロップのレイアウト認識(映像解析・照明,H分野:画像認識・メディア理解)
- B-004 ウェーブレット変換に基づく学習型超解像のGPUによる高速化手法(並列処理,B分野:ソフトウェア)
- I-011 階層的超解像による電子ズームの構成方法(画像復元・超解像,I分野:グラフィクス・画像)
- H-029 組合せ最適化アルゴリズムに基づくオブジェクトとラベルのレイアウト認識(文字認識・物体認識,H分野:画像認識・メディア理解)
- I-005 Bag-of-Visual Words表現を用いた放送映像中の類似シーン検出(画像特徴・検出,I分野:グラフィクス・画像)
- カラー画像の主観的品質とSSIMの関係について(ヒューマンインタフェースとIMQ一般)
- 超解像を用いたJPEGコーデックに関する一検討(画像符号化,通信・ストリーム技術,一般)
- 超解像を用いたJPEGコーデックに関する一検討