カバレッジアナライザー

Coverage Analyzerは、Siemens すべての検証エンジンと緊密に統合されており、シミュレーション、エミュレーション、静的ツール、フォーマルツールのカバレッジを組み合わせています。UCDBをサポートすることで、既存のツールやフローから簡単に移行できます。

カバレッジアナライザーの分析ナビゲーションと視覚化機能により、カバレッジモデルの理解が促進されます。ヒートマップ、分布グラフ、ネットワークの視覚化は、カバレッジギャップをすばやく特定して対処するための洞察を提供します。

Coverage Analyzerの共同除外管理により、動的な視覚化が可能になり、チーム全体が常に変更の最新情報を把握できるようになり、プロセスが加速され、チームベースの監査とカバレッジモデルのレビューが可能になります。

Coverage Analyzerのチームベースの機能、統合された通知と共有分析により、コミュニケーションが強化され、クロージャーが加速します。これにより、チームメンバーは迅速に協力し、レビューを行い、クロージング目標に貢献することができます。

Coverage Analyzerの教師なし機械学習は、見つけにくい一般的な表現を識別し、表現ツリーを視覚化します。これにより、チームはサブエクスプレッションをすばやく除外または分析して、複雑なロジックの処理を迅速に行うことができます。

Coverage Analyzerのクロスホール分析では、機械学習を使用してカバレッジの最悪のギャップを特定します。これにより、チームは最も重要な領域にすばやく集中して、機能補償のクローズを加速できます。