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

HOMEエレクトロニクス電子設計DAC 2013 > ルネサスがビデオ・コーデックIPコアの開発で形式検証を活用、SystemCとRTLの等価検証期間が1/65に

DAC 2013

ルネサスがビデオ・コーデックIPコアの開発で形式検証を活用、SystemCとRTLの等価検証期間が1/65に

  • 小島 郁太郎=Tech-On!編集
  • 2013/06/12 16:33
  • 1/1ページ
ルネサス エレクトロニクスは、IPコアの開発におけるフォーマル・ベリファイア(形式検証ツール)の適用に関して、「50th Design Automation Conference(DAC 2013)」(米国テキサス州Austinで2013年6月2日~6日に開催)の展示会で講演した。この講演は、適用したフォーマル・ベリファイアのベンダーである米Calypto Design Systems, Inc.のブースでユーザー事例として発表された。
【技術者塾】(5/17開催)
キャパシタ応用を広げるための基礎と活用のための周辺技術


省エネルギー社会に則した機器を、キャパシタを上手に活用しながら開発するために、その原理と特長、信頼性、長寿命化、高密度化、高出力化などのセル開発の進歩とキャパシタの持つ課題と対応技術まで、実践活用に役立つ応用事例を示しながら学んでいきます。 詳細は、こちら
日程 : 2016年5月17日
会場 : BIZ新宿
主催 : 日経エレクトロニクス

おすすめ