Electronic Design and Solution Fair 2009
 
OneSpin Solutions Japan K.K. 507
 
 
所在地
4th Floor, Nishi-Shinjuku GF Building,
8-3-1 Nishi-Shinjuku
Shinjuku-Ku,
TOKYO 160-0023
連絡先
Michael Siegel, Produkt Marketing
TEL:+49 89 99013 0
FAX:+49 89 99013 400
E-mail:michael.siegel@onespin-solutions.com
URL:http://www.onespin-solutions.com
出展物紹介 OneSpin Solutions社は、ASIC、SoC、及びFPGA設計向けに、革新的かつ高性能のフォーマル検証ソリューションを提供します。OneSpinは、フォーマル検証における300設計年以上の経験と技術に基づいた特許取得済みの手法により、最高の機能品質と大幅な検証工数・コストの削減を実現します。市場で実証済みのOneSpinの手法と製品は、フォーマル検証をスケーラブルな設計プロセスへと変革します。機能検証におけるアサーションの使用は、急速に広まっています。EDSFでは、仕様に準拠したアサーション開発の簡素化と加速のため、タイミング・ダイアグラムとテストベンチ向けのオペレーション・トランザクションのビューの活用方法、OneSpinの360 Module Verifierによるオペレーション主導のアサーションの効率的かつ徹底的な検証について紹介します。



OneSpin Solutions provides innovative, highest-performance formal verification solutions for ASIC, SoC and FPGA designs. OneSpin's patented technology - built upon more than 300 engineer-years of experience and technology development in formal verification - enables highest functional quality and significant reductions of verification effort and costs. OneSpin's customer-proven methodologies and tools transform formal verification into a scalable engineering process. Privately held, the company is headquartered in Munich, Germany and maintains offices in Sunnyvale, California, USA and Tokyo, Japan.
出展者セミナー  
OneSpin Solutions Japan K.K.
1月22日(木) 時間:13:30 〜 14:15   会場:DM2
Working from Timing Diagrams to Ease and Speed Formal Assertion-Based Verification
Thanyapat Sakunkonchak
Application Engineer at OneSpin Japan KK.
セミナー・タイトル:「タイミング・ダイアグラムの使用により、フォーマル・アサーション・ベースの検証を簡素化し、加速する手法について」
機能検証におけるアサーションの使用は、急速に広まっています。アサーションの使用は、検証期間を短縮し、設計の品質向上のために動的およびフォーマル・アサーション検証の強みを補完します。セミナーでは、仕様に準拠したアサーション開発の簡素化と加速のため、タイミング・ダイアグラムとテストベンチ向けのオペレーション・トランザクションのビューの活用方法、OneSpinの360 Module Verifierによるオペレーション主導のアサーションの効率的かつ徹底的な検証について紹介します。

   
   



 
 




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