• BPnet
  • ビジネス
  • IT
  • テクノロジー
  • 医療
  • 建設・不動産
  • TRENDY
  • WOMAN
  • ショッピング
  • 転職
  • ナショジオ
  • 日経電子版

HOMEエレクトロニクス電子設計 > Mentor、フォーマル検証ツールにアサーション自動生成機能を搭載

Mentor、フォーマル検証ツールにアサーション自動生成機能を搭載

  • 小島 郁太郎=Tech-On!
  • 2012/10/29 15:18
  • 1/1ページ
米Mentor Graphics社は、同社の機能検証用EDA「Questa」のフォーマル検証関連で追加/強化した複数の新機能に関して発表した。それぞれ、「Questa AutoCheck」、「Questa Formal Multi-Core」、「Questa CoverCheck」、「Questa CDC」である。

トップページへ

おすすめ ↓スクロールすると、関連記事が読めます↓