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

HOMEエレクトロニクス電子設計 > 「論理エミュレータでアサーションを使ってみた」、コニカミノルタテクノロジーセンターが講演

「論理エミュレータでアサーションを使ってみた」、コニカミノルタテクノロジーセンターが講演

  • 小島 郁太郎=Tech-On!
  • 2012/06/18 16:34
  • 1/1ページ
大規模論理の機能検証において、アサーションを使うことで検証結果のチェック漏れが激減することが期待される。ソフトウェアの論理シミュレータならばアサーションは使えそうだが、ハードウェアの論理エミュレータでもどうなのか。仏EVE SAのエミュレータ「ZeBu」を利用する機能検証に、SystemVerilog Assertion(SVA)が使えるかどうかをコニカミノルタテクノロジーセンター(以下、コニカミノルタ)が評価した。
【技術者塾】(6/16開催)
実用化迫る、自動運転支援のためのセンシング技術


安全で安心な自動運転車の実現に向けて、運転自動化支援に必要なセンシングアルゴリズムの基礎理論から、自動運転に向けたさまざまな応用技術、最近の話題などについて、分かりやすく解説します。詳細は、こちら
日程 : 2016年6月16日
会場 : 化学会館 7F(東京・御茶ノ水)
主催 : 日経エレクトロニクス

おすすめ