サービス > プロジェクト

検証プロジェクト

OneSpin では、検証エキスパートによる OneSpin の技術を使ったブロック、IP、サブシステムの機能検証および ASIC/FPGA 設計の等価性チェックにより最高品質を達成する検証プロジェクト サービスを提供しています。

内容

検証プロジェクトの目標と作業内容はお客様のニーズに従って相談の上決定されます。 OneSpin は検証フレームワークを作成し、詳細な技術解析に基づいてプロジェクトのコスト見積を SoW (Statement of Work) として提出致します。 プロジェクトのタイプには以下が含まれます:
  • ペリフェラル、プロセッサ、サブシステムのGap-free検証
  • コンフィギュラブルIPのGap-free検証
  • ツール支援によるコード レビュー
  • 既存コードのリバースエンジニアリング
  • 複雑なコーナーケース動作の分析

OneSpin のプロジェクト経験

OneSpin の検証エキスパートは市場をリードするチップ設計および製造企業に対して幅広いモジュールの検証を行った経験を持っています。 モジュールの例としては次のようなものがあります:
  • マイクロコントローラで使用される構成変更可能なADコンバータ
  • シリアルATA: 高速 (3 Gbps) シリアルリンク
  • AMBA AHB バスブリッジ
  • SDH/Sonet コントローラ
  • 複雑な通信チップのメタル層修正
  • 複雑なデジタル ベースバンド チップの主要部品
    • バスブリッジ (AHB バス)
    • アービタ
    • Flashメモリコントローラ
    • IRDA コントローラ
    • システム電源制御ユニット
    • パッド制御ロジック
    • カメラI/F、マルチメディア カードI/F
    • タッチスクリーンI/F
  • プロセッサ
    • UMTS アップリンク コリレーション コプロセッサ
    • オンチップ コンテキスト切り替えおよびビット操作機能を備えた32ビットプロトコル プロセッサ
    • 先端マイクロコントローラDSPアーキテクチャ
    • IEEE 754 浮動小数点演算装置
詳細な情報は services@onespin-solutions.com まで電子メールでお問い合わせください。