機能検証技術コンサルティング

１．背景

トプスシステムズ社は、数々のマイクロプロセッサHW/SW協調機能検証の経験に基づいて、

お客様のシステムLSIの機能検証をサポートします。

当社はメンター・グラフィックス社のQVPパートナーとして、コンサルティング・サービスを提供しています。

特に、現場での検証作業として、次の２つが重要と考えています。

1. バグを残さない検証項目の抽出
2. ビジネスシーンに合った検証TATの確立

２．検証サービスの内容

　■検証戦略の策定

• 検証空間を定義するための使用情報収集
• 検証空間に適した検証戦略の策定

　■検証項目の抽出

• チェックリスト型のアプローチによる検証項目の定義
• ユースケース型のアプローチによる検証項目の定義

　■検証環境の構築

• 各種検証用モデルの作成と検証
• VIP(検証IP)の作成と検証

　■検証シナリオの自動生成

• 検証項目からシナリオの自動生成
• 期待値の自動チェック
• カバレッジの定量的な把握

　■検証代行サービス

• 検証の代行(バグの解析結果方向、カバレッジ報告)

 ３．実績

　■マイクロプロセッサやDSPの機能検証

　　－性能の検証

• ベンチマーク(SpecInt, SpecFP, Dhrystone, BAPCO, EEMBC)

　　－アプリケーション・レベルの検証

• OSの起動、デバイス・ドライバ、各種アプリ(JPEG, MPEG4, VC-1, WiFi）

　　－命令レベルの検証

• x86命令セット、MIPS命令セット、TOPSTREAM(TM)各種命令セット

　　－機能レベルの検証

• 命令パイプライン、キャッシュ、MMU、分岐予測、例外・割込み
• マルチスレッド、マルチコア
• 各種演算器(ALU、整数乗算器、浮動小数点乗算器、除算器・開平器)

　■IPの機能検証

• 各種オンチップ・バス(AMBA AHP/AXI)
• インターフェイス(USB 2.0、PCI Express, Serial ATA)

  ■その他

• 機能検証ガイドラインの策定
• 高速シミュレータを含むHW/SW協調検証環境の構築

詳細は、弊社営業（sales@topscom.co.jp）までお問い合わせください。