|
|
日本リアルインテント(株) |
|
|
|
先進のRTL検証ベンダー:リアルインテント社ブースに是非お立ち寄りください
RTL検証のリーディングプロバイダーとして16年の実績を持つ弊社の製品は、日本そして世界の様々な分野のトップ企業様にご愛顧頂いております。ブースでは以下の製品を中心に随時ご紹介しております。従来のツールとの違いを是非ブースにてお確かめください。
リント検証ツール Ascent Lint
・ クリアに分類されたスマートルールによる、分かりやすい高精度レポート
・ 圧倒的なパフォーマンス(他社比~50倍等)、大容量
自動フォーマル検証ツール Ascent IIV
・ テストベンチ、アサーションの作成不要、RTLコーディング後すぐに機能検証を実施可能
・ 独自のスマートレポーティング機能により、高精度かつデバッグが必要なレポート量を削減(他社比1/20~1/30)
CDC検証ツール Meridian CDC
・ 独自のセットアップ・サインオフフローにより、高精度かつ、疑似エラーを他社の1/10~1/20に削減
・ エンジン、データベースをCDC検証専用に開発することで、ハイパフォーマンス(他社比10~30倍)と大容量(200Mゲートをフラットに検証可能)を実現
展示製品一覧
Lint検証 Ascent Lint
自動フォーマル検証 Ascent IIV
X伝搬検証 Ascent XV
タイミング制約管理 Meridian Constraints
CDC検証 Meridian CDC
|
|
|
|
|