Electronic Design and Solution Fair 2008
 
CyberTec(株)
CyberTec Inc.
704
 
 
所在地 〒224-0032
神奈川県横浜市都筑区茅ヶ崎中央50番17号 C・M Port 5F
CM Port 5F 50-17 Chigasaki-chuo, Tsuzuki-ku,Yokohama, Kanagawa
連絡先 営業部
Sales Department
TEL:045-945-3690
FAX:045-945-3680
E-mail:EDSF2008@cyber-tec.co.jp
URL:http://www.cyber-tec.co.jp
出展物紹介 新製品
サイバーテックは、機能検証のエキスパートとして、米Jasper Design Automation社のフォーマル検証ツール「JasperGold」を中心とした、実績豊富な検証ソリューションを展示致します。2007年12月リリース予定の最新バージョン「JasperGold 4.6」のデモ展示の他に、昨年ご好評
頂いた「フォーマル検証ノウハウ冊子」の最新版を今年も限定配布致します。検証品質・検証効率の改善にお悩みの方は、是非サイバーテック・ブースにお立ち寄り下さい。
出展者セミナー  
CyberTec(株)
1月24日(木) E204-24-2  11:30 〜 12:15
「頭とフォーマルは使いよう!」

野々下 博氏 (技術部)
「フォーマル検証は難しい」、その固定概念を無くせば検証の品質・効率を大きく改善できます。当セミナーでは、「JasperGold」を用いた容易なフォーマル技術の活用法を目的別にご紹介致します。
1月25日(金) E204-25-2  11:30 〜 12:15
「アサーション書いたら先ずはフォーマル!」

野々下 博氏 (技術部)
実用の進む「アサーションベース検証」。より検証効果を追求するには、その適用順序がとても重要です。当セミナーでは、アサーションとフォーマルを組み合わせた効果的な検証手法をご紹介致します。

   
   



 
 




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