仕様を利用したタイミング検証 : 詳細に検証すべき状態・入力変化対の絞り込み
スポンサーリンク
概要
- 論文の詳細を見る
非同期式順序回路では,複数の入力変化が接近した場合に仕様通りの状態遷移を起こすか否かの確認が重要課題の一つであるが,この確認に既存のタイミング検証法を用いた場合,過渡状態等の生成のため検証に指数的な時間が必要となる.本報告では,回路の構造および仕様と回路との対応関係から,過渡状態等を生成するまでもなく仕様通りの遷移が起こる状態遷移を検出し,詳細に検証すべき状態遷移を絞り込むための形式的方法について述べている.まず,変化しない入力値や状態変数値に着目し,そのような絞り込みが可能となるための十分条件を与えている.次に,この十分条件の判定法を与え,その時間計算量がO(|L|^2)であること(|L|は回路内の信号線の数)を明らかにしている.また,十分条件を具体的な回路に適用し,本方法の有効性を示している.
- 社団法人電子情報通信学会の論文
- 1994-07-23
著者
関連論文
- ペンドラムテストにより取得される膝関節運動の個人差軽減手法に関する提案 : 痙縮を対象として(生体工学)
- ペンドラムテストにおける個人差軽減手法に関する提案 : 痙縮を対象として
- ペンドラムテストにおける個人差の影響の軽減手法 : 健常者の場合
- 一般口演I-4 ペンドラムテストに対する個人差の影響軽減の試み : 健常者を対象にして(第28回中国四国支部大会抄録)
- う回ルーチングを行う分散形交換ネットワークの性能評価
- シャッフル型ネットワークにおける形態とパケット伝送遅延の関係
- 分散形交換ネットワークのリンク故障時の性能比較
- ミニコンピュータ複合体とそのオペレーティング・システム
- ペンドラムテストモデルを利用した膝関節痙縮の定量評価
- 2つの一軸加速度センサを用いた膝関節角加速度計の精度の検討
- 最適化手法によるパノラマ画像合成法の提案(画像システム,知的マルチメディア処理システム及び一般)
- 下腿部電気インピーダンスによる歩行分析(3部 評価・診断)
- 非同期式パイプライン制御回路の論理合成法(論理合成+高位合成)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会)
- 非同期式パイプライン制御回路の論理合成法(論理合成+高位合成)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- 非同期式パイプライン制御回路の論理合成法(論理合成+高位合成)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- 非同期式パイプライン制御回路の論理合成法(論理合成+高位合成)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- 13.肢体不自由者の職業能力評価装置の開発(第22回日本リハビリテーション医学会総会)(地域医療・福祉・社会)
- 集計時の負荷を軽減した重み付き電子投票プロトコル
- 射影変換における座標計算の高速化手法(画像・映像処理)
- D-11-139 射影変換における座標計算の高速化手法 : 誤差の評価(D-11.画像工学D)
- α系亢進とγ系亢進とを分離して評価できるペンドラムテストモデル
- 痙縮患者を対象としたペンドラムテストモデルの精度改善
- 痙縮患者を対象としたペンドラムテストモデルの精度改善
- 脛骨神経を電気刺激したときの足部の反射モデル
- 7.脛骨神経刺激で誘発される反射の生成機序(電気生理)(第25回日本リハビリテーション医学会総会)
- 5. 脛骨神経を電気刺激して誘発される反射の測定法(電気生理)(第24回日本リハビリテーション医学会総会)
- PS86.加速度計を用いたアキレス腱反射定量化の試み(基礎医学)(第19回日本リハビリテーション医学会総会)
- 加速度計を用いたアキレス腱反射の定量的評価
- 筋力-周波数曲線によるα興奮性の評価法
- 描画時合成方式と表示時合成方式とを併用したマルチウィンドウ合成方式
- 制御フローグラフを用いた非同期式パイプライン合成(コンピュータ構成要素)
- 非同期式プロセッサのパイプライン化アルゴリズム : 条件分岐のない場合(プロセス・デバイス・回路シミュレーション及び一般)
- 非同期式プロセッサのパイプライン化アルゴリズム : 条件分岐のない場合(プロセス・デバイス・回路シミュレーション及び一般)
- 非長方形ウィンドウの高速操作機能を備えたマルチウィンドウシステムの実現法
- DRAMセルアレーを用いた動画像用アフィン変換器の一構成法
- マルチホームネットワークにおける透過的な動的トラヒック分散(:インターネット応用システムの構築と運用管理)
- IDENT代理サーバによるリモートアクセスユーザ認証機構
- IDENT代理サーバによるリモートアクセスユーザ認証機構
- CMOS D フリップフロップのカスケード接続により構成したシンクロナイザの性能評価式
- CMOSにより構成したシンクロナイザの性能評価式
- CMOSにより構成したシンクロナイザの性能評価式
- CMOSにより構成したシンクロナイザの性能評価式
- シンクロナイザの一性能評価法
- シンクロナイザの性能評価
- 信号変化生起条件判定に基づくタイミング検証の高速化 (テストと設計検証論文特集)
- 信号変化生起条件判定のためのシンプレックス法の高速化
- 信号変化生起条件判定のための高速シンプレックス法
- 仕様を利用した非同期式順序回路のタイミング検証 : 詳細に検証すべき状態遷移の絞り込み
- 仕様を利用したタイミング検証 : 詳細に検証すべき状態・入力変化対の絞り込み
- 結晶粒粗大化シミュレーションへの温度勾配の適用
- 結晶粒粗大化のモンテカルロ・シミュレーション : 各種プログラムの作成とシミュレーション結果の検討
- LAN, MANにおける波長分割多重方式パケット交換網の最適化
- EDDコネクション設定制御方式における遅延余裕の一割当法 : 最悪リンク遅延に比例した割当て
- EDDコネクション設定制御方式における遅延余裕の一割当て法
- ルーチングマトリクスを有するFPGAの配線領域の検査法 (テストと設計検証論文特集)
- テーブル参照型FPGAにおける論理ブロックの検査法
- テーブル参照型FPGAのテスト
- 競合処理用ジョセフソンフリップフロップの一構成法
- 同一構造の二つの機能ブロックを用いた長方形動画像用アフィン変換器
- 同一構造の二つの機能ブロックを用いた長方形動画像用アフィン変換器
- 同一構造の二つの機能ブロックを用いた長方形動画像用アフィン変換器
- CMOS Dフリップフロップにおけるメタステーブル動作の組織的軽減法
- 長方形動画像のための1アフィン変換法
- 機能モジュールを用いた動画像用アフィン変換器
- 帰還を用いたメタステーブル動作持続期間の短縮法
- 多出力組合せ論理回路の局所全数テストのための最小テスト集合の生成 : M系列発生器とEXORゲートを用いて
- 狭窄部を有する冠血流動態のモデル解析
- 複数クラスのトラヒックをもつパケット交換ネットワークの設計アルゴリズム : End-to-End 遅延を考慮した容量・優先度・フロー割当て
- D-15-12 標準カリキュラムJ07と学習指導要領からみた高専の情報処理教育(D-15.教育工学,一般セッション)
- D-15-11 高専における情報処理教育カリキュラムデータベースの構築と運用(D-15.教育工学,一般セッション)
- 命令実行を利用したプロセッサ制御回路のBISTの提案
- 順序回路の代数的仕様とその検証 : モジュール数がパラメータ化されている場合
- メタステーブル動作を模擬するための CMOS NOR ゲートモデル
- 代数的手法を用いた同期式順序回路の段階的設計法
- 集計時の負荷を軽減した重み付き電子投票プロトコル
- 非同期系の代数的仕様とその実現
- 同期式回路スケジューリング法に基づいた非同期式回路設計のための依存性グラフ作成法
- 分散形データベースシステムにおける同時実行制御の一方法
- 非同期式プロセッサ設計のための依存性グラフのパイプライン化アルゴリズム
- 岡山大学における基幹ネットワークの構成と運用
- 代数的手法を用いた順序回路の段階的設計における実現検証
- 代数的手法を用いた順序回路の段階的設計における実現検証
- 相互排他処理機能の依存性グラフ表現とその2相式非同期回路による実現
- 相互排他処理機能の依存性グラフ表現とその2相式非同期回路による実現
- 依存性グラフで表現された調停動作の2相式同期回路への変換方法