出展者詳細 NextOp Software, Inc.
219 

NextOp Software, Inc.

出展物紹介

NextOp software社の製品、BugScopeは、Assertion Synthesisを実現したEDAツールです。
RTL, Testbench, Test Vectorをインプットとして、プロパティ(高品質なホワイトボックスアサーションと、高品質ファンクションカバレッジゴール)を自動で抽出します。またアサーションはSVAやPSLといったアサーション言語へ自動でフィードバック致します。
こうした最先端のAssertion SynthesisをサポートするNextOp software社のBugScopは、日本では(株)ベリフォアが営業ならびに技術サポートを行わせて頂いております。

NextOp's flagship product BugScope assertion synthesis automatically generates assertions and functional coverage properties to drive progressive, targeted verification via robust and executable design specifications. BugScope adds a mechanism to existing verification approaches to measure the design and verification team's progress toward declaring the design to be "functionally correct" over sequential verification cycles.

BugScopeTM is a full-chip assertion synthesis product that leverages design and testbench information to automatically generate assertions and functional coverage properties for progressive and targeted verification of complex designs.


連絡先

日本窓口:株式会社ベリフォア
営業部 久保田雄三
Phone: 408.830.9885
Fax: 408.715.2573
Email: info@nextopsoftware.com
TEL:042-770-9250   FAX:042-770-9350
E-mail:inq@verifore.jp
URL:http://www.nextopsoftware.com/

所在地

〒252-0131
神奈川県相模原市西橋本5-4-21 SIC1-310
2900 Gordon Avenue, Suite 100, Santa Clara, CA 95051, USA

出展者一覧 / 検索 に戻る

主催者

メディアパートナー

Tech-On

EDN Japan

半導体産業新聞

EE Times Japan

同時開催

このページの先頭へ

出展をご検討の方
個人情報保護方針 | 著作権について | お問い合わせ / ご意見・ご要望 | 交通アクセス | サイトマップ