/
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
CoMET とは? VaST 社から提供される VPM(Virtual Virtual Processor Model) を用いて ターゲットシステムのバーチャルプロトタイプを作成し システム全体の論理検証 パフォーマンス検証を行う システムレベルシミュレータです
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
VPM とは? CoMET の高速シュミレーションを実現する 非常に高速なプロセッサモデルです オブジェクトコードオプティマイズ機能により スタティックな処理とダイナミックな処理とに分割し 高速な処理を実現しています 組込みシステムに使われる 様々なプロセッサに対応しています Intel XScale にもいち早く対応しています
ヴァーチャルプロトタイプヴァーチャルプロトタイプヴァーチャルプロトタイプヴァーチャルプロトタイプヴァーチャルプロトタイプヴァーチャルプロトタイプヴァーチャルプロトタイプヴァーチャルプロトタイプ? 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
ヴァーチャルプロトタイプ? ブレッドボードを作成するように CoMET 上にターゲットシステムを全て構成します 今まで ハードウェアの完成を待たなければならなかった アプリケーションやソフトウェアドライバの検証を設計の初期段階から行う事が可能となります CPU,DSP 等のマルチプロセッサにも柔軟に対応し 十分なパフォーマンスを発揮します CoMET では システム単体のみならず GUI ツールやメカ系シミュレータとリンクし 外界まで含んだ検証環境を構築する事が可能です
検証可能なソフトウェアは? 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 環境
検証可能なソフトウェアは検証可能なソフトウェアは検証可能なソフトウェアは検証可能なソフトウェアは検証可能なソフトウェアは検証可能なソフトウェアは検証可能なソフトウェアは検証可能なソフトウェアは? ターゲットシステムに組み込む アプリケーション ドライバ ターゲットシステムに組み込む アプリケーション ドライバ ターゲットシステムに組み込む アプリケーション ドライバ ターゲットシステムに組み込む アプリケーション ドライバ ターゲットシステムに組み込む アプリケーション ドライバ ターゲットシステムに組み込む アプリケーション ドライバ ターゲットシステムに組み込む アプリケーション ドライバ ターゲットシステムに組み込む アプリケーション ドライバ RTOS RTOS ミドルウェア等々 全て実際に製品に使用するものをミドルウェア等々 全て実際に製品に使用するものをミドルウェア等々 全て実際に製品に使用するものをミドルウェア等々 全て実際に製品に使用するものをミドルウェア等々 全て実際に製品に使用するものをミドルウェア等々 全て実際に製品に使用するものをミドルウェア等々 全て実際に製品に使用するものをミドルウェア等々 全て実際に製品に使用するものを含んだシミュレーションを行う事が可能です 含んだシミュレーションを行う事が可能です 含んだシミュレーションを行う事が可能です 含んだシミュレーションを行う事が可能です 含んだシミュレーションを行う事が可能です 含んだシミュレーションを行う事が可能です 含んだシミュレーションを行う事が可能です 含んだシミュレーションを行う事が可能です CoMET CoMET 上でハードウェアとソフトウェアは完全にコンカレントに上でハードウェアとソフトウェアは完全にコンカレントに上でハードウェアとソフトウェアは完全にコンカレントに上でハードウェアとソフトウェアは完全にコンカレントに上でハードウェアとソフトウェアは完全にコンカレントに上でハードウェアとソフトウェアは完全にコンカレントに上でハードウェアとソフトウェアは完全にコンカレントに上でハードウェアとソフトウェアは完全にコンカレントに動作します 動作します 動作します 動作します 動作します 動作します 動作します 動作します
ハードウェアモデル? 例 :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
ハードウェアモデル? ハードウェア記述言語 (VerilogHDL,VHDL) はもちろん C/C++ SpecC SystemC 等 様々な設計言語に対応しています CoMET では ドライバソフトウェア開発等で必要な詳細モデルから システム全体のパフォーマンス検証を行う為の抽象度を上げたモデルまで 柔軟に対応可能です 他社のコードジェネレーションツールにより 自動生成された C-Source をハードウェアモジュールとして組み込む事も可能です
検証速度と精度は? 精度高い Accuracy クロック サイクル + テ ィレイ内部信号クロック サイクル可視レシ スタ命令ステッフ 数可視レシ スタ ISS CoMET VPM 命令ステッフ 数 精度低い 10 0 10 3 10 5 10 7 10 9 Speed (instr/sec.)
検証速度と精度は? CoMET のVPM テクノロジー ( 特許出願中 ) は 非常に高速なプロセッサモデルであり プロセッサ単体では 30MIPS を超えるスピードでリアルなソフトウェアの処理を行います シミュレーション速度は 検証レベルまたは検証目的とのトレードオフとなります システム全体のパフォーマンス検証 速度重視 ソフトウェア ハードウェア :RTOS, ミドルウェア, ドライバ, アプリケーション : ファンクションモデル ソフトウェアドライバとハードウェアモデルとのタイミング検証 精度重視 ソフトウェア ハードウェア : RTOS, ミドルウェア, ドライバ, アプリケーション : クロックレベルの詳細モデル VPM は命令サイクルはもちろん プロセッサ固有のパイプライン等 全てのアーキテクチャがサポートされ 実際のプロセッサと同等の精度でシミュレーションを行います
CoMET のメリットは? System Design Process Specification SDL, UML, USDN, C, C++, SpecC Architecture Modeling CoMET Vxx/Pxxxxx Co-Design CoXXXX Co-Verification SeOOOOO, EaXXXx
CoMET のメリットは? 設計の初期段階からターゲットシステムを意識した検証が可能となります これにより 発見しづらい仕様上での問題を早期に解決する事が可能となり 開発工程での大きなループを無くします 高速 VPM により マルチプロセッサシステムにおいても なんらストレス無くシステム全体の検証が可能です VaST の提供するヴァーチャルポート (API) を用いることにより ハードウェアシミュレータのイベントを発生させずに 高速なハードウェア / ソフトウェアの協調検証が可能となります
ユーザ適用事例 ( カーエレクトロニクス ) 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 経由でリンクし状態をビジュアルに表示
ユーザ適用事例 ( 携帯電話 ) 基地局 スピーカ - プラットフォームの標準出力を使用 キーボード LCD 市販の GUI Builder 使用して作成したモデルと PLI 経由でリンク 通信プロトコル SDL を用いて状態遷移記述 マイクプラットフォームの標準入力を使用 Faceplate 交換機各種処理 機能に応じて SDL,UML,SpecC C/C++,HDL 等の言語を用いてモデリングする
Demonstration
外形モデルを用いた協調検証環境 CoMET RTOS LCD Driver LCD Controller LCD Model I/F Middleware VPM ハードウェア Application ソフトウェア Key Driver Key Controller Key Model I/F Mobile Phone 外形モデル ( マイクロブレイン社 )
アプリケーション検証環境 CoMET RTOS LCD Driver LCD Controller LCD Model I/F Middleware VPM ハードウェア Application ソフトウェア Key Driver Key Controller Key Model I/F Mobile Phone 外形モデル ( マイクロブレイン社 )
アプリケーション検証環境 ターゲットプロセッサでのアプリケーションのパフォーマンス検証を目的とした ハードウェア / ソフトウェアのモデリングを行います アプリケーションの実行速度体感の為に ハードウェアモデルでのタイミング調整が可能です アプリケーション 実機に搭載するアプリケーション ドライバソフトウェア 簡易モデル ( 実ドライバでも可 ) ハードウェアモデル 簡易モデルを用いてタイミングを調整 外形モデル GAIA/VaST より提供もしくは 他社ツールと I/F
VaST Systems Technology Corp. 会社概要 本社 Sunnyvale, CA USA 創立 1997 年 Dr.Graham Hellestrand の経歴 若くして電子学会の優秀な頭脳と称され 大学教授 IEEE 等学会の要職を兼務 数多くの産学プロジェクトを経験 開発部 大学で自ら指導した 優秀な頭脳が 20 年を経て集合 博士に下 一致団結した結束力が強く意思疎通が容易な組織 VaST Home Page http://www.vastsystems vastsystems.com