Electronic Design and Solution Fair 2006
 
カリプト・デザイン・システムズ社
Calypto Design Systems, k.k.
601
 
 
本社 〒222-0033
横浜市港北区新横浜2-3-4 クレシェンドビル 9F
カリフォルニア州サンタクララ市 バンカーヒルレーン2933 202号
2-3-4 Shin-Yokohama, Crescendo Build. 9F, Kouhoku-ku, Yokohama 222-0033, JAPAN
2933 Bunker Hill Lane, Suite 202, Santa Clara, CA 95054
連絡先 鈴木英機
Eiki Suzuki
TEL:(045)470-2070
FAX:(045)470-2079
E-mail:info_japan@calypto.com
URL:http://www.calypto.com
出展物紹介 Calypto Design Systems社は、昨年4月に業界初で唯一のシーケンシャル等価性検証ツール「SLEC」をリリースしました。SLECは、RTL以上の上流設計において、シーケンスの異なる2つのデザイン間の機能的等価性を保証します。これは、従来の等価性検証ツールが取り扱うことの出来なかった動作合成やRTL最適化、リタイミングなどに対応できることを意味しています。SLECは、Verilog-HDLやVHDLに加え、SystemC、C/C++にも対応していますので、Cベース設計に欠かせない検証ツールになります。また従来のHDLでの設計現場においても、ナノメータ時代に必要とされる生産性を考慮した最適化、高性能化、低消費電力化に適応できる等価性検証ツールとして、新しいフォーマル検証の可能性を切り開きます。EDSF2006は、カリプト・デザイン・システムズ(株)にとりましてはじめての展示会です。皆様のご来場を心よりお待ちいたしております。
出展者セミナー  
 
カリプト・デザイン・システムズ社
1月26日(木) 第8会場 (E204)  13:30 〜 14:15
動作合成、RTL最適化フローにおける機能的等価性検証
山本 修作氏 (Technical Account Manager / 米国Calypto Design Systems, Inc.)
Calypto社のSLECは、動作合成やRTL最適化に対応した業界唯一の等価性検証ツールです。SystemCやC/C++からの動作合成前後では、機能は同じでもシーケンスやマイクロ・アーキテクチャが異なります。これらの違いを越えて、デザイン間の機能的等価性を保証する方法を紹介します。またナノメータ時代に必要とされる生産性を考慮したRTLでの最適化、高性能化、低消費電力化に向けた等価性検証についても述べます。
1月27日(金) 第1会場 (C11)  11:30 〜 12:15
動作合成、RTL最適化フローにおける機能的等価性検証
山本 修作氏 (Technical Account Manager / 米国Calypto Design Systems, Inc.)
Calypto社のSLECは、動作合成やRTL最適化に対応した業界唯一の等価性検証ツールです。SystemCやC/C++からの動作合成前後では、機能は同じでもシーケンスやマイクロ・アーキテクチャが異なります。これらの違いを越えて、デザイン間の機能的等価性を保証する方法を紹介します。またナノメータ時代に必要とされる生産性を考慮したRTLでの最適化、高性能化、低消費電力化に向けた等価性検証についても述べます。




 



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