当社の検証専任者が最新技術を導入し、コンサルティングから検証環境構築、検証作業までシミュレーション検証全般を受託します。
| 検証コンサルティング |  検証戦略/検証プランの策定検証環境のコンサルティング
|
|---|---|
| 検証仕様 | 検証戦略、検証項目、評価方法の作成LSI仕様書から抽出した機能項目による検証仕様の作成
|
| 検証環境構築/検証作業 | ABV（アサーション検証）手法による機能検証モジュール開発DRV（ランダム検証）手法によるテストベンチ生成CDV（カバレッジ検証）手法による検証進捗度と検証ゴールの明確化
|
| RTL検証トレーニング | 実践に特化したシミュレーション検証トレーニング
|
- ABV（Assertion Based Verification）手法
検証項目を"実行可能なスペック"として定義し、動作違反を検出する手法。 - DRV（Directive Random Verification）手法
検証言語によるテストベンチ記述を行い、ランダムパターンを生成し検証網羅性を高める手法。
下記のCDV手法と併用し、検証未達箇所に集中した重み付けランダムパターンの生成が可能。 - CDV（Coverage Driven Verification）手法
検証項目と検証ゴール（カバレッジ項目と達成目標）を具体化し、当社技術であるカバレッジ自動集計機能により検証進捗度を数値化する手法。
- 設計と検証を分業できますので、設計者は設計開発に専念することができ設計効率が向上します。
- 設計者が見落としたRTLの不具合検出と設計仕様の不備を発見し、設計品質の向上が図れます。
- 150品種以上の経験と実績を蓄積した独自の検証データーベース利用により、検証環境構築期間/検証作業期間を大幅に削減することができます。
| お問い合わせ |
|---|
| 富士通LSIテクノロジ株式会社 ビジネス推進部 第一ビジネス推進部 〒213-0012 神奈川県川崎市高津区坂戸3-2-1 KSP R&Dビル  Tel ： 044-812-8048 /  Fax ： 044-812-8066 E-mail ： flt-soc-sales@cs.jp.fujitsu.com |