Electronic Design and Solution Fair 2007
 
(株)ガイア・システム・ソリューション
GAIA System Solutions Inc.
102
 
 
所在地 〒141-0022
東京都品川区東五反田2-7-14五反田栗の木ビル
Kurinoki Bldg. 2-7-14, Higashi Gotanda, Shinagawa-ku, Tokyo 141-0022, Japan
連絡先 営業部
Sales Div.
TEL:03-3443-9720
FAX:03-3443-9721
E-mail:first_contact@gaiaweb.co.jp
URL:http://www.gaiaweb.co.jp/
出展物紹介 ガイア・システム・ソリューションでは、豊富な開発環境を揃え、上流設計から下流設計まで、お客様に最適なソフトウェア&ハードウェア設計プロセスをご提案させていただいております。

■米国Averant社が開発したSolidifyは、SVA/PSL言語対応のCoverage機能を備えたピュアなフォーマル検証ツールです。ラインナップには、プロパティ記述のいらないオートチェック機能に特化したリーズナブルなSolidCheckやAMBAプロトコル専用のSolidPCもあります。
プレスリリース ・米国Averant,Inc、自動フォーマル検証ツールSolidCheckを発表(2007/1/23)
   
   



 
 




日本エレクトロニクスショー協会
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以上で動作確認を行っております