スタティック・フォーマル・バリデーション技術により、数百万ゲート設計の迅速な検証と検証時間の劇的な短縮を実現します。エラーの場所/原因を特定する包括的なデバッグツールと、既存の検証セッション内で設計変更を調査する独自の「what-if」機能により、正しい設計への最短ルートとなります。
FormalPro-同等性チェックソリューション
FormalProは、静的な形式検証手法を使用して、設計がゴールデンリファレンスと機能的に同一であることを証明します。これは、従来のゲートレベルのシミュレーションよりも桁違いに高速です。数日から数週間かかる設計でも、FormalProを使用すれば数時間、場合によっては数分で検証できます。
主な特長
テストベンチなしの等価性検証カバレッジ
設計が機能的に同一であることをすばやく証明できます。合成ではRTLをゲートネットリストと比較し、レイアウトスピンではゲート対ゲートネットリストを比較します。1つのツールとフローですべてのデザインに対応。
高速同等性チェック
EDA コンサルティング
開発と設計の経験と方法論の専門知識を独自に組み合わせて複雑なテクノロジーと企業の課題に対処することにより、ビジネスへの影響を最大化できるよう支援します。