出展者詳細  Jasper Design Automation
D-03 

Jasper Design Automation


出展物紹介

Jasper Design Automation is a leading provider of formal verification tools. At this event, we introduce our new "JasperGold Apps" which make it easy to leverage formal verification at wide range phases from architecture verification to post silicon.

With JasperGold Apps, you can fix the cause of issues on handling of formal verification and enjoy 100% covered verification. And since each apps are based on unified GUI and common database, you can use verification results from other application effectively.

- JasperGold Apps -

* Architectural Modeling App
* RTL Development App
* Formal Property Verification App
* X-Propagation Verification App
* 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

Further Apps are on developing. Expect more effective way for your design!


連絡先

Rob van Blommestein, Marketing

TEL:+1- 650 - 966 - 0200   FAX:+1 -650 - 625 - 9840
E-mail:robvb@jasper-da.com
URL:http://www.jasper-da.com

所在地

707 California Street Mountain View, CA 94041, USA

出展者一覧 / 検索 に戻る

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

主催者

同時開催

Embedded Technology 2013

メディアパートナー

Tech-On

EDN

EETIMES Japan

半導体産業新聞

このページの先頭へ