代数的手法を用いた順序回路の段階的設計における実現検証
スポンサーリンク
概要
- 論文の詳細を見る
高信頼性が要求されるハードウェアを対象に,代数的言語を用いた形式的仕様記述方法や,設計された回路等が得られた仕様を満たしているか否かの検証(実現検証)法が提案されている.しかしながら,従来の検証方法は,回路全体を扱っているため,回路規模の増大に伴って検証作業が極端に複雑化するという問題点をもっていた.そこで本論文では,回路のモジュール化に着目し,モジュール毎の実現検証により,回路全体の実現検証が可能となるための十分条件について検討している.まず,仕様(上位)に対して回路等(下位)の間に成立すべき関係を,上位と下位の入出力が常に対応することと定式化し,この定式化のもので上述の十分条件を与えている.この十分条件は,上位と下位で,モジュール間の接続が対応しており,更に入出力や内部状態の対応と状態遷移の対応が存在することを含んである.また,リングアービタを例に用いて,この十分条件を適用した検証例を示している.
- 一般社団法人情報処理学会の論文
- 1993-10-28
著者
関連論文
- ペンドラムテストにより取得される膝関節運動の個人差軽減手法に関する提案 : 痙縮を対象として(生体工学)
- ペンドラムテストにおける個人差軽減手法に関する提案 : 痙縮を対象として
- ペンドラムテストにおける個人差の影響の軽減手法 : 健常者の場合
- 一般口演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 遅延を考慮した容量・優先度・フロー割当て
- 命令実行を利用したプロセッサ制御回路のBISTの提案
- 順序回路の代数的仕様とその検証 : モジュール数がパラメータ化されている場合
- メタステーブル動作を模擬するための CMOS NOR ゲートモデル
- 代数的手法を用いた同期式順序回路の段階的設計法
- 集計時の負荷を軽減した重み付き電子投票プロトコル
- 非同期系の代数的仕様とその実現
- 同期式回路スケジューリング法に基づいた非同期式回路設計のための依存性グラフ作成法
- 分散形データベースシステムにおける同時実行制御の一方法
- 非同期式プロセッサ設計のための依存性グラフのパイプライン化アルゴリズム
- 岡山大学における基幹ネットワークの構成と運用
- 代数的手法を用いた順序回路の段階的設計における実現検証
- 代数的手法を用いた順序回路の段階的設計における実現検証
- 相互排他処理機能の依存性グラフ表現とその2相式非同期回路による実現
- 相互排他処理機能の依存性グラフ表現とその2相式非同期回路による実現
- 依存性グラフで表現された調停動作の2相式同期回路への変換方法