アルデック・ジャパン株式会社

＜展示概要＞

アルデックは、すべてを差別化する、実績のあるEDAソリューション・プロバイダです。
統合FPGA開発環境、エミュレーション・アクセラレーション・プロトタイピング検証環境、要求ライフサイクル管理環境、高信頼性アプリケーション向けコンプライアンス・ツールセット等を紹介します。

＜展示製品・ソリューション名＞

・要求ライフサイクル管理(Spec-TRACER)
・Windows/Linuxベース業界最高スペックハードウェア・
　アシスト検証環境(HES)
・OS-VVM/OVM/UVM対応検証プラットフォーム(Riviera-PRO)
・FPGA向けデザイン・マネジメントおよびシミュレーション統合環境
　(Active-HDL)
・FPGAアプリケーション・デザインに於いて、
　シェア＃１のSTARCルール・リントチェッカー (ALINT)
・コンピュータ・リソースを無限に利用可能なクラウドサービス
　(Aldec Cloud)
・各種VIP/IP
・DO-254 コンプライアンス・ツール・セット(DO-254 CTS)
・Microsemi RTAX/RTSX プロトタイピング・ボード

＜URL＞　http://www.aldec.com/jp

カーボン・デザイン・システムズ・ジャパン株式会社  

＜展示概要＞

ARM社のプロセッサ、バス、周辺IPを含む全てのIPの100%サイクル精度モデルをベースとしたESLツール“Carbon SoC Designer Plus”、クラウドベースのモデル生成サイト“Carbon IP Exchange”とCPAK(Carbon Performance Analysis Kits)およびRTLから100%サイクル精度のモデルを生成するモデル開発ツール“Carbon Model Studio”を展示します。

＜展示製品・ソリューション名＞

1. Carbon SoC Designer Plus
2. Carbon IP Exchange
3. CPAK(Carbon Performance Analysis Kits)
4. Carbon Model Studio

＜URL＞ Carbon社リンクURL情報：
http://www.carbondesignsystems.com

• 日本ワンスピン・ソリューションズ株式会社

＜展示概要＞

OneSpin 360 MV 製品ファミリーによる機能RTL設計に対してアサーションベースのフォーマル検証ソリューションを紹介します。併せてより可視化されたカバレッジを基準としたアサーション開発手法を紹介します。さらにりタイミングを考慮した機能等価検証を紹介します。
またDACで発表されたクラウドベースの管理システムも紹介。

＜展示製品・ソリューション名＞

-設計検証

• 360 MV Inspect™
  プッシュボタンPush-Button RTL-Sign-Off &SoC インテグレーション検証
• 360 MV Verify™
  自動化およびアサーションベースのIPブロック＆Automated & Assertion BasedIP Block & SoC インテグレーション検証SoC
• 360 MV Certify™
  100％機能検証による仕様とRTL設計間の自動ギャップフリー検証と自動ギャップ発見機能 -合成検証

-合成検証

• 360 EC
  ASICおよびFPGA設計フローに対するRTL-RTL,RTL-Gateの機能等価検証とりタイミングに対する強力なシーケンシャル最適化検証

＜URL＞http://www.onespin-solutions.com/

株式会社シンコム

＜展示概要＞

JASPER社ではアーキテクチャー検証からポストシリコンのデバッグまで幅広フォーマル検証アプリケーションを提供しています。直近ではローパワー検証、等価性検証、セキュリティ検証への対応、IP-XACTサポートなどが加わりました。

＜展示製品・ソリューション名＞

JasperGold Apps
・アーキテクチャー検証
・フォーマルプロパーティ検証
・不定値伝搬検証
・接続検証
・レジスタ検証
・プロパティ自動生成
・ローパワー検証
・シーケンシャル等価性検証
・セキュリティー検証
・フォーマルカバレッジ抽出
・AMBA、OCP検証IP

<URL>
http://www.synkom.co.jp/

株式会社日本サーキット

＜展示概要＞

日本サーキットが国内総代理店を務める、S2C社（本社：米国）はFPGAベースのプロトタイピングツール及び、協調検証環境、自動分割ツールなどを含めた自社製ソフトウエアを提供するベンダーです。
今回は、メンター・グラフィックス社製ESLツール Vistaとの協調動作環境例のデモを中心に、様々なスケールを持つS2Cのボードソリューションを展示いたします。

＜展示製品・ソリューション名＞

・サードパーティとしては世界で最初にリリースした
　Virtex-7 2000T 搭載ボード
・小規模・安価で、手軽にFPGAプロトタイピング環境を構築出来る　Kintex-7搭載ボード
・ESLツールとの協調などを実現したC-APIソリューション
・各種モジュール（DAC、DVI、PCIe　etc)の御紹介
・GHz帯も安心してお任せできる、回路〜基板設計サービス
　日本サーキット受託サービスのご案内

＜URL＞http://www.circuit.co.jp/

日本リアルインテント株式会社

＜展示概要＞

