ゲート素子の過剰/欠落に対応する論理診断手法
スポンサーリンク
概要
- 論文の詳細を見る
論理回路の大規模化,複雑化に伴い,論理回路の自動設計が必要不可欠となっている。しかし,回路規模や性能に対する要求が厳しい場合は,人手設計に頼らざるを得ない。人手の加わった部分については,論理検証が不可欠であり,誤りの存在が確認された際の誤り追跡・修正の自動化が求められる。そこで本稿では,論理診断手法としてすでに提案されている拡張X-伝搬法において,その処理の煩雑さから従来対応していなかったゲート素子の過剰と欠落の二つの誤りに対応する手法を提案する。網羅的な処理を可能な限り回避しながら,検出率の向上を目指した。
- 一般社団法人情報処理学会の論文
- 1996-09-04
著者
関連論文
- 低電圧ディジタルLSIのためのレベルコンバータ回路(アナログ,アナデジ混載,RF及びセンサインタフェース回路)
- 極低電力サブスレッショルド・ディジタル回路のオンチップ遅延バラツキ補正技術(アナログ,アナデジ混載,RF及びセンサインタフェース回路)
- A-1-42 電源電圧制御によるサブスレッショルド・ディジタル回路のプロセスバラツキ補正技術(A-1.回路とシステム,一般セッション)
- I-091 Total Variationに基づく画像雑音除去の高速化手法(グラフィクス・画像,一般論文)
- I-026 赤外線サーモグラフィのための超解像手法(グラフィクス・画像,一般論文)
- H-018 野球中継番組におけるダイジェスト映像自動生成(画像認識・メディア理解,一般論文)
- I-040 ルームミラー装着式車内カメラの自動キャリブレーションと運転者の頭部位置推定(I分野:グラフィクス・画像)
- H-077 クローズドキャプションを用いた野球映像インデキシング(H分野:画像認識・メディア理解)
- H-076 クローズドキャプションを用いたニュース番組におけるトピック分割手法(H分野:画像認識・メディア理解)
- 演算量を抑えたOFDM移動受信のためのICI除去(信号処理,スペクトル拡散,及び一般)
- CMOS/パス・トランジスタ混在論理の合成とレイアウト(システムLSIの設計技術と設計自動化)
- C-12-64 デューティ制御回路を用いたスイッチトキャパシタ型DC-DCコンバータ(C-12.集積回路,一般セッション)
- CMOS/パス・トランジスタ論理の混在による低消費電力回路の合成
- C-12-40 Source-Coupled Logic回路を用いたサブスレッショルドSRAMセルの検討(C-12.集積回路,一般セッション)
- C-12-63 サブスレッショルドCMOSディジタル回路の遅延バラツキ補正アーキテクチャの評価(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を対象とする高位合成システム
- 汎用エンジンを対象とするアプリケーション設計の自動化
- Design of Digital Fan Filter
- 演算量を抑えたOFDM移動受信のためのICI除去(信号処理,スペクトル拡散,及び一般)
- Movie Industry System Based on B-ISDN and Its Economics
- BDD分割を用いたパス・トランジスタ論理の合成 (電子システムの設計技術と設計自動化)
- 帯域間予測を用いたハール・ウェーブレット変換と画像符号化への応用
- I-026 ウェーブレット係数の主成分分析を用いた学習型超解像(I分野:グラフィクス・画像,一般論文)
- I-068 局所ヒストグラムの時間変動に着目したディゾルブ検出(I分野:グラフィクス・画像,一般論文)
- 汎用エンジンRM-IVのブラインド・デコンボリューションへの応用
- 汎用エンジンRM-IVの構成
- 256色モードにおけるMPEG再生のための高速ディザ処理
- 誤り追跡入力と論理関数処理を併用したFPGA対応論理診断手法
- 誤り追跡入力と論理関数処理を併用したFPGA対応論理診断手法
- サブバンドDCTに基づく画像伝送
- コンピュータ通信による教育研究支援システム
- 汎用エンジンと論理診断への応用
- 電荷再利用型動的ボディ電位制御によるSOI-CMOSの高速化手法(回路技術(一般, 超高速・低電力・高機能を目指した新アーキテクチャ))
- PD-SOIの動的ボディ・バイアス制御を利用したブートストラップ型パス・トランジスタ方式(回路技術(一般, 超高速・低電力・高機能を目指した新アーキテクチャ))
- π/4シフトQPSKにおける2-ダイポール分散アンテナのBER特性
- π/4シフトQPSKにおける2-ダイポール分散アンテナのBER特性
- 2線式分散アンテナを用いたPHSの通信実験
- 2線式分散アンテナを用いたPHSの通信実験
- 2線式分散アンテナを用いたPHSの通信実験
- 極低電力サブスレッショルド・ディジタル回路のオンチップ遅延バラツキ補正技術(アナログ,アナデジ混載,RF及びセンサインタフェース回路)
- 汎用エンジン RM-II の構成
- 書換え可能なFPGAを用いた汎用エンジンRM-II
- Efficient Piecewise-Linear Method for Analyzing Nonlinear Resistive Networks
- ゲート素子の過剰/欠落に対応する論理診断手法
- 配線変更可能な汎用エンジンRM-III
- N-PATH DIGITAL FILTERS
- Design of Maximally-Flat Recursive Digital Filters via Potential Analogy
- Novel Approach to Design of Digital Signal Processors
- C-12-63 ナノアンペア電流源回路の電流バラツキ補正(C-12.集積回路,一般セッション)
- C-12-34 超低電力CMOSスマート温度センサ回路(C-12.集積回路,一般セッション)
- C-12-61 サブスレッショルド・ディジタルLSIに向けた遅延制御回路技術(C-12.集積回路,一般セッション)
- ベクトルペア解析を用いた論理設計誤りの診断について
- ALGORITHM TO TRANSFORM IMAGE DATA FORMATS
- ANALYTICAL APPROACH TO TRANSFER FUNCTION OF FIR DIGITAL FILTERS
- Block Extraction Approach to Realization of Switched-Capacitor Filters
- Design of Three-Dimensional Recursive Digital Filters
- A NEW CLASS OF VERY LOW SENSITIVITY AND LOW ROUNDOFF NOISE RECURSIVE DIGITAL FILTER STRUCTURES
- Realizations of Digital Filters Using Generalized Multiple-Feedback Structure
- Design of Two-Dimensional Recursive Digital Filters with Half-Plane Symmetry Characteristics
- TWO METHODS OF DIGITAL LADDER REALIZATION
- Optimum Design of Cascade Realization Digital Filters
- APPROXIMATION TECHNIQUE FOR TIME-SHARING REALIZATION OF DIGITAL BAND-ELIMINATION FILTERS
- Some Considerations on State Equations of Linear Active Networks
- Calculation Time and Error Estimation of Transient Responses in Linear Systems
- Graphic Input System of Networks into a Mini-computer
- Mixed Analysis of Network with Restriction on the Branch Partition
- State Variable Approach to Gyrator Filters Containing Periodically Operated Switches
- STABILITY CHARTS OF ACTIVE TWO-PORTS
- C-12-51 超低電力CMOS温度センサ回路の評価(センサ、電源回路、デジタル,C-12.集積回路,一般セッション)
- C-12-6 コンパレータのバラツキ補正回路を用いた弛張発振回路(アナログ要素回路,C-12.集積回路,一般セッション)
- Matrix Representation of Linear Noisy Networks and its Transformation
- 基板バイアス制御を用いた超低電圧センスアンプ回路の高速化(アナログ,アナデジ混載,RF及びセンサインタフェース回路)
- 超低電圧ディジタル回路に向けた入出力論理補正レベルシフタ回路(アナログ,アナデジ混載,RF及びセンサインタフェース回路)
- C-12-42 超低電力オペアンプの高速化技術(C-12.集積回路,一般セッション)
- C-12-54 準連続モードで動作するデジタル制御昇圧回路(C-12.集積回路,一般セッション)
- C-12-53 適応バイアス型コンパレータを用いたSC型DC-DCコンバータ(C-12.集積回路,一般セッション)
- C-12-49 超低電圧ダイナミックコンパレータ回路のオフセットキャリブレーション手法の検討(C-12.集積回路,一般セッション)
- C-12-52 低電圧カレントミラー回路を用いた高精度ナノアンペア電流源(C-12.集積回路,一般セッション)
- 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分野:画像認識・メディア理解)
- B-004 ウェーブレット変換に基づく学習型超解像のGPUによる高速化手法(並列処理,B分野:ソフトウェア)
- I-011 階層的超解像による電子ズームの構成方法(画像復元・超解像,I分野:グラフィクス・画像)
- C-12-61 低参照電圧を用いた実時間計測用弛張発振回路(C-12.集積回路)
- I-033 事例参照型超解像における幾何学模様の学習(I分野:グラフィクス・画像,一般論文)