出展者詳細 日本リアルインテント(株)
B-33 

日本リアルインテント(株)
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 ”。 その理由をご紹介します。

連絡先

鳥澤 康雄

TEL:045-550-3054   FAX:045-227-4233
E-mail:sales_jp@realintent.com
URL:http://www.realintent.com/

所在地

〒231-0021
神奈川県横浜市中区山下町7番地
日本大通7ビル 4F YBP内

出展者一覧 / 検索 に戻る

出展者セミナー聴講事前登録はこちら/マイページはこちら

主催者

同時開催

Embedded Technology 2013

メディアパートナー

Tech-On

EDN

EETIMES Japan

半導体産業新聞

このページの先頭へ