組み込み機器やVLSIの設計記述の論理的な正しさを検証する手法について研究を行った。その中でも、研究の対象は、与えられた2つの設計記述が論理的に等価かどうかを調べる等価性検証である。また、検証対象は、近年、広く用いられるようになったシステムレベル設計と呼ばれる抽象度の高い設計記述である。本研究では、システムレベル設計記述に対して、その入出力タイミングを考慮した等価性検証手法、および、内部等価点の効率的な探索手法について研究を行い、システムレベル設計記述の等価性検証をより高性能化することを目指した。
|