高速タイミング検証方式の実現とその効率評価
スポンサーリンク
概要
- 論文の詳細を見る
リアルタイム・システム,論理回路等の検証では,各動作の結果の正しさのみならず,それらの動作の(順序性だけでなく)定量的な時間的関係に関する正しさについても確認する必要がある.さらに,動作に要する時間が,ある範囲内でばらつきを持つことを考慮しなくてはならない場合もある.従来,Time Petrinetを用いた検証方式が提案されているが,この方式では,発火可能なトランジション数が増加すると,検証終了までの発火回数,状態数が膨大となる,我々は,この問題点を解決するため,システムを構成する各ユニットの独立性を利用した高速タイミング検証方式を提案してきた.ここでは,この方式を実際にインプリメントし,Time Petrinetを用いた検証方式と効率比較を行った結果について報告する.
- 一般社団法人情報処理学会の論文
- 1988-09-12
著者
関連論文
- 多値非同期式回路の形式的検証に関する研究
- プロセス代数に基づく非同期式論理回路の設計検証 (非同期式回路/システム設計論文小特集)
- 主メモリに適した多重誤り訂正の一方式
- タイムペトリネットに基づくタイミング検証方式の高速化
- FACOM222 による HARPソースプログラムの形式処理と簡単なエラーチェックについて
- 超幾何分布モデルに基づくソフトウェア信頼性成長モデルの反応係数の拡張
- サービス動作時におけるソフトウェアの信頼性評価
- 初期データによるソフトウェア信頼性成長モデルの信頼性予測の推定能力
- 超幾何分布モデルに基づくソフトウェア信頼性成長モデルの反応係数の拡張
- Javaを利用したソフトウェア信頼性成長モデルToolの遠隔操作
- 非同期式回路の検証におけるIivenessクラスに関する考察
- 非同期式回路の検証におけるlivenessクラスに関する考察
- 耐故障能力をもつ3方路通信網の一構成法
- ハードウェアによるZBDD処理の実現に関する研究
- ハードウェアによるZBDD処理の実現に関する研究
- ハードウェアによるZBDD処理の実現に関する研究
- Net Unfoldingによるタイムペトリネットの効率的解析
- 有限遅延幅モデルにおける非同期式回路の検証について (テストと設計検証論文特集)
- 時間トレース理論に基づく非同期式回路の検証について
- 3段実現によるm-out-of-n符号の自己検査性検査回路
- Failure trace解析に基づくGasP回路の形式的検証
- 星状抽象ペトリネットの解析に関する研究
- 星状抽象ペトリネットの解析に関する研究
- 星状抽象ペトリネットの解析に関する研究
- ZBDDとpartial order reductionに基づく非同期式回路検証方式について
- ゼロサプレスBDDによるペトリネットのCTL記号モデル検査
- 人智の誤りは防げるか(「信頼性」Vol.30にあたり)
- 相互結合型ニューラルネットワークの高次フォールトトレラント設計
- 階層型ニューラルネットワークの再学習によるMTTFの改善
- 高次機能を利用した相互結合型フォールトトレラントニューラルネットワーク
- 相互結合型フォールトトレラントニューラルネットワークへの結合素子の導入
- 相互結合型フォールトトレラントニューラルネットワークへの結合素子の導入
- 相互結合型フォールトトレラントニューラルネットワークへの結合素子の導入
- 反転表現を用いた耐故障相互結合型ニューラルネットワークへの結合ニューロンの組込み
- 無効解の検出機構を有する耐故障相互結合型ニューラルネットワーク
- 定期的再学習を利用したフォールトトレラントニューラルネットワーク
- フォールトトレラントコンピューティングと私
- 再学習を利用したフォールトトレラントニューラルネットワーク
- ディペンダビリティに関する諸問題
- フォールトトレランス技術の展望と今後の課題
- 2重化とオンラインテストによる耐故障分散型バスアービタの実現法
- 非同期式回路検証のためのレベル指向モデルとその効率的解析法について
- 非同期式回路検証のためのレベル指向モデルとその効率的解析法について
- データパスを含む非同期式回路の検証について
- ZBDDに基づく非同期式回路の検証方式
- ZBDDを用いた検証方式におけるpartial order reductionの適用について
- フォ-ルトトレラントシステム
- FTCの展望と今後への期待
- 超幾何分布にもとづくソフトウェア残存フォールト数推定モデル (ソフトウェア信頼性モデルの現状と課題)
- ソフトウェアの信頼性
- 時間順序機械に基づくプロトコルの自動検証方式
- ソフトウェア信頼性モデルと評価 (ソフトウェア信頼性技術)
- 高速タイミング検証方式の実現とその効率評価
- 構成要素の独立性を利用した高速タイミング検証方式
- フォ-ルトトレラントコンピュ-タ
- フォルトトレラントコンピュータ研究雑感
- フォ-ルトトレランス技術研究の最近の話題
- コンピュータシステムの新技術 : 柔構造化(6.柔軟性)(極限へのアプローチ)
- システムの安全性・高信頼性の考え方と評価 (システムにおける安全性と高信頼性)
- 緩い同期の3重系多数決システムにおける割込み処理方式
- 高度技術化社会における一つの問題
- 時間的冗長方式の多剰余符号を用いた加算器への適用と諸構成の評価
- 時間的冗長方式により誤り訂正可能なチェック・サム符号を用いた算術演算器の構成法
- 高信頼化技術の展望 (高信頼化技術)
- 関数に依存しないテスト集合を持つPLAの新構成法
- 定期保守を行う自己修復系計算機システムの信頼性・性能評価
- リモ-トメンテナンス
- 高信頼化技術 (最近のコンピュ-タシステム) -- (基本技術)
- コンピュ-タシステムの保守
- 回路構造に基づいたブ-ル微分算出法
- ZBDDに基づく非同期回路の検証方式
- 非同期式回路検証器における使用記憶域削減について
- 非同期式回路検証器における使用記憶域削減について
- 非同期式回路検証器における使用記憶域削減について
- Self-Timed Implementation of Boolean Functions
- Self-Timed Implementation of Boolean Functions
- Self-Timed Implementation of Boolean Functions
- Implementing Fast Boolean QDI Function Blocks
- Implementing Fast Boolean QDI Function Blocks
- Implementing Fast Boolean QDI Function Blocks
- Self-Timed Implementation of Boolean Functions
- Self-Timed Implementation of Boolean Functions
- Self-Timed Implementation of Boolean Functions
- n 安全タイムペトリネットの発火規則について
- n安全タイムペトリネットの発火規則について
- ステートチャートのシンボリックな検証方式について
- シミュレーションを利用した形式的検証システム
- シミュレーションを利用した形式的検証システム
- 論理シミュレーションに基づくプロセッサの自動検証
- タイムペトリネットにおけるCTL記号モデル検査法について
- タイムペトリネットにおけるCTL記号モデル検査法について
- 線形時相論理の為の効率的記号モデル検査方式
- 線形時相論理の為の効率的記号モデル検査方式
- 連立不等式に基づくタイムペトリネットのCTLモデル検査
- タイムペトリネットの拡張とスケジューラビリティーの検証への応用
- 対称性及び抽象化を利用した検証方式の効率化 (テストと設計検証論文特集)
- 正規表現を利用したスケーラブル環状回路の検証
- 正規表現を利用したスケーラブル環状回路の検証
- 対称性及び抽象化を利用した検証方式の効率化
- 有限幅遅延モデルに基づく非同期式回路検証方式とその効率化(ペトリネットの応用特集号)