論理合成・検証の研究開発用インフラストラクチャYmtooIsの開発

摘要

This paper describes an overview of Ymtools, an inflastructure for research and development of logic synthesis and verification. The objective and future plan of this project is also shown.%現在開発中である，論理合成，検証のアルゴリズムや手法の研究・開発のための基盤となるソフトウェア開発環境およびツール群であるYmtoolsの概要を紹介し，その狙いおよび将来の開発計画について述べる．