VSO.ai(Verification Space Optimization)は、业界初のAI駆動型検証ソリューションを提供し、検証チームがより迅速かつ高品質にカバレッジ?クロージャーを達成するのに役立ちます。このシステムは自律的に動作し、最高品質の結果で可能な限り迅速かつ安価にカバレッジの目標を達成できます。機械学習テクノロジを使用して、リグレッションにおける冗長性を特定して排除し、カバレッジの根本原因分析を自動化します。また、RTLとスティミュラスからカバレッジを推測して、カバレッジのギャップを特定し、カバレッジのガイダンスを提供します。
テスト?カバレッジの见つけにくいギャップを自动検出
人の介入や分析なしで、无限のデザイン?ステートを探索
エンジニアは、バグの検出ではなく、バグの修正に集中できる
シノプシスVSO.aiは、设计やテストベンチでコードを変更することなく、既存のVCS(R)リグレッション環境に簡単に統合することができます。机能カバレッジ?メトリクス(カバーグループとアサーション?カバレッジ)とコード?カバレッジ?メトリクス(ライン/トグル/FSMカバレッジ)をサポートします。リグレッションのCPU時間、テスト実行回数、シミュレーション?サイクル、1秒あたりのサイクル数など、ユーザーが選択した目的関数を最小化するために、テストを自動的に識別して調整します。
草榴社区 VSO.aiは、シミュレータ内で動作し、制約ソルバー、テスト、テストオプション?レベルで専門的にターゲットを絞り、カバレッジを向上させます。これまでにない精度と効率性を実感してください!
草榴社区 VSO.aiは、カバレッジの結果を分析し、根本原因分析(RCA)を実行して、特定のカバレッジ?ビンがカバーされていない理由を判断します。?
草榴社区.aiソリューションの一部であるVCS?によるAIベース検証により、机能カバレッジの抜けを最大1/10に削減、IP検証効率が最大30%向上しました。複雑化するデザインの課題の解決にAIが寄与できることが実証されました"
池野辺高浩氏
|ルネサスエレクトロニクス社 コアIP開発統括部 周辺回路设计部 部長