システム検証

検証環境構築例

検証実績

  • 検証環境
    →Cベース、e言語ベース、SystemVerilogベースに対応。
  • アサーション
    →PSL、SVAに対応
  • カバレッジ
    →e言語、SystemVerilogのCoverGroup、SVAによるFunctionCoverageに対応。
  • 検証IP
    →AMBAバスモデルなど各種VerificationIPを使用。
前のページヘ戻る
次のページヘ戻る
(C) 2000-2015 Advanced Design Technology CO.,LTD.