UML図を用いた設計検証の自動化手法の開発

摘要

我々はハードウェア設計開発の効率向上を目的とし，UML図を用いて視覚的なハードウェア設計を行う手法を開発した．本論文ではハードウェア設計における設計検証を視覚的に行い自動化する手法を提案する．当設計手法では，ハードウェアとテストベンチ，そして設計対象のハードウェア仕様の制約条件をUML図を用いて視覚的に表す．次に我々が開発している検証ツールによって制約条件とシミュレーション結果を比較することで，ハードウェア設計から設計検証までの流れを自動化できる．