Home > Incisive Platformによる機能検証セミナー開催のご案内

  • Contact
  • Print

Incisive Platformによる機能検証セミナー開催のご案内

近年、LSIの大規模化や要求機能の複雑化により、「LSIの機能検証工数の増大」および「作りこんでしまう不具合数の増大」という二つの望まれない「増大」が問題となってきています。検証工数の削減と不具合の確実な検出というお互いに相容れない要求を両立させるためには、アサーション・ベース検証やメトリクス・ドリブン検証などの先進的な検証手法を用いながら、その検証環境を再利用可能な形で効率的に作成し、定量化された検証達成度を適切に可視化して設計者・管理者にフィードバックできることが必須です。
当セミナーでは、上記の課題を解決するケイデンスの先進的な検証手法、そしてそれらの実現手法であるソリューションやテクノロジについてご説明します。
お忙しい折とは存じますが、是非ご出席下さいますようお願い申し上げます。　
主　催： 日本ケイデンス・デザイン・システムズ社
イノテック株式会社　ICソリューション本部
開催日： 2009年10月21日（水）13:00～17：00　 （受付 12:30～）
会　場： イノテックビル 2階 セミナールーム　
横浜市港北区新横浜3-17-6
費　用： 無料
内　容：
13:00-13:10 はじめに
13:10-14:10 ケイデンスIncisiveソリューション
ケイデンスの提案するメトリクス・ドリブン検証（MDV)の重要性と、MDV環境を効率的に構築する再利用部品である検証IP（VIP）についてご説明します。また、OVM-MLによるレガシー資産の再利用性向上など、OVMのアップデートについてもご紹介します。そして、これらのメソドロジを支えるケイデンスのテクノロジであるIncisive Enterprise Simulator (IES)やIncisive Formal Verifier(IFV)等を概観します。
14:10-15:00 Incisive 9.2アップデート
10月リリース予定のIncisive バージョン9.2の機能アップデート内容の抜粋をご紹介します。
主な内容は、Simulationパフォーマンス改善、SimVision e Debug機能強化、ePlanner 機能強化、IFV機能強化、新テクノロジ Incisive Enterprise Verifier(IEV) 紹介などを予定しています。
15:00-15:15 休憩
15:15-16:00 Incisiveの提供するメソドロジの紹介
-セルフトレーニング用資料としてのSoC Verification kitを使って-
SoCKit についてスライドを用いてご紹介し、SoCKit のナビゲータソフトを起動して、以下のメソドロジについてどのような形で学習できるかについて簡単にご紹介します。

- Metric Driven Verification
- OVM Mixed Language e, SystemVerilog, SystemC
- Verification IP
- Assertion Based Verification
16:00-16:40 これからのMDV：TLM Verification
TLM2.0 ベースの高速シミュレーション環境と TLM 環境でのメトリクス・ドリブン検証を加速する検証IP "Multi-LevelVerification IP" (MVIP)についてご紹介します。
16:40-16:50 Q&A
16:50-16:55 おわりに
＊日本ケイデンス・デザイン・システムズ社による日本語での講演となります。
＊都合により内容が変更になる場合がございますので、最新情報は当ページよりご確認下さい。

お申込みは終了いたしました。
ご登録、誠にありがとうございました。
お問い合わせ先：
 日本ケイデンス・デザイン・システムズ社
コーポレート・マーケティング部
TEL. 045-475-2311 FAX. 045-471-7772
cdsj_info@cadence.com