出展者詳細 (株)シンコム
D-03 

(株)シンコム


出展物紹介

Jasper社は、フォーマル検証ツールの専業ベンダーとして常に業界をリードしてまいりました。機能検証の問題に対し、各々の専用アプリケーション「JasperGold Apps」を用意することで、アーキテクチャ検証からポストシリコンでのデバッグまで幅広いフェーズで簡単にフォーマル検証をご利用頂けます。

今年は新たにローパワー検証、セキュリティ検証、等価性検証、さらにIP-XACTのサポートも加わりました。

「JasperGold Apps」では、フォーマル検証への取り組みのハードルとなる要因を様々な方法で解決し、100%網羅検証のメリットを用意に手にすることが出来るようにいたしました。また各種アプリケーションは、統一されたGUI、共有化されたデータベースのもとで利用することが出来ますので、他のアプリケーションでの検証結果を効率的に有効活用することが出来ます。

【JasperGold Apps】
・ Architectural Modeling App:アーキテクチャーレベル検証
・ RTL Development App:設計者による検証
・ Formal Property Verification App:アサーション検証
・ X-Propagation Verification App: X伝搬検証
・ Control/Status Register Verification App:レジスタ検証
・ Connectivity Verification App:接続検証
・ Structural Property Synthesis App:プロパティ自動生成(構造解析)
・ Behavioral Property Synthesis App:プロパティ自動生成(機能解析)
・ Low Power Verification App:ローパワーデザイン検証
・ Sequential Equivalence Check App:等価性検証
・ Security Path Verification App: セキュリティ検証
・ Intelligent Proof Kit and VIPs:AMBA、DDR、LPDDR、DFIなど標準バス、IFの検証IP

その他にも多数アプリケーションを開発中


出展者セミナー

2013年
11月20日(水)
時間:14:00 - 14:45   会場:CM3   セッション番号:【ED-01】
さらに広がるフォーマル検証アプリケーション!Jasperならローパワーやセキュリティの検証もフォーマルで!

水野 博之
技術部
2013年
11月22日(金)
時間:14:00 - 14:45   会場:CM3   セッション番号:【ED-05】
さらに広がるフォーマル検証アプリケーション!Jasperならローパワーやセキュリティの検証もフォーマルで!

水野 博之
技術部

連絡先

営業部 片山勝博

TEL:045-479-4168   FAX:045-479-4169
E-mail:katayama@synkom.co.jp
URL:http://www.synkom.co.jp

所在地

〒222-0033
神奈川県横浜市港北区新横浜2-6-13
新横浜ステ-ションビル3階

出展者一覧 / 検索 に戻る

出展者セミナー聴講事前登録はこちら/マイページはこちら

主催者

同時開催

Embedded Technology 2013

メディアパートナー

Tech-On

EDN

EETIMES Japan

半導体産業新聞

このページの先頭へ