/

Size: px

Start display at page:

Download "/"

なおごちょう
4 years ago
Views:

1 /

2 CoMET とは? APPLICATIONS IP -PROCESSOR IP Application Programs (C/C++) Reactive Operating System Kernels PROPRIETARY OPERATING SYSTEM IP BUS, CACHE, TLB IP SOFTWARE TEST SETS Interactive Software Debugging Software Output & Analysis Virtual Processor Models INTERACTIVE CONCURRENT Co-Design Co-Verification Co-Simulation KERNAL Waveform Output & Analysis Interactive Hardware Debugging HARDWARE TEST SETS BEHAVIORAL HARDWARE IP Behavioral Hardware Description (C/C++) Functional &RT Hardware Description (Verilog, FUNCTIONAL + RT VHDL) HARDWARE IP

3 CoMET とは? VaST 社から提供される VPM(Virtual Virtual Processor Model) を用いてターゲットシステムのバーチャルプロトタイプを作成しシステム全体の論理検証パフォーマンス検証を行うシステムレベルシミュレータです

4 VPM とは? VPM リスト ( Virtual Processor Model ) ARM ARM7, ARM710, ARM720, ARM740, ARM7TDMI ARM9, ARM920, ARM920T, ARM940 MIPS R3000,R4000, RM5231, RM7000 Toshiba TX19, TX39, TX49, TLCS870 Intel XScale, i386 Hitachi SH7702, SH7708 Motorola MC68000,MC68030 Sun Microsystems Sparc DSPGroup TEAK LITE

5 VPM とは? CoMET の高速シュミレーションを実現する非常に高速なプロセッサモデルですオブジェクトコードオプティマイズ機能によりスタティックな処理とダイナミックな処理とに分割し高速な処理を実現しています組込みシステムに使われる様々なプロセッサに対応しています Intel XScale にもいち早く対応しています

6 ヴァーチャルプロトタイプヴァーチャルプロトタイプヴァーチャルプロトタイプヴァーチャルプロトタイプヴァーチャルプロトタイプヴァーチャルプロトタイプヴァーチャルプロトタイプヴァーチャルプロトタイプ? CoMET CoMET CPU RAM ROM A/D D/A DSP Vocoder 他 RAM/ROM User Logic MODEM MOD DEM Channel CODEC Viterbi TURBO AIU TONE PCM Peripheral MPEG4 Bluetooth USB UART API API API API API API 外界モデル外界モデル外界モデル外界モデル FacePlate MATLAB Simulink

7 ヴァーチャルプロトタイプ? ブレッドボードを作成するように CoMET 上にターゲットシステムを全て構成します今までハードウェアの完成を待たなければならなかったアプリケーションやソフトウェアドライバの検証を設計の初期段階から行う事が可能となります CPU,DSP 等のマルチプロセッサにも柔軟に対応し十分なパフォーマンスを発揮します CoMET ではシステム単体のみならず GUI ツールやメカ系シミュレータとリンクし外界まで含んだ検証環境を構築する事が可能です

8 検証可能なソフトウェアは? C/C++ ASM OS Middleware C/C++ HDL Compiler Assembler Library Compiler Linker CoMET 周辺 logic その他の HW モデル Object Load R-VPM( コア ) 協調 Sim スケジューラ HW Sim モデル Target μp Debugger デバッガ I/F Target 環境

9 検証可能なソフトウェアは検証可能なソフトウェアは検証可能なソフトウェアは検証可能なソフトウェアは検証可能なソフトウェアは検証可能なソフトウェアは検証可能なソフトウェアは検証可能なソフトウェアは? ターゲットシステムに組み込むアプリケーションドライバターゲットシステムに組み込むアプリケーションドライバターゲットシステムに組み込むアプリケーションドライバターゲットシステムに組み込むアプリケーションドライバターゲットシステムに組み込むアプリケーションドライバターゲットシステムに組み込むアプリケーションドライバターゲットシステムに組み込むアプリケーションドライバターゲットシステムに組み込むアプリケーションドライバ RTOS RTOS ミドルウェア等々全て実際に製品に使用するものをミドルウェア等々全て実際に製品に使用するものをミドルウェア等々全て実際に製品に使用するものをミドルウェア等々全て実際に製品に使用するものをミドルウェア等々全て実際に製品に使用するものをミドルウェア等々全て実際に製品に使用するものをミドルウェア等々全て実際に製品に使用するものをミドルウェア等々全て実際に製品に使用するものを含んだシミュレーションを行う事が可能です含んだシミュレーションを行う事が可能です含んだシミュレーションを行う事が可能です含んだシミュレーションを行う事が可能です含んだシミュレーションを行う事が可能です含んだシミュレーションを行う事が可能です含んだシミュレーションを行う事が可能です含んだシミュレーションを行う事が可能です CoMET CoMET 上でハードウェアとソフトウェアは完全にコンカレントに上でハードウェアとソフトウェアは完全にコンカレントに上でハードウェアとソフトウェアは完全にコンカレントに上でハードウェアとソフトウェアは完全にコンカレントに上でハードウェアとソフトウェアは完全にコンカレントに上でハードウェアとソフトウェアは完全にコンカレントに上でハードウェアとソフトウェアは完全にコンカレントに上でハードウェアとソフトウェアは完全にコンカレントに動作します動作します動作します動作します動作します動作します動作します動作します

