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

HOMEエレクトロニクス電子設計 > ルネサス、マイコンの多品種並行開発をフォーマル検証で効率化

ルネサス、マイコンの多品種並行開発をフォーマル検証で効率化

  • 小島 郁太郎=Tech-On!編集
  • 2013/10/03 17:57
  • 1/2ページ
図1●「シリーズ展開」を説明する清水徹氏
Tech-On!が撮影。スクリーンはルネサスのスライド。左方中央がシリーズのベースの製品。
[画像のクリックで拡大表示]
図2●マイコンのプラットフォームと設計手法
ルネサスのスライド。
[画像のクリックで拡大表示]
図3●プラットフォーム・ベースで開発したマイコンの検証
ルネサスのスライド。
[画像のクリックで拡大表示]
図4●検証のポイント
ルネサスのスライド。
[画像のクリックで拡大表示]

 ルネサス エレクトロニクスは、マイコンの多品種並行開発をフォーマル検証で効率化していることに関して、検証技術の専門セミナー「Verify2013」(2013年9月27日に新横浜で開催)で講演した。登壇したのは、同社の清水徹氏(第一事業本部グローバル事業戦略統括部 主幹技師長)である。

 マイコン事業では、ベースとなる製品から少し仕様が異なる派生品を多数そろえる、いわゆるシリーズ展開が一般的である(図1)。プロセサ・コアやDMAコントローラやバスなどは共通しているが、メモリ容量や周辺回路が異なる。パンフレットやWebサイトに載っている全品種がそれぞれ異なるダイというわけではないが、それでも似たようなダイを多数開発する必要がある。

 設計作業は、いわゆるプラットフォーム化、IPコア化で効率化が図られている(図2)。すなわち、ベースとなる製品を設計する際に、全派生品で共通となるプラットフォーム(プロセサ・コアやDMAコントローラなど)、およびいくつかの派製品で使う周辺回路をIPコア(タイマーやUART、CAN、USBなど)としてライブラリに登録していく。これらを組み合わせることで、多数の派製品を短期間で設計する。

 厄介なのが、派製品の検証である(図3)。それぞれが1つの製品として、きちんと動作するかどうかを検証しなければならない(図4)。IPコアの追加や削減を行った際、IPコア間が単に接続されているかどうかは容易にチェックできる。しかし、IPコアを追加したり削減したりすれば、チップ全体の割り込み処理やバスの制御などに影響が出る。バスで衝突が発生しないか、割り込み処理が仕様通りに実行されるかなどをチェックしなければならない。

 さらに、ルネサスならではの事情もある。ルネサスはNEC、日立製作所、三菱電機の半導体部門が統合して誕生した会社。開発元が異なるIPコアを1チップに載せるケースはよく発生し、間違いを起こさない製品を提供するために、IPコアを統合した後のチェックは重要度が高い。

【技術者塾】(5/26開催)
シミュレーション要らずの熱設計・熱対策

~熱を電気回路に見立てて解析、演習で応用力アップ~


本講演を受講すると、シミュレーションに頼らない実践的な熱対策・熱設計ができるようになります。演習を通して実際に熱を解析し、熱設計への理解を深められます。現場で応用できる熱解析ツールを自分で作成できるようになります。 詳細は、こちら
日程 : 2016年5月26日
会場 : 化学会館 7F(東京・御茶ノ水)
主催 : 日経エレクトロニクス

おすすめ