日本リアルインテント(株)

スタティックRTL検証のリーディングプロバイダーとして17年の実績を持つ弊社のブースでは、以下の製品を中心に随時ご紹介しております。従来のツールとの違いを是非ブースにてお確かめください。

リント検証ツール：　Ascent Lint
・ スマートルール（冗長でない）により、理解しやすく、擬似エラーの無い高精度レポートを実現
・ 圧倒的なパフォーマンス（他社比～50倍等）、大容量

自動フォーマル検証ツール：　Ascent AutoFormal
・ 弊社独自のフォーマル技術により、面倒なテストベンチ、アサーションなしで、RTLの機能不具合を検出
・ 弊社独自のスマートレポーティング機能により、根本原因が直れば自動的に直るエラーを別分類とすることで、デバッグ量を大幅削減（他社比1/20～1/30）

X伝搬検証ツール：　Ascent XV
・ 弊社独自のプライオリティーレポートにより、RTL、ネットリストで生じるX伝搬の不整合をシステマティックに解決
・ スタティックなX伝搬解析によりカバレッジ100%を実現

タイミング制約管理ツール：　Meridian Constraints
・ タイミング制約の生成、検証
・ タイミング例外制約の解析、デバッグ

CDC検証ツール：　Meridian CDC
・ 独自のセットアップ・サインオフチェックと高精度FIFO認識機能等により、疑似エラーを他社の1/10～1/20に削減した高精度レポートを実現
・ CDC検証専用エンジン、データベースを開発することで、ハイパフォーマンス（他社比10～30倍）と大容量（200Mゲートをフラットに検証可能）を実現