並列論理シミュレーションにおけるロールバックについて
スポンサーリンク
概要
- 論文の詳細を見る
本稿では,並列論理シミュレーションの高速化をJeffersonの楽観的方法に基づいて実現したときに発生するロールバックの問題について基礎的考察を行う.ロールバックは並列論理シミュレーションの性能を低下させる大きな要因であると考えられるが,これまでそのメカニズムについての解明はほとんどなされていない。ここでは,並列論理シミュレーションの詳細モデルについて説明した後モデルに基づいてロールバックの発生の幾つかの事例について分析する.具体的には,ロールバックの発生を考慮したシミュレーション時間の定式化を与え,ロールバック発生要因の分析を行なった.更に,簡単な木状回路と規則的な入力信号の例を用いて,シミュレーションの条件を変化させたときのロールバック発生回数への影響を観測することによって,ロールバック発生要因についての実験的評価を行なった。
- 社団法人電子情報通信学会の論文
- 1993-12-16
著者
関連論文
- 新年のご挨拶 : 2010年:新しい変化の年そして挑戦の年
- 年頭の挨拶 : 30年を振り返って,一歩一歩前進
- 揺りかごのような存在 : 屋久島の倒木の役割
- 情報処理・ソフトウェアの信頼性保証技術 : 10年の歩みを踏まえて
- 情報家電に期待すること : 安定した生活の立場から
- 並列論理シミュレーションにおけるロールバックについて
- モデル検査入門
- プログラム設計過程の定量的評価の試み-初期設計書の品質から見た評価-
- QRコードのデコードソフトウェアの開発及び高速化に関する検討
- シミュレーティドアニーリングを用いたCMOS組合せ回路の最大同時スイッチングゲート数の評価
- Generalized LR構文解析法による曖昧な文脈自由言語の解析
- CKY法による曖昧な文脈自由言語の解析
- 階層的グラフ表現による曖昧な言語の解析
- チームによるプログラム開発におけるデバッグ能力の実験的評価
- レイ・トレーシングによる布の表現
- VHDLシミュレータを用いたCMOS乗算回路のグリッチの評価
- 補助記憶を用いた二次元高速フ-リエ変換処理プログラム
- 組合せ回路の消費電力削減に関する一考察
- 紙テ-プを用いた画像出力装置
- 組合せ回路の並列論理シミュレーションにおけるスケジューリング問題について
- Experimental Evaluation of Processor Scheduling Algorithm for Parallel Logic Simulation Using Benchmark Circuits
- 長波長ホログラムにおける点物体の再生像の界強度分布(技術談話室)
- 並列論理シミュレーションにおけるロールバックについて
- 部分定数乗算を考慮した任意桁数乗算回路の自動生成
- AES暗号回路におけるSubBytesの低消費電力化
- SPFDを用いた新しい置換法に基づくLUT型FPGAの最適化
- SSPFを用いたCMOS回路の消費電力削減法
- 信号値遷移確率を用いた低電力乗算回路の一構成法
- コーン分割による組合せ回路の最大同時変化ゲート数の並列計算法
- FPGAを用いたLSIチップ作成の一試み
- 連想記憶プロセッサを用いたパターン並列故障シミュレーシンの解析
- 多段論理回路での実現を考慮した順序回路の状態割当て法について
- Analysis of Rollbacks in Parallel Logic Simulation Based on Virtual Time*
- 移植性を考慮したコンパイラ駆動方式論理シミュレータの開発
- 紙テープを用いた簡易形画像出力装置
- [3-2] ハードウェアRAMフォールトに対するソフトウェアによる監視方法(セッション3 試験,解析,一般,日本信頼性学会 第14回春季信頼性シンポジウム 報告)
- 3-2 ハードウェアRAMフォールトに対するソフトウェアによる監視方法(試験、解析、一般,セッション3)
- ソフトウェアの信頼性・安全性について(2011年度第1回フォーラムより〜信頼性・安全性に関する特別セミナー〜)
- 2次元高速フ-リエ変換を用いたレンズの像空間における界分布の計算(技術談話室)
- 上界のない整数型変数を有する並行システムに対するk帰納法を用いたモデル検査(ネットワーク環境でのディペンダビリティ,及び一般)
- ネットワークコーディングに基づくゴシップの提案(ネットワーク環境でのディペンダビリティ,及び一般)
- ネットワークコーディングに基づくゴシップの提案
- パソコンCADにおける要素のデータ表現に関する一考察
- レイ・トレーシング用データ作成プログラム
- UNIX上で動く-日本語画面エディタの作成
- UNIX上での日本語入力モジュールの開発
- 円筒面走査による長波長ホログラム-2-
- 多色カラーグラフィックディスプレイ装置の試作
- マイクロプロセッサに適したPASCAL目的 コードの実行効率の向上に関する一手法
- 円筒面走査による長波長ホログラム
- マイクロコンピュ-タシステムNATEC/Zの開発
- 長波長ホログラムの結像特性
- 2次元FFTを用いたレンズの像空間における界強度分布の計算
- 順位文法を用いた構文解析
- FORTRANの構文解析について