出展者詳細 CyberTec(株)
002 

CyberTec(株)
CyberTec Inc.

出展物紹介

こんな問題で悩んでいませんか?

■実機で不具合発生、さあ大変! その時あなたはどうしますか?
・バグの現象は分かっても、原因が分からない。
・シミュレーションで再現しようとしても、どういう入力を与えればよい
 のかさっぱり分からない。
・原因は突き止めたけれど、これだけなのかどうか自信がない。
・対策を施したけれど、完全かどうか自信がない。

■過去の設計を再利用しようとしてみたが。。。
・中身がさっぱり分からない。
・どこをどう変更すればいいのか分からない。
・ドキュメントとRTLが一致しない。
・修正が新たなバグを生み出していないか不安だ。

■自分のRTLをデバッグしようとしてみたが。。。
・テストパターン作りは大変。
・テストベンチの作成はもっと大変。
・もっと簡単な機能確認の方法はないのかなあ?

このような問題がJASPER社のフォーマル技術で解決できることをご存じでし
たか?

JASPER社のフォーマル技術は、アーキテクチャ検証からポストシリコンデバ
ッグまで幅広いアプリケーションで活用され、設計品質の向上と検証工数の
軽減に大きな効果を発揮しています。そして今回、プロパティシンセシスを
可能にする新製品も投入され、ますます取り組み易くなり、さらに活用の幅
が広がります。

あなたの問題のソリューションをサイバーテックのブースで見つけてみませ
んか?


出展者セミナー

1月27日(木) 時間:11:30 〜 12:15   会場:E204
フォーマルエンジン始動! 設計品質と検証効率を改善せよ
野々下 博
取締役 テクノロジスト
JASPER社は、アーキテクチャー検証からポストシリコンのデバッグまで広範囲にわたり、お客様の問題を解決するソリューションを提供しています。

特にアサーション不要のVisualize機能やポストシリコンのデバッグは容易に使え効果をあげており、大きな投資対効果を実現しています。当セミナーでは、JASPER社の製品を実際にどのように活用すれば効率的に高い効果を得られるのかをご紹介します。

フォーマル技術をさらに進化させた高品質のプロパティシンセシスを実現する新製品もご紹介します。
1月28日(金) 時間:10:30 〜 11:15   会場:E204
フォーマルエンジン始動! 設計品質と検証効率を改善せよ
野々下 博
取締役 テクノロジスト
JASPER社は、アーキテクチャー検証からポストシリコンのデバッグまで広範囲にわたり、お客様の問題を解決するソリューションを提供しています。

特にアサーション不要のVisualize機能やポストシリコンのデバッグは容易に使え効果をあげており、大きな投資対効果を実現しています。当セミナーでは、JASPER社の製品を実際にどのように活用すれば効率的に高い効果を得られるのかをご紹介します。

フォーマル技術をさらに進化させた高品質のプロパティシンセシスを実現する新製品もご紹介します。

連絡先

CyberTec株式会社 営業部
CyberTec Inc. Sales Dept.
TEL:045-945-3690   FAX:045-945-3680
E-mail:edsf2011@cyber-tec.co.jp
URL:http://www.cyber-tec.co.jp

所在地

〒224-0032
神奈川県横浜市都筑区茅ヶ崎中央50-17 C・MPort5階
CM Port 5F 50-17 Chigasaki-chuo,Tsuzuki-ku,Yokohmama,Kanagawa

出展者一覧 / 検索 に戻る

主催者

メディアパートナー

Tech-On

EDN Japan

半導体産業新聞

EE Times Japan

同時開催

このページの先頭へ

出展をご検討の方
個人情報保護方針 | 著作権について | お問い合わせ / ご意見・ご要望 | 交通アクセス | サイトマップ