ソフトウェアの実行時間を考慮したアルゴリズムの並列化手法用いて、論理シミュレーションアルゴリズムに適用し、効率の良いソフトウェアの並列化方法を提案する。本手法を論理ミュレーションアルゴリズムに適用した結果、ゲート論理の演算処理が実行時間の大部分を占めるボトルネック部分であることが判明した。このボトルネック部分のプロファイリング結果を解析し、アルゴリズムの並列化による高速化方法の提案を行った。