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

＜展示概要＞

アルデックは、すべてを差別化する、実績のあるEDAソリューション・プロバイダです。
業界最高レベルのデザイン・マネジメント、アドバンスド検証環境、高信頼性アプリケーション向け
コンプライアンス・ツールセット等を展示／紹介します。

＜展示製品名＞

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

・DO-254 コンプライアンス・ツール・セット(DO-254 CTS)
・Actel RTAX/RTSX プロトタイピング・ボード

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

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

＜展示概要＞

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

＜展示製品名＞

1. Carbon SoC Designer Plus
2. Carbon IP Exchange
3. Carbon Model Studio

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

日本イヴ株式会社

＜展示概要＞

ESLコ・エミュレーションを容易に実現可能な『TLM2/PCTアダプタ』を始めとするEVE高性能トランザクタIPに加え、『DDRxモデル』対応プロトコルチェックおよびカバレッジコレクタの『DRAM Tracer』などの最新機能をデモ展示します。

＜展示製品名＞

・ZeBu-Server
・ZeBu-Blade2
・OSCI TLM2 アダプタ
・PCTアダプタ
・DDRxモデル (DRAM Tracer)
・Ethernetトランザクタ (Virtual Bridge)

＜URL＞http://eve-japan.co.jp/

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

＜展示概要＞

OneSpin Solutionsは ASIC、FPGA フローに対応した機能検証および合成検証のための画期的なフォーマル検証ソリューションを提供しています。

＜展示製品名＞

Onespin Solutionsは、プロパティチェックを使った機能検証と、等価チェックを使った合成検証の2つの製品ラインを展示します。

OneSpin 360 Modular Verifier製品ファミリーは、フォーマル検証の初心者、経験豊富なユーザー、エキスパートまでが使える、最も幅広い機能検証アプリケーションをカバーしています。高度なリントチェック、FSM検証、接続検証から、使いやすい構造カバレッジ指標を備えたABV、ギャップフリーフォーマル検証まで、豊富なソリューションを通じてフォーマル手法による100%機能カバレッジを実現します。

OneSpin 360 Equivalence Checking 製品は、ASIC/SoCおよびFPGA設計フローにおける設計変更、合成、最適化等、RTLからネットリストに至る各実装ステップのRTLとRTL、RTLとネットリスト、ネットリストとネットリスト間で設計に含まれる機能が維持されていることをシミュレーションを行うことなく徹底的に証明します。シーケンシャル最適化や消費電力最適化など幅広い合成最適化を完全に自動的にカバーしています。また、Xilinx Vivado等の合成ツールとシームレスに統合されています。

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

＜ベンダ講演のタイトル＞

タイトル：「OneSpin 360 MVを使った、機能検証のためのカバレッジを基準としたアサーション開発」

発表者：TBA

スプリングソフト株式会社

＜展示概要＞

スプリングソフトは設計・検証期間を大幅に削減すると同時に、品質向上を実現するツールとしてRTLデバッガ:「Verdi3」、テストベンチ品質チェッカ:「Certitude」、FPGAデバッグ環境:「ProtoLink」といった最先端の製品を提供しています。当日はこれらの製品をデモを交えて紹介させて頂きます。

＜展示製品名＞

• ・Verdi3 Automated Debug Platform
• ・Certitude Functional Qualification System

・ProtoLink Probe Visualizer

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

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

＜展示概要＞

＜展示製品名＞

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

株式会社シンコム

＜展示概要＞

“ Upgrade Your Verification with Jasper ”
JASPER DESIGN AUTOMATION社ではアーキテクチャー検証からポストシリコンのデバッグまで幅広いフォーマル検証アプリケーションを提供しています。用途や目的毎に用意された新たな製品群「JasperGold Apps」をご紹介致します。

＜展示製品名＞

・JasperGold Apps
・Architectural Modeling Apps (アーキテクチャー検証)
・Formal Property Verification Apps (フォーマルプロパーティ検証)
・X-Propagation Verification Apps (不定値伝搬検証)
・Connectivity Verification Apps (接続検証)
・RTL Development Apps (設計者向けフォーマル検証)
・CSR Verification Apps (レジスタ検証)
・Property Synthesis Apps (プロパティ自動生成）
・AMBA Intelligent Proof Kits
・Memory Intelligent Proof Kits

＜URL＞http://www.synkom.co.jp/product/amiq.php

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

＜展示概要＞

リアルインテントは、ハイパフォーマンス、大容量、Easy to use （ノイズが少なく見易いレポート、かつdebugが容易等）を特長とした、今まで検証できなかったデザインの検証を可能にする次世代の設計ツールを提供致します。

＜展示製品名＞

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

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

株式会社ベリフォア

＜展示概要＞

「検証は、仕様を映す鏡です」
ベリフォアはRTL機能第三者検証のプロフェッショナルサービスカンパニーです。
Give designers more time to design, we do verification.
設計品質の向上と効率化へソリューションをご紹介致します。

＜展示製品名＞

・検証コンサルティングサービス
・第三者検証受託サービス
・検証ライブラリ開発
・仕様検証サービス

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

ベリフィケーションテクノロジー株式会社

＜展示概要＞

〜デバイス内蔵により、FPGA・ASICの設計品質と設計効率を向上〜

複雑化するFPGA・ASICの開発・設計では、いついかなる状況で不具合が発生するか予測がつきません。これに対するLSI検証のVtechからの解答が、世界初となるデバイス内蔵型の検証IP「VARON」。内蔵型の利点を活かし、ターゲットデバイスをリアルタイムで多角的な視点で把握・解析できるほか、長時間の常時検証など、シミュレーションツールでは困難なデバイス内部の 可視化がエンジニアスキルに依存せず、容易に実現できます。

◎高機能化するバスの性能観測を多角的にモニタリング
◎重大な機能の不具合を最新のSVA連携機能で瞬時に解析
◎長時間の監視で解析から修正までシームレス

＜展示製品名＞

・“VARON”　〜デバイス内蔵型検証IP〜

＜URL＞ http://www.vtech-inc.co.jp/