Electronic Design and Solution Fair 2008
 
(株)ガイア・システム・ソリューション
GAIA System Solutions Inc.
504
 
 
所在地 〒141-0022
東京都品川区東五反田3-14-13 高輪ミューズビル
Takanawa Muse Bldg. 3-14-13 Higashi Gotanda, Shinagawa-ku, Tokyo
連絡先 システム営業部
System Sales Dept.
TEL:03-3443-9720
FAX:03-3443-9721
E-mail:first_contact@gaiaweb.co.jp
URL:http://www.gaiaweb.co.jp/
出展物紹介 世界初 新製品
米国アベラント社のフォーマル検証ツールSolidifyのversion5.0を新機能「coverage expansion」を中心にご紹介いたします。
また従来のAMBAプロトコル検証ツールSolidPCに加え、
AerieLogic社Formal-VIPsとSolidifyの統合による
OCPプロトコル検証ツールのご紹介もいたします。
1月25日16:30-17:15、中2階・DM6にて出展者セミナー「テストベンチいらずのセミフォーマル検証手法とOCPプロトコル検証サポート」を開催致しますので、是非お越し下さい!
出展者セミナー  
(株)ガイア・システム・ソリューション
1月25日(金)
世界初
新製品
DM6-25-7  16:30 〜 17:15
テストベンチいらずのセミフォーマル検証手法とOCPプロトコル検証サポート
Ramin Hojati氏、Samuel Dellacherie氏 (CEO/Averant社
CEO/AerieLogic社)
近年セミフォーマル手法を用いたバグハンティングがRTLの検証で効果を挙げつつある。従来の方法では、テストベンチとプロパティを用い、シミュレーションとフォーマル検証双方を使用しなければならなかった。
アベラント社は、網羅的フォーマル検証をスタートするカバレッジポイントを自動/手動で設定する機能を開発、テストベンチを用いることなく、セミフォーマル検証によるバグハンティングを実現する検証手法をユーザに提供する。また、このたびAerieLogic社との技術提携によって実現されたOCPのプロトコルチェックの概要について紹介する。

プレスリリース ・Averant社 と AerieLogic社が技術提携 より使い易いフォーマルプロパティ検証環境をサポート(2007/12/17)
   
   



 
 




日本エレクトロニクスショー協会
phone : 03-5402-7601 FAX:03-5402-7605
http://www.jesa.or.jp
ALL Rights Reserved by Japan Electronics Show Association
当サイトはIE5.0以上、 NN4.7以上で動作確認を行っております