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.

Contact:
NextOp Software, Inc.
NVIDIA
Gloria Nichols
Phone: +1-650-560-9002
Email Contact
Web: http://www.nextopsoftware.com/




Review Article Be the first to review this article
CST Webinar Series

EMA:

Featured Video
Editorial
Peggy AycinenaWhat Would Joe Do?
by Peggy Aycinena
Retail Therapy: Jump starting Black Friday
Peggy AycinenaIP Showcase
by Peggy Aycinena
REUSE 2016: Addressing the Four Freedoms
More Editorial  
Jobs
Development Engineer-WEB SKILLS +++ for EDA Careers at North Valley, CA
Manager, Field Applications Engineering for Real Intent at Sunnyvale, CA
Principal Circuit Design Engineer for Rambus at Sunnyvale, CA
AE-APPS SUPPORT/TMM for EDA Careers at San Jose-SOCAL-AZ, CA
ACCOUNT MANAGER MUNICH GERMANY EU for EDA Careers at MUNICH, Germany
Upcoming Events
2016 IEEE International Electron Devices Meeting at Hilton San Francisco Union Square 333 O’Farrell Street San Francisco CA - Dec 3 - 7, 2016
Zuken Innovation World 2017, April 24 - 26, 2017, Hilton Head Marriott Resort & Spa in Hilton Head Island, SC at Hilton Head Marriott Resort & Spa Hilton Head Island NC - Apr 24 - 26, 2017
CST Webinar Series



Internet Business Systems © 2016 Internet Business Systems, Inc.
595 Millich Dr., Suite 216, Campbell, CA 95008
+1 (408)-337-6870 — Contact Us, or visit our other sites:
AECCafe - Architectural Design and Engineering TechJobsCafe - Technical Jobs and Resumes GISCafe - Geographical Information Services  MCADCafe - Mechanical Design and Engineering ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy Policy