• EDSFair2011 2011年1月27日(木)、28日(金)開催予定!	EDSFair2010にご参加いただき、誠にありがとうございました。
  • Home
  • EDSFairについて
  • 出展者検索
  • 出展者セミナー
  • 特設ステージ
  • 特別ゾーン
  • 新興ベンダ・ガイド・ツアー
  • FPGA/PLD Design Conference
  • 交通アクセス / 宿泊
  • プレスルーム
  • お問い合わせ

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

日本リアルインテント(株)
REAL INTENT, INC.
世界初 日本発

出展物紹介

リアルインテント社は、最新の自動検証ソリューションをASICやFPGAデザインに提供しており、設計品質の向上ならびに検証TAT短縮を実現しています。
革新的な独自のフォーマル技術を持つリアルインテント社のツール群により、論理設計における重要な問題を容易に解決することが可能となります。
■Ascent
 -自動機能検証ツール
 (テストベンチ無しの完全自動検証)
■Meridian
 -クロック・ドメイン・クロッシング検証ツール
 (構造解析及び機能解析の組み合わせによる最も正確なCDC解析) 
■PureTime
 -デザインコンストレイント及び対タイミングイクセプション検証ツール
 (設計に対するコンストレイト(SDC/TCL)が完全に正しいかどうかの検証及び最新のフォーマル機能エンジンによるフォルスパスやマルチサイクルパスの検証)
また、SpringSoft社Debussy/VerdiへのI/Fサポートしており、OEMバージョンではリアルインテント社ツール群から直接使用することが可能です。

Real Intent, Inc. delivers verification confidence by providing automatic verification solutions for ASIC and FPGA designs. Through innovation and unique application of formal techniques, the Real Intent tools provide powerful solutions to important design and verification problems. Exhibited products at EDSFair include Ascent for early functional verification; Meridian for Clock Domain Crossing verification; and PureTime for design constraints validation. In use at over 40 major customers worldwide, Real Intent tools help make the most complex designs possible.


出展者セミナー

1月28日(木)
世界初
時間:15:30 〜 16:15   会場:E206
Formal Technology for Verification
Prakash Narain, Ph.D.
President & CEO
In this seminar, we will cover the basics of formal verification technology, and how it can be applied to different applications such as automatic functional verification, clock domain crossing verification and time exception verification. Formal technology applied to verification has a lot of benefits: exhaustive search and proof, no need to develop testbench, and counter examples to illustrate failure trace to aid in debugging. Examples will be given to demonstrate the power of formal analysis techniques in detecting design errors for these applications.

連絡先

日本リアルインテント(株)
坂野勝彦 / General Manager of Japan
REAL INTENT, INC.
Jin Zhang / Director of Technical Marketing
TEL:03-6459-7115   FAX:03-6459-7116
E-mail:support-japan@realintent.com
URL:http://www.realintent.com

所在地

〒104-0031
東京都中央区京橋2-11-6
京橋彌生ビル10階
505 North Mathilda Avenue, Suite 210
Sunnyvale, CA 94085 USA

出展者一覧 / 検索 に戻る