RTLの検証効率をトータルで向上するには、ツールの実行時間だけでなく、提供される検証結果がユーザーにとって使い易いことが決め手になります。リアルインテント社は、「最も検証効率の良い検証結果/デバッグ環境を提供する」をコンセプトにハイ・パフォーマンス、ハイ・キャパシティーなRTL検証ツールを開発しています。

＜展示製品・ソリューション名＞

・ Lint検証／Ascent Lint
・ 自動フォーマル検証／Ascent IIV
・ X伝搬検証／Ascent XV
・タイミング制約管理／Meridian Constraints
・ CDC検証／Meridian CDC

＜URL＞http://www.realintent.com/

ミラビリス・デザイン社

＜展示概要＞

トラフィック解析ツールを活用し、AVBモデルの開発手法やFPGAのチップコスト低減の具体的手法を紹介。

＜URL＞http://www.mirabilisdesign.com/new/

マジレム・デザイン・サービス社

＜展示概要＞

マジレムが提供しているIP-XACTベースの設計・検証ソリューションを紹介します。
マジレムはIP-XACTを用いた最も広範囲なソリューションを提供しています。マジレムが提供しているツールセットはSystemC TLM2.0, SystemC AMS, OCP TLM and IP-XACT  IEEE1685といった業界標準をサポートしており、複雑なシステムの構築、メモリマップ等の定義、ネットリストの出力およびHDLシミュレータなど他社ツールとの自動リンクをサポートしています。更にシーケンスを予め定義しておくことにより、デバイス・ドライバやヘッダ・ファイルを自動生成することも可能です。

＜URL＞http://www.magillem.com/eda/

株式会社エッチ・ディー・ラボ

＜展示概要＞

＜展示製品・ソリューション名＞

＜URL＞http://www.hdlab.co.jp/web/index.php

MathWorks Japan

＜展示概要＞

MATLAB、Simulinkはモデリング、解析、コード生成、テスト検証に必要な機能を提供する統合開発 環境で、STARC様が開発した次世代ミックスシグナル設計フローにおける推奨設計ツールとして認定されています。

＜展示製品・ソリューション名＞

MathWorksの提供するMATLAB、Simulinkは自動車、航空宇宙、通信、電機、半導体などの幅広い産 業分野において、信号処理、画像処理、制御等の様々なアプリケーションを対象としたASIC/FPGA 開発で世界中で採用されています。展示ではアルゴリズム開発からシステム設計、ブロック線図モデルからのVHDL/Verilogコード生成、HDLやFPGA実機検証までをカバーする最新のモデルベースデザイン環境をデモンストレーションにてご紹介します。

【見どころ】
・アルゴリズムの解析とデータ型変換のための固定小数点ツール環境
・C/HDLコード生成、Verilog/VHDLコード生成を利用した
　ASIC検証フロー
・ハードウェア協調シミュレーションによるHDL実装の検証

【製品名】
・MATLAB
・Simulink
・Stateflow
・Fixed-Point Designer
・Embedded Coder
・HDL Coder
・HDL Verifier

＜URL＞ http://www.mathworks.co.jp

株式会社ベリフォア

＜展示概要＞

「検証は、仕様を映す鏡です」
ベリフォアはRTL機能第三者検証のプロフェッショナルサービスカンパニーです。
設計品質の向上と効率化へのソリューションをご紹介致します。
オープンソースとして公開中の機能カバレッジビューワー「VeriClear」
も展示致します。

＜展示製品・ソリューション名＞

・検証コンサルティングサービス
・第三者検証受託サービス
・仕様検証サービス
・設計受託サービス
・機能カバレッジビューワー「VeriClear」

＜URL＞ http://www.verifore.jp/

東京ナノファーム合同会社

＜展示概要＞

東京ナノファーム社は、フォーマル検証分野のベンダー２社をご紹介いたします。Oski社は顧客の検証環境を劇的に改善する新たな検証手法導入サービスを提供するベンダーです。Avery社はユニークな検証ツール及び検証IPを提供するベンダーです。

＜展示製品・ソリューション名＞

Oski社提供のサービス：

１．最適なブロックレベルでシミュレーションを置き換える
　　エンドツ-エンドのフォーマル検証手法の提供
２．大規模設計でのフォーマル検証を可能にする、カスタマイズされた
　　抽象モデルの提供
３．検証サインオフの一部としてフォーマル・サインオフを可能にする
　　フォーマル手法の提供

www.oskitechnology.com

Avery社提供製品：

１．PropSYN：検証収束改善を目的としたファンクション・カバレッジと
　　アサーションのプロパティ合成ツール
２．SimXACT + XOPT：高精度のRTLとゲートレベルのX検証ツール
３．検証IP：業界トップレベルの検証IPモデル、プロトコル・チェッカー、
　　高速IO, SSD, 組込みストレージなどのテストスイート、モバイル、
　　DDR, フラッシュなど。

1. www.avery-design.com