システム検証

	検証環境 →Cベース、e言語ベース、SystemVerilogベースに対応。アサーション →PSL、SVAに対応カバレッジ →e言語、SystemVerilogのCoverGroup、SVAによるFunctionCoverageに対応。検証IP →AMBAバスモデルなど各種VerificationIPを使用。