正則表現論理シミュレータの実現について

概要

論文の詳細を見る
論理回路の大規模化とともに、論理設計の形式的検証手法に関する要求が高まりつつある。大規模な論理回路の検証を一つのレベルで行うことは計算量の点で問題があるので、論理検証を種々のレベルに分けて行うことのできる検証手法が重要である。ここでは、そのような検証手法の一つである正則表現論理シミュレーション手法の実現について報告する。正則表現論理シミュレーション手法は、論理回路を有限オートマトンとしてモデル化し、入力系列の正則集合に対して回路のシミュレーションを行う手法である。論理回路は、状態や入力記号の抽象度を変えることにより、低いレベルから高いレベルまで有限オートマトンでモデル化できるので、論理回路の種々の階層と正則表現論理シミュレーション手法の整合性は高い。今回実現したのは、ゲートレベルのシミュレーション部分である。実験により、シミュレータで扱う有限オートマトンの状態遷移の枝の数に比例した時間でシミュレーションできることが確認された。
一般社団法人情報処理学会の論文
1988-09-12