有限状態機械の分割に基づく定常状態確率の近似計算手法

摘要

順序回路のソフトエラー耐性を評価する手法の一つとして，マルコフモデルを用いて状態遷移の振る舞いを解析し評価する手法が提案されているが，規模の大きな回路に対しては多大な実行時間を要し適用が困難である．実行時間の多くは回路の内部状態の定常確率を求める処理に費やされる．本稿では順序回路の内部状態の定常確率を高速に求めるため，回路中のフリップフロップをいくつかのグループに分割し，各グループの定常確率から回路全体の定常確率を近似する手法を検討する．