出展物紹介リアルインテント社は、最新の自動検証ソリューションをASICやFPGAデザインに提供しており、設計品質の向上ならびに検証TAT短縮を実現しています。革新的な独自のフォーマル技術を持つリアルインテント社のツール群により、論理設計における重要な問題を容易に解決することが可能となります。(設計に対するコンストレイト(SDC/TCL)が完全に正しいかどうかの検証及び最新のフォーマル機能エンジンによるフォルスパスやマルチサイクルパスの検証)また、SpringSoft社Debussy/VerdiへのI/Fサポートしており、OEMバージョンではリアルインテント社ツール群から直接使用することが可能です。