日本リアルインテント(株)
Nihon Real Intent, K.K.

出展物紹介

RTLの検証効率をトータルで向上するには、ツールの実行時間だけではなく、提供される検証結果がユーザーにとって使い易いことが決め手になります。リアルインテント社は、「最も検証効率の良い検証結果/デバッグ環境を提供する」をコンセプトに、ハイパフォーマンス、ハイキャパシティーなRTL検証ツールを開発しております。　

■　Lint検証　　　　　　　Ascent Lint
■　自動フォーマル検証　　Ascent IIV
■　X伝搬検証　　　　　　 Ascent XV
■　タイミング制約管理　　Meridian Constraints
■　CDC検証　　　　　　　 Meridian CDC

自動フォーマル検証ツール Ascent IIVは、日本電気株式会社に御採用頂き、プレスリリースさせて頂きました。

http://www.realintent.com/wp-content/uploads/2013/11/NEC-IIV-Japanese-Press-Release-final-ver-Nov-8-2013pdf.pdf

出展者セミナー

2013年 11月22日(金)	時間：16:00 - 16:45 　　会場：CM3 　　セッション番号：【ED-07】 リアルインテント社独自のプロダクトアーキテクチャによる、高効率RTL検証手法のご紹介 神田 和孝 シニアアプリケーションマネージャー
	近年、北米を中心にユーザー数が大幅に増加中のリアルインテント社製品、オート・フォーマル検証 “ Ascent IIV ”と、非同期検証 “ Meridian CDC ”。　その理由をご紹介します。