OneSpin 360™ EC-FPGA 等価チェック ソリューション
データシートを入手OneSpin 360™ EC-FPGAソリューションは、機能および性能、消費電力、コストにおいて厳しい目標を達成するために適用される高度なFPGA合成最適化処理により機能エラーが生じないことを保証します。 FPGA 設計フローで実行されるあらゆるシーケンシャルな合成最適化をサポートしています。
360 EC-FPGAソリューションは最適化後の設計を「そのまま」検証でき、ゲートレベルシミュレーションや設計変更を行ったり、合成の最適化を無効にするなどの制約がありません。 チップ全体のフラットなネットリストを検証することが可能で、積極的な最適化を行って設計の競争力を高める必要がある場合に効果的です。
360 EC-FPGAソリューションは実績ある360 EC-ASIC の技術をベースに、シーケンシャルFPGA検証機能を追加した製品です。 360 EC-FPGAは自動化された、合成ツールに依存しないソリューションで、RTLコードと合成後ネットリスト、および合成後ネットリストと配置配線後ネットリストの機能的等価性を検証します。 合成ツールにより生成される「サイドファイル」や、面倒なスクリプト作成等も必要ありません。 設計コンディショニング機能と高精度なモデリング機能により合成のバグ、合成／シミュレーションのミスマッチ、RTLコーディングのバグ等従来の等価チェックツールでは見逃されることの多かった各種バグを検出します。
特長
- 高度に最適化された複雑なFPGA設計に合成および最適化によるエラーが存在しないことを保証
- あらゆるシーケンシャル合成最適化をサポートした初めての等価チェッカ
- シミュレーションおよびテストベクタを必要としない
- 合成ツールの「サイドファイル」や、面倒なスクリプト作成も必要なし
- 高機能、高性能、低消費電力、低コストなFPGA設計を支援
- FPGA設計を「そのまま」検証 - シミュレーションや設計変更、制限の必要なし
- 完全に自動化された様々な設計一貫性チェック機能により、一般的なコーディング エラーを高速に検出
- 業界トップクラスの使いやすさ