論理設計誤りの自動修正手法(1) : 誤り追跡入力の生成法と性質
スポンサーリンク
概要
- 論文の詳細を見る
近年の論理回路の大規模化、複雑化に伴い、論理設計に要する時間の増大が問題となっている。論理設計の自動化は進んでいるが、部分的な変更及び変更後の検証が不可欠である。よって、QTAT(Quick Turn Around Time)を実現するためには、論理検証で設計誤りと判定された場合の、誤り追跡・修正の自動化が必要である。これまで提案されてきた誤り追跡手法は、誤り箇所の限定範囲が広く、修正を行なう場合に具体的な指針となりにくい点に問題がある。本稿では、「誤り追跡入力」と呼ぶ、誤りを顕在化し得る入力パターンの生成手法を提案し、その性質を述べる。この誤り追跡入力を用いることにより、誤りの具体的な修正方法をゲートレベルで設計者に提示することが可能となる。対象とする回路は、組合せ論理回路と単一クロックを用いた同期式順序回路である。これらはコーン回路に帰着できるので、以下ではコーン回路のみを扱う。論理設計誤りは実際に設計した回路(以後、実回路)を修正して機能記述を満たす回路(以後、理想回路)を設計する場合に、理想回路と実回路との差異として定義できる。ある特定の機能に対して、それを満たす回路は一意的には定まらないので、論理設計誤りも一意的には定まらい。論理設計誤りは、表1に示す単純な論理設計誤りの組合せで表現可能である。
- 社団法人情報処理学会の論文
- 1990-09-04
著者
-
冨田 昌宏
神戸大学大学院工学研究科電気電子工学専攻
-
林 喜弘
東京大学工学部
-
山本 保
東京大学工学部精密機械工学科
-
冨田 昌宏
神戸大学大学院工学研究科
-
蒋 洪海
東京大学工学部精密機械工学科
-
林 喜弘
東京大学:工学部
関連論文
- 低電圧ディジタル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イコライザの面積削減(演算回路・ばらつきの測定,システム設計及び一般)
- ADLによる並列処理プロセッサ設計支援手法
- 汎用エンジン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コーデックに関する一検討