Electronic Design and Solution Fair 2007
 
カリプト・デザイン・システムズ(株)
CALYPTO DESIGN SYSTEMS K.K.
602
 
 
所在地 〒222-0033
神奈川県横浜市港北区新横浜2-3-4
クレシェンドビル9F
9F Crescendo Bldg.
2-3-4 Shin-Yokohama, Kohoku-ku
Yokohama 222-0033 Japan
連絡先 営業部
Sales
TEL:045-470-2070
FAX:045-470-2079
E-mail:info_japan@calypto.com
URL:http://www.calypto.com
出展物紹介 Calypto社のSLECは、RTLよりも上流の設計においてシーケンス(内部構造)が異なる2つのデザイン間の機能的等価性を証明します。従来の技術では取り扱えなかった複雑なリタイミングやクロック・ゲーティングなどにも対応し、これまで避けがちだった高度なRTL最適化への障害を取り除くことが出来ます。

SLECはVerilog-HDL/VHDLに加え、C/C++/SystemCにも対応していますので、動作合成前後の検証にもお使いいただけます。また広く普及しているC言語設計の人手によるC-RTLフローでも、RTLのバグ発見から機能検証(等価性の証明)までをカバーします。

弊社ブースでは、これまで等価性検証が視野に入っていなかった分野をSLECが切り開いて行くことをご覧頂けます。「こんな事が出来るだろうか?」とお立ち寄りください。皆様のご質問、問題点に的確にお応えいたします。ご来場をお待ちしております。
出展者セミナー  
カリプト・デザイン・システムズ(株)
1月25日(木) DM6  15:30 〜 16:15
マニュアルC設計フローにおけるパラダイム・シフト
〜 SLECによる"ANSI C vs RTL"の等価性検証 〜

山本修作氏 (Calypto Design Systems, Inc.
Technical Account Manager)
C言語が、信号処理アルゴリズムを中心にハードウェア設計の上流工程で使われるようになったのは意外に古く、Verilog/RTL設計よりも更に時をさかのぼります。

近年C言語がESL設計として注目され、動作合成やSystemC/TLMなどの事例が報告されています。しかし未だに上流工程だけに用いられることも多く、下流工程まで活用する際にも人手でRTLを書いた後、ランダム・テストなどのシミュレーションによる検証が一般的です。そのためRTLの設計・検証に多くを費やしても、機能的なバグによる再設計は依然高いリスクとして存在しています。

このセミナーでは、そのようなC-RTL手法における機能検証に対する解決策をデモを交えてご紹介いたします。これはESL手法に応用しても革新的ですので、C/C++/SystemCを用いる全ての設計者に非常に有益な内容となっております。皆様のご参加を心よりお待ちいたしております。
1月26日(金) E205  15:30 〜 16:15
マニュアルC設計フローにおけるパラダイム・シフト
〜 SLECによる"ANSI C vs RTL"の等価性検証 〜

山本修作氏 (Calypto Design Systems, Inc.
Technical Account Manager)
C言語が、信号処理アルゴリズムを中心にハードウェア設計の上流工程で使われるようになったのは意外に古く、Verilog/RTL設計よりも更に時をさかのぼります。

近年C言語がESL設計として注目され、動作合成やSystemC/TLMなどの事例が報告されています。しかし未だに上流工程だけに用いられることも多く、下流工程まで活用する際にも人手でRTLを書いた後、ランダム・テストなどのシミュレーションによる検証が一般的です。そのためRTLの設計・検証に多くを費やしても、機能的なバグによる再設計は依然高いリスクとして存在しています。

このセミナーでは、そのようなC-RTL手法における機能検証に対する解決策をデモを交えてご紹介いたします。これはESL手法に応用しても革新的ですので、C/C++/SystemCを用いる全ての設計者に非常に有益な内容となっております。皆様のご参加を心よりお待ちいたしております。

   
   



 
 




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