This account is pending registration confirmation. Please click on the link within the confirmation email previously sent you to complete registration.
Need a new registration confirmation email? Click here
Stocks Under $10 with 50-100% upside potential - 14 days FREE!

NextOp Licenses BugScope Assertion Synthesis To Graphics Leader NVIDIA

SANTA CLARA, Calif., May 2, 2011 /PRNewswire/ -- NextOp Software, Inc. today announced that NVIDIA (NASDAQ: NVDA) has signed a multi-license agreement to expand its usage of NextOp's BugScope assertion synthesis product.

NVIDIA supports assertions across its simulation, formal, and emulation verification environments as part of an assertion-based verification methodology. NVIDIA uses NextOp's BugScope assertion synthesis after significant changes in either the RTL design or its test suite. BugScope automatically generates assertion and coverage properties in standard assertion language formats. The assertions can detect potential RTL problems and localize the problems for quick debugging, and the functional coverage properties drive further test development.

BugScope provides a world-class platform across simulation, formal and emulation flows to:

  1. Reduce the engineering time and effort needed to create high quality coverage points and assertions.
  2. Uncover corner case bugs
  3. Identify functional coverage holes.

NextOp's results for NVIDIA:

  1. For a production design block with over 100K lines of RTL code, BugScope generated over 2000 high quality properties, including over 1200 useful assertions and over 800 useful functional coverage properties.  
  2. Met target quality and performance specifications. BugScope generated properties have been checked in as a part of NVIDIA's test environment.
  3. BugScope assertions and functional coverage properties incurred minimal (< 2%) overhead to simulation regression.
  4. BugScope testpoints helped uncover RTL bugs during the process of reviewing the test points and from tests developed to target the test points.
  5. BugScope assertion and coverage properties were found to be complementary to NVIDIA's simulation, formal and emulation flows.

"The manual effort required to create an adequate number of high quality assertions and functional coverage goals was a key challenge for us," said Stuart Oberman, Director of ASIC Engineering, NVIDIA. "NextOp's assertion synthesis technology has helped us to address the challenge."

"NVIDIA is an industry leader in both design and verification best practices," said Yunshan Zhu, President and CEO of NextOp Software. "We are excited that NVIDIA has successfully incorporated NextOp BugScope assertion synthesis as a core technology for its assertion based verification flow, and is now further expanding its BugScope deployment."

About NextOp Software

NextOp Software, Inc. is focused on delivering assertion-based verification solutions that allow design and verification teams to uncover bugs, expose functional coverage holes, and increase verification observability. NextOp's BugScope assertion synthesis is the first product to automatically generate whitebox assertions and functional coverage properties in SVA, PSL and Verilog formats. BugScope's properties are used to drive progressive, targeted verification via robust, executable design specifications for existing simulation, formal and emulation flows. The company is headquartered at 2900 Gordon Avenue, Suite 100, Santa Clara, CA 95051. For more information, visit www.nextopsoftware.com or call +1 408-830-9885. BugScope and NextOp are trademarks of NextOp Software, Inc.

SOURCE NextOp Software, Inc.

Copyright 2011 PR Newswire. All rights reserved. This material may not be published, broadcast, rewritten or redistributed.

Select the service that is right for you!

COMPARE ALL SERVICES
Action Alerts PLUS
Try it NOW

Jim Cramer and Stephanie Link actively manage a real portfolio and reveal their money management tactics while giving advanced notice before every trade.

Product Features:
  • $2.5+ million portfolio
  • Large-cap and dividend focus
  • Intraday trade alerts from Cramer
  • Weekly roundups
TheStreet Quant Ratings
Try it NOW
Only $49.95/yr

Access the tool that DOMINATES the Russell 2000 and the S&P 500.

Product Features:
  • Buy, hold, or sell recommendations for over 4,300 stocks
  • Unlimited research reports on your favorite stocks
  • A custom stock screener
  • Upgrade/downgrade alerts
Stocks Under $10
Try it NOW

David Peltier, uncovers low dollar stocks with extraordinary upside potential that are flying under Wall Street's radar.

Product Features:
  • Model portfolio
  • Stocks trading below $10
  • Intraday trade alerts
  • Weekly roundups
Dividend Stock Advisor
Try it NOW

Jim Cramer's protege, David Peltier, identifies the best of breed dividend stocks that will pay a reliable AND significant income stream.

Product Features:
  • Diversified model portfolio of dividend stocks
  • Alerts when market news affect the portfolio
  • Bi-weekly updates with exact steps to take - BUY, HOLD, SELL
Real Money Pro
Try it NOW

All of Real Money, plus 15 more of Wall Street's sharpest minds delivering actionable trading ideas, a comprehensive look at the market, and fundamental and technical analysis.

Product Features:
  • Real Money + Doug Kass Plus 15 more Wall Street Pros
  • Intraday commentary & news
  • Ultra-actionable trading ideas
Options Profits
Try it NOW

Our options trading pros provide daily market commentary and over 100 monthly option trading ideas and strategies to help you become a well-seasoned trader.

Product Features:
  • 100+ monthly options trading ideas
  • Actionable options commentary & news
  • Real-time trading community
  • Options TV
To begin commenting right away, you can log in below using your Disqus, Facebook, Twitter, OpenID or Yahoo login credentials. Alternatively, you can post a comment as a "guest" just by entering an email address. Your use of the commenting tool is subject to multiple terms of service/use and privacy policies - see here for more details.
Submit an article to us!
DOW 16,979.13 +59.54 0.35%
S&P 500 1,986.51 +4.91 0.25%
NASDAQ 4,526.4820 -1.0320 -0.02%

Brokerage Partners

Rates from Bankrate.com

  • Mortgage
  • Credit Cards
  • Auto

Free Newsletters from TheStreet

My Subscriptions:

After the Bell

Before the Bell

Booyah! Newsletter

Midday Bell

TheStreet Top 10 Stories

Winners & Losers

Register for Newsletters
Top Rated Stocks Top Rated Funds Top Rated ETFs