10 ハードウェアモデル? 例 :W-CDMA : ベースバンドブロック SpecC,SystemC, UML,SDL 等で記述 VaST から VPM として提供される CPU RAM ROM User User Logic Logic Peripheral Peripheral Bluetooth MPEG4 USB UART C/C++,HDL 等の言語でモデリング DSP RAM/ROM AIU AIU 過去の設計試算を流用 A/D A/D D/A D/A MODEM DEM MOD Channel CODEC TURBO Viterbi TONE PCM

11 ハードウェアモデル? ハードウェア記述言語 (VerilogHDL,VHDL) はもちろん C/C++ SpecC SystemC 等様々な設計言語に対応しています CoMET ではドライバソフトウェア開発等で必要な詳細モデルからシステム全体のパフォーマンス検証を行う為の抽象度を上げたモデルまで柔軟に対応可能です他社のコードジェネレーションツールにより自動生成された C-Source をハードウェアモジュールとして組み込む事も可能です

12 検証速度と精度は? 精度高い Accuracy クロックサイクル + ティレイ内部信号クロックサイクル可視レシスタ命令ステッフ数可視レシスタ ISS CoMET VPM 命令ステッフ数精度低い Speed (instr/sec.)

13 検証速度と精度は? CoMET のVPM テクノロジー ( 特許出願中 ) は非常に高速なプロセッサモデルでありプロセッサ単体では 30MIPS を超えるスピードでリアルなソフトウェアの処理を行いますシミュレーション速度は検証レベルまたは検証目的とのトレードオフとなりますシステム全体のパフォーマンス検証速度重視ソフトウェアハードウェア :RTOS, ミドルウェア, ドライバ, アプリケーション : ファンクションモデルソフトウェアドライバとハードウェアモデルとのタイミング検証精度重視ソフトウェアハードウェア : RTOS, ミドルウェア, ドライバ, アプリケーション : クロックレベルの詳細モデル VPM は命令サイクルはもちろんプロセッサ固有のパイプライン等全てのアーキテクチャがサポートされ実際のプロセッサと同等の精度でシミュレーションを行います

14 CoMET のメリットは? System Design Process Specification SDL, UML, USDN, C, C++, SpecC Architecture Modeling CoMET Vxx/Pxxxxx Co-Design CoXXXX Co-Verification SeOOOOO, EaXXXx

15 CoMET のメリットは? 設計の初期段階からターゲットシステムを意識した検証が可能となりますこれにより発見しづらい仕様上での問題を早期に解決する事が可能となり開発工程での大きなループを無くします高速 VPM によりマルチプロセッサシステムにおいてもなんらストレス無くシステム全体の検証が可能です VaST の提供するヴァーチャルポート (API) を用いることによりハードウェアシミュレータのイベントを発生させずに高速なハードウェア / ソフトウェアの協調検証が可能となります

16 ユーザ適用事例 ( カーエレクトロニクス ) CoMET Simulation Kernel Engine Control (S/W) ECU エンジンコントロールユニットのシステム全体を CoMET を用いてバーチャルプロトタイプ MATLAB/Simulink エンジンシミュレーション対象の機能を MATLAB 等を用いてモデリング CPU Driver Interface (H/W) ECU Altia FacePlate Engine Mechanical Model パネル市販の GUI Builder 使用して作成したモデルと PLI 経由でリンクし状態をビジュアルに表示

17 ユーザ適用事例 ( 携帯電話 ) 基地局スピーカ - プラットフォームの標準出力を使用キーボード LCD 市販の GUI Builder 使用して作成したモデルと PLI 経由でリンク通信プロトコル SDL を用いて状態遷移記述マイクプラットフォームの標準入力を使用 Faceplate 交換機各種処理機能に応じて SDL,UML,SpecC C/C++,HDL 等の言語を用いてモデリングする

18 Demonstration

19 外形モデルを用いた協調検証環境 CoMET RTOS LCD Driver LCD Controller LCD Model I/F Middleware VPM ハードウェア Application ソフトウェア Key Driver Key Controller Key Model I/F Mobile Phone 外形モデル ( マイクロブレイン社 )

20 アプリケーション検証環境 CoMET RTOS LCD Driver LCD Controller LCD Model I/F Middleware VPM ハードウェア Application ソフトウェア Key Driver Key Controller Key Model I/F Mobile Phone 外形モデル ( マイクロブレイン社 )

21 アプリケーション検証環境ターゲットプロセッサでのアプリケーションのパフォーマンス検証を目的としたハードウェア / ソフトウェアのモデリングを行いますアプリケーションの実行速度体感の為にハードウェアモデルでのタイミング調整が可能ですアプリケーション実機に搭載するアプリケーションドライバソフトウェア簡易モデル ( 実ドライバでも可 ) ハードウェアモデル簡易モデルを用いてタイミングを調整外形モデル GAIA/VaST より提供もしくは他社ツールと I/F

22 VaST Systems Technology Corp. 会社概要本社 Sunnyvale, CA USA 創立 1997 年 Dr.Graham Hellestrand の経歴若くして電子学会の優秀な頭脳と称され大学教授 IEEE 等学会の要職を兼務数多くの産学プロジェクトを経験開発部大学で自ら指導した優秀な頭脳が 20 年を経て集合博士に下一致団結した結束力が強く意思疎通が容易な組織 VaST Home Page vastsystems.com

Microsoft PowerPoint - 01_Vengineer.ppt

Microsoft PowerPoint - 01_Vengineer.ppt Software Driven Verification テストプログラムは C 言語で! SystemVerilog DPI-C を使えばこんなに便利に! 2011 年 9 月 30 日コントローラ開発本部コントローラプラットフォーム第五開発部宮下晴信この資料で使用するシステム名製品名等は一般にメーカーや団体の登録商標などになっているものもありますなおこの資料の中ではトレードマーク