formalPro-同等性チェックソリューション

FormalProは、静的な形式検証技術を使用して、設計がゴールデンリファレンスと機能的に同一であることを証明します。これは、従来のゲートレベルのシミュレーションよりも桁違いに高速です。数日または数週間かかる設計は、FormalProを使用すると数時間、場合によっては数分で検証できます。

主な機能

テストベンチなしの同等性検証カバレッジ

設計が機能的に同一であることをすばやく証明できます。合成ではRTLをゲートネットリストと比較し、レイアウトスピンではゲート対ゲートのネットリストを比較してください。1つのツールとフローですべてのデザインができます。

数百万ゲート設計の迅速な検証と、静的形式検証技術による検証時間の大幅な短縮を実現します。エラーの場所/原因を特定する包括的なデバッグツールと、既存の検証セッション内の設計変更を調査する独自の「what-if」機能により、正しい設計への最速ルートです。

新しいトピック、機能、コンテンツ、技術専門家についてのディスカッションに参加してください。

詳細なユーザーアプリケーションノート、トレーニングリソースなどにアクセスしてください。

開発と設計の経験と方法論の専門知識を独自に組み合わせて、複雑なテクノロジーや企業の課題に取り組み、ビジネスへの影響を最大化できるよう支援します。