日本リアルインテント株式会社

先進のRTL検証ベンダー：リアルインテント社ブースに是非お立ち寄りください！

RTL検証のリーディングプロバイダーとして15年の実績を持つ弊社の製品は、各分野のトップ企業様に長年ご愛顧頂いておりますが、昨今その先進的なアーキテクチャが広く認知されるようになり、北米のお客様を中心により一層ご導入頂いております。

自動フォーマル検証ツール　Ascent IIV
Ascent IIVは、リント感覚で機能検証ができる、自動フォーマル検証ツールです。作成の面倒なテストベンチやアサーションは、必要ありません。弊社独自のスマートレポーティング機能により、高精度かつデバッグが必要なレポート量を削減（他社比1/20～1/30）することによりデバッグ効率を飛躍的に高めることができます。

CDC検証ツール　Meridian CDC
Meridian CDCは、リアルインテント独自のセットアップサインオフフローにより、疑似エラーを廃した高精度レポートを実現しております。
エンジン、データベースをCDC検証専用に開発することで、ハイパフォーマンス（他社比10～30倍）と大容量（200Mゲートをフラットに検証可能）を実現致しました。

展示製品一覧