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

HOMEエレクトロニクス電子設計DAC 2014 > Synopsys、スタティック/フォーマル検証ツールを一気に4つ発表

DAC 2014

Synopsys、スタティック/フォーマル検証ツールを一気に4つ発表

  • 小島 郁太郎=日経エレクトロニクス
  • 2014/07/07 01:40
  • 1/1ページ
米Synopsys社は、51st Design Automation Conference(DAC 2014:2014年6月1日~5日に米サンフランシスコで開催)の展示会において、スタティック/フォーマル検証ツールを一気に4つ発表した。いずれのツールも機能検証用統合EDAシステム「Verification Compiler」に組み込まれてユーザーに提供されるほか、それぞれが単独のツールとしても販売される。
【技術者塾】(10/24開催)
不具合の未然防止に役立つ 組み込みソフトのモデリング

ソフトウエア技術者の設計力向上の勘所


ソフトウエア設計図(モデル)の具体例を紹介しながら基礎を解説します。「静的構造図」や「動的構造図」などを演習を通して作成。ソフトウエア技術者の設計力を高め、もっと速く楽に開発することを目指します。 詳細は、こちら
日程 : 2016年10月24日
会場 : Learning Square新橋
主催 : 日経エレクトロニクス

おすすめ