サービス > コーチング
プロジェクト コーチング
OneSpin では、OneSpin 製品を使った検証プロジェクトに対するコーチング サービスを提供し、従来のバグハンティング アプローチから、すべてのエラーを体系的に検出する OneSpin 360 ソリューションの完全性手法への効率的な移行を支援しています。 また、コーチングによりお客様の最初のプロジェクトの効率を上げ、最高の結果品質を確実にするとともに、ツール アプリケーションに対するノウハウを提供することで、以降のプロジェクトでの成功をサポートします。プロジェクト コーチングに対するアプローチ
コーチングは OneSpin のアプリケーション エンジニアとお客様の設計チームの緊密な協力体制を構築するものです。 まず、お客様のエンジニアが OneSpin のトレーニングに参加されることをお勧めします。 フォーマル検証ソリューションを最大限に活用するため、OneSpin の技術者が以下を含む設計プロジェクトのすべての段階でお客様に協力します。- 検証プランニングとプロジェクトの定義
- 検証のセットアップ
- プロパティ開発
- プロパティと設計のデバッグ
- プロパティのレビュー
- プロパティ セットに対する完全性チェック
- 等価チェックのセットアップとデバッグ
OneSpin の専門技術
OneSpin のアプリケーション エンジニアは HDL 設計検証に豊富な実績を持ち、お客様にフォーカスした問題解決姿勢でプロジェクトに取り組みます。 スキルには以下が含まれます：- フォーマル モデリングおよび検証
- プロパティおよびアサーション言語
- 検証のプランニング
- VHDL と Verilog
- TCL、シェルスクリプト
- 構成管理（CVS、ClearCase)とバグ追跡