信号変化生起条件判定に基づくタイミング検証の高速化 (テストと設計検証論文特集)
スポンサーリンク
概要
- 論文の詳細を見る
組合せ論理回路のタイミング検証を精密に行うための方法として, 信号値変化が生起するための必要十分条件(信号変化生起条件)を, 信号値の変化時刻や素子の伝搬遅延時間を表す変数に関する1次不等式の論理式の形で導出し, これを判定する方法が提案されている. これらの方法では, 信号変化生起条件とこれが満たされるときに生じる信号値の変化系列を回路上のすべての信号線に対して導出してシミュレーションを行っており, それが検証高速化の妨げとなっていた. 本論文では, 素子遅延に関する静的標準遅延と純粋遅延の仮定のもとで, 信号変化生起条件判定に基づく新たな検証法を提案する. この方法では, 外部出力から外部入力側に向かって信号線をたどることにより, 不正パルスが生起するための条件のみを導出する. また, 導出した条件を積和形の論理式に展開する過程で得られる和項を含んだ形の積項の真偽を判定し, 真と判定されたもののみを展開することにより, 効率良く条件を判定する. 本方法と従来法とでいくつかの組合せ論理回路の検証について検証時間を比較したところ, 本方法により検証時間が0.1%から29%に短縮された.
- 社団法人電子情報通信学会の論文
- 1999-07-25
著者
関連論文
- 協同ソフトウェア資産管理のためのWebアプリケーションの設計と開発(SIP,NAT)
- 非同期式制御回路合成のための依存性グラフパイプライン化アルゴリズムの検証(計算機システム)
- 高専における情報処理教育の現状と今後の課題 (教育工学)
- 高専における情報処理教育カリキュラムデータベース (教育工学)
- PeerCastにおける経路の動的変更機能の実装(次世代ネットワーク,SIP・プレゼンス,一般)
- API Hookを用いたWindowsプログラムのモビリティ向上ソフトウェアの作成
- API Hookを用いたWindowsプログラムのモビリティ向上ソフトウェアの作成
- 電子的なホワイトボードのセキュア化に関する研究(信号処理,符号化,知的マルチメディアシステム,一般)
- 電子的なホワイトボードのセキュア化に関する研究(信号処理,符号化,知的マルチメディアシステム,一般)
- 動画像圧縮技術を応用した透視変換の高効率化に関する研究(信号処理, 符号化とそれらを用いた知的マルチメディアシステム, 一般)
- 動画像圧縮技術を応用した透視変換の高効率化に関する研究(信号処理, 符号化とそれらを用いた知的マルチメディアシステム, 一般)
- 動画像圧縮技術を応用した透視変換の高効率化に関する研究(信号処理, 符号化とそれらを用いた知的マルチメディアシステム, 一般)
- 最適化手法によるパノラマ画像合成法の提案(画像システム,知的マルチメディア処理システム及び一般)
- 非同期式パイプライン制御回路の論理合成法(論理合成+高位合成)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会)
- 非同期式パイプライン制御回路の論理合成法(論理合成+高位合成)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- 非同期式パイプライン制御回路の論理合成法(論理合成+高位合成)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- 非同期式パイプライン制御回路の論理合成法(論理合成+高位合成)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- 並列データパス付き小型DSPを利用したVGA動画像の射影変換 : 高速化のための二つの提案(コンピュータグラフィックス)
- 並列データパス付き小型DSPを利用したVGA動画像の射影変換 : 高速化のための2つの提案(システムLSIの応用と要素技術,専用プロセッサ,プロセッサ,DSP,画像処理技術及び一般)
- 並列データパス付き小型DSPを利用したVGA動画像の射影変換 : 高速化のための2つの提案(システムLSIの応用と要素技術,専用プロセッサ,プロセッサ,DSP,画像処理技術及び一般)
- 並列データパス付き小型DSPを利用したVGA動画像の射影変換 : 高速化のための2つの提案(システムLSIの応用と要素技術,専用プロセッサ,プロセッサ,DSP,画像処理技術及び一般)
- 集計時の負荷を軽減した重み付き電子投票プロトコル
- 射影変換における座標計算の高速化手法(画像・映像処理)
- D-11-139 射影変換における座標計算の高速化手法 : 誤差の評価(D-11.画像工学D)
- 依存性グラフを利用した非同期式パイプライン合成のための制御回路の構成法(コンピュータ構成要素)
- 制御フローグラフを用いた非同期式パイプライン合成(コンピュータ構成要素)
- 制御フローグラフを用いた非同期式パイプライン合成(プロセッサアーキテクチャ,SWoPP2006)
- 非同期式プロセッサのパイプライン化アルゴリズム : 条件分岐のない場合(プロセス・デバイス・回路シミュレーション及び一般)
- 非同期式プロセッサのパイプライン化アルゴリズム : 条件分岐のない場合(プロセス・デバイス・回路シミュレーション及び一般)
- 信号変化生起条件判定に基づくタイミング検証の高速化 (テストと設計検証論文特集)
- 信号変化生起条件判定のためのシンプレックス法の高速化
- 信号変化生起条件判定のための高速シンプレックス法
- 仕様を利用した非同期式順序回路のタイミング検証 : 詳細に検証すべき状態遷移の絞り込み
- 仕様を利用したタイミング検証 : 詳細に検証すべき状態・入力変化対の絞り込み
- 結晶粒粗大化シミュレーションへの温度勾配の適用
- 結晶粒粗大化のモンテカルロ・シミュレーション : 各種プログラムの作成とシミュレーション結果の検討
- 帰還を用いたメタステーブル動作持続期間の短縮法
- D-15-12 標準カリキュラムJ07と学習指導要領からみた高専の情報処理教育(D-15.教育工学,一般セッション)
- D-15-11 高専における情報処理教育カリキュラムデータベースの構築と運用(D-15.教育工学,一般セッション)
- 高専における情報処理教育の現状と今後への提言
- 順序回路の代数的仕様とその検証 : モジュール数がパラメータ化されている場合
- メタステーブル動作を模擬するための CMOS NOR ゲートモデル
- 代数的手法を用いた同期式順序回路の段階的設計法
- 集計時の負荷を軽減した重み付き電子投票プロトコル
- 非同期系の代数的仕様とその実現
- 高専における情報処理教育の現状と今後の課題(学習のユビキタス化とシステム構成技法/一般)
- 高専における情報処理教育カリキュラムデータベース(学習のユビキタス化とシステム構成技法/一般)
- 分散形データベースシステムにおける同時実行制御の一方法
- BS-8-3 不特定多数の利用者を想定した認証ゲートウェイシステムの構築(BS-8. ネットワークソフトウェア特別ポスターセッション,シンポジウムセッション)
- 代数的手法を用いた順序回路の段階的設計における実現検証
- 代数的手法を用いた順序回路の段階的設計における実現検証
- セレクト及びマージ頂点数の最小化によるパイプライン化依存性グラフの簡単化(計算機システム)
- D-1-1 CUDAを用いた分枝限定法の実装と評価(D-1.コンピュテーション,一般セッション)
- D-6-3 依存性グラフの最大遅延ループを用いた非同期式回路の規模縮小法(D-6.コンピュータシステムA(アーキテクチャ),一般セッション)
- CUDAを用いた多倍長循環ベクトル乗算アルゴリズムの並列化実装(並列処理,FPGA応用及び一般)
- 複数の最大遅延ループを持つ非同期式回路のSDI遅延仮定を用いた縮小法(FPGA非同期,FPGA応用及び一般)