Real Intentは、1998年に設立されカリフォルニア州のサニーベールに本社が御座います。20年間蓄積されたスタティック検証技術を結集・投入し、複雑なSoC(ASIC, FPGA)の問題を解決するためにクロック、及びリセットドメインクロッシング検証、高度なRTL解析を提供します。最近では各製品とも高度なエンジン/アルゴリズムに裏打ちされた圧倒的な精度、パフォーマンス、疑似エラーの少なさ及び使いやすさにより、御客様のROIに大きく貢献し、多くのサクセスストーリーを頂戴しております。御検討の際は、ぜひ御連絡ください。
御客様の声はこちらになります。
本社の御紹介です。
・Ascent Lint: Ascent Lintは、業界最速かつ低ノイズのRTL Lintソリューションです。
・Ascent AutoFormal: Ascent AutoFormalは、発見する事が比較的困難なRTLバグを見つける事ができます。
・Meridian CDC / Verix CDC: Meridian CDC及びVerix CDC は、プロセッシング技術を使った業界最速、最大容量、最も精密なCDCソリューションです。
・Meridian RDC: Meridian RDCは、リセットドメインクロッシングソリューションです。ソフトウェア及び/又は低電力リセットから発生するメタスタビリティの問題により、デザイン全体に及ぼす可能性のある問題を特定できます。
・Verix DFT: Verix DFTは、RTLおよびゲートレベルの設計違反を迅速に特定し、スキャンのテスト容易性とカバレッジを向上させるのに役立ちます。
弊社製品を御使用頂いておりますユーザー様の声になります。
https://www.realintent.com/cdc-handshake-sign-off-methodology-nvidia-meridian-cdc/
https://www.realintent.com/efficient-static-verification-ascent-autoformal-meridian-cdc-fujitsu/
https://www.realintent.com/rdc-verification-cpu-subsystem-st-microelectronics/
https://www.realintent.com/hierarchical-clock-domain-crossing-samsung-meridian-cdc/
https://www.realintent.com/clock-reset-verification-memory-controller-soc/
・参考URL
Static Sign-Off Best Practices DAC Panel Proceedings
https://www.realintent.com/static-sign-off-best-practices-dac-panel-proceedings/
規格について
自動車 及び 医療機器、プラント、発電所、機械、鉄道、家電やシステムリスクを軽減するための機能安全規格であるISO 26262 及び IEC61508につきましては、下記の製品が認証されております。
Ascent Lint, Auto Formal, Meridian CDC, Verix CDC, Meridian RDC, Verix DFT