Vendors - Real Intent

会社概要

リアルインテント社は、最新の論理検証ソリューションを提供するEDAカンパニーです。独自のフォーマル技術を持つリアルインテント社のツール群により、論理設計における重要な問題を解決することが可能になります。

出展製品概要

Ascent - 自動機能検証ツール
Ascentは設計早期の段階で発生するバグをリント、構造解析、フォーマル技術により検出する自動検証ツールです。 Ascentにより、設計品質ならびに検証サイクルの短縮を大幅に改善することが可能となります。

Meridian - CDCツール
Meridianは、構造解析、フォーマル技術ならびにシミュレーションとの連動技術を備えた強力なCDCツールであり、これにより設計内のCDCが正しく動作するか検証し保証することが可能となります。また、FPGA設計に特化したMeridian FPGAをサポートしています。