Exhibitor Detail : NextOp Software, Inc.
219 

NextOp Software, Inc.

Exhibit introduction

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.


Contact info

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/

Address

2900 Gordon Avenue, Suite 100, Santa Clara, CA 95051, USA

252-0131

Back to exhibit list

My page

Sponsor

Media Partners

Tech-On

EDN Japan

semicon-news

EE Times Japan

Concurrently Held Events

Page Top

Exhibitors | Privacy Policy | Contact | About copyright | Venue Access | Site Map