OneSpin 360™ EC-ASIC 等価チェック ソリューション
データシートを入手OneSpinの 360
EC-ASIC 等価チェック ソリューションは、ASIC/SoC 設計において設計変更、合成、最適化等、RTLからネットリストに至る各実装ステップのRTLとRTL、RTLとネットリスト、ネットリストとネットリスト間で設計に含まれる機能が維持されていることをシミュレーションを行うことなく徹底的に証明します。 360 EC-ASIC ソリューションは証明ベースのシーケンシャル解析によりステートとフェーズのマッピングを完全に自動化しています。 設計コンディショニング機能と高精度なモデリング機能により合成のバグ、合成／シミュレーションのミスマッチ、RTLコーディングのバグ等従来の等価チェックツールでは見逃されることの多かった各種バグを検出します。 360 ECは合成ツールからは完全に独立して動作しますので、ステート マッピング、データパス解析、ECO検証等、等価チェックの重要なフェーズにおいて特別な"サイドファイル"を必要としません。
特長
- 各実装ステップを通じて設計の機能が正しく維持されていることを徹底的に証明
- 自動化されたステートおよびフェーズマッピングにより検証時間を大幅に削減
- バグ観測点位置を正確に特定することによりデバッグ時間を大幅に削減
- 従来の等価チェッカよりも多くのバグおよび合成／シミュレーション不一致を検出
- 完全に自動化された様々な設計一貫性チェック機能により、よくあるコーディング エラーを高速に検出
- 360 MV とのシームレスな統合によるフォーマル検証フローの構築
- 長年にわたる技術開発とフィールドでの利用実績を利用