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

HOMEエレクトロニクス電子設計 > Jasper、機能検証用プロパティを自動生成するソフトウェア2製品を発売

Jasper、機能検証用プロパティを自動生成するソフトウェア2製品を発売

  • 小島 郁太郎=Tech-On!
  • 2012/10/30 22:51
  • 1/1ページ
米Jasper Design Automation社は、同社の「JasperGold Apps」製品群に、新たに2つの機能検証用プロパティ自動生成ソフトウェアを加えたと発表した。JasperGold Appsは機能検証に関連した特定の工程を支援するEDAツール(ソフトウェア)で、これまでに6製品が発表されている。
【技術者塾】(6/6開催)
最適制御とモデル予測制御の基礎から応用展開まで


最適制御の基礎と数値解法の考え方を解説した上で、モデル予測制御の問題設定、実時間アルゴリズム、そして最先端の応用事例について解説します。実際に応用する際の手順がイメージできるよう、簡単な例題を交えて説明します。詳細は、こちら
日程 : 2016年6月6日
会場 : BIZ新宿 (東京・西新宿)
主催 : 日経エレクトロニクス

おすすめ