日本ケイデンス・デザイン・システムズ社

EDA業界をリードするケイデンスは、System Design Enablementソリューションを提供し、LSI開発からシステム製品開発まで幅広くサポートしています。DSFoum 2016では、下記2件について発表いたします。

◆フォーマル検証ソリューション
ケイデンスのフォーマル解析テクノロジは、テストベクタを用いずにアサーションベースの検証を行うことが可能となり、テストベンチ・シミュレーションに較べて数ヶ月前倒しに検証を開始することが可能となります。「Design-Techセッション」では、新しいフォーマル検証アプリで非同期デザインの疑似エラーを大幅に削減するJasperGold CDC(Clock Domain Crossing) をご紹介します。

◆テンシリカDSP
テンシリカDSPは、ライセンス可能なプロセッサとして最も普及しているDSPのひとつであり、センサーからスーパーコンピュータまで様々な製品に組み込まれ市場に出荷されています。「Image&Visionセッション」では、ビジョンプロセッシングに加え組み込み向けニューラルネットワークアプリケーションの処理能力を飛躍的に向上させたテンシリカVision P6 DSPとCNNのソリューションをご紹介します。