NextOp and Leading Semiconductor Design Company Sign Multi-Year Licensing Deal for BugScope Assertion Synthesis Technology

SANTA CLARA, Calif., Dec. 2, 2011 — (PRNewswire) — NextOp Software, Inc. today announced that AMD (NYSE: AMD), has signed a multi-year, multi-license agreement for worldwide deployment of NextOp's BugScope assertion synthesis product. NextOp's BugScope improves functional verification via a unified assertion-based verification methodology for AMD's simulation, formal, and emulation verification environments.

BugScope's automation is intended to enable AMD designers to quickly ramp up an assertion-based verification methodology with minimal manual effort. Based on its evaluation, AMD concluded that BugScope's automatically generated assertions and coverage properties are high quality and should be effective in AMD's verification flow.

"Over time AMD will be deploying NextOp's BugScope for functional verification of our IP and SoC designs," said Jim Miller, Corporate Vice President, Design Engineering, AMD. "BugScope assertion synthesis has the potential to substantially reduce our verification effort and accelerate verification closure for our advanced processor and graphics designs."

"NextOp is delighted to add AMD, a semiconductor leader and innovator in the CPU and GPU spaces, to our portfolio of customers in the wireless, networking, storage, graphics and FPGA areas," said Yunshan Zhu, President and CEO of NextOp Software. "We look forward to a continued close relationship with AMD as they deploy BugScope for their assertion-based verification methodology on a worldwide basis."

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 or call +1 408-830-9885. BugScope and NextOp are trademarks of NextOp Software, Inc.

SOURCE NextOp Software, Inc.

NextOp Software, Inc.
Gloria Nichols
Phone: +1-650-851-7930
Email Contact for NextOp Software, Inc.

Review Article Be the first to review this article

Featured Video
Senior Hardware Engineer for Abaco Systems Inc at Austin, Texas
Principal Engineer, Firmware Engineering for Western Digital at Milpitas, California
Mid to Senior Level Electrical Engineer for Gordon Prill, Inc at Santee, California
Senior Software Engineer for Abaco Systems Inc at Huntsville, Alabama
Sr. Electrical Hardware Project Engineer for Stellartech Research Corp at Milpitas, California
Upcoming Events
Linley Fall Processor Conference at Hyatt Regency Santa Clara 5101 Great America Pkwy Santa Clara CA - Oct 23 - 24, 2019
SMTA Guadalajara 2019 at Expo Guadalajara Guadalajara, Mexico - Oct 23 - 24, 2019
Silvaco SURGE Silicon Valley, Oct. 24 at 2811 Mission College Blvd. 6th floor Santa Clara CA - Oct 24, 2019
DVCon Europe 2019 at Holiday Inn Munich City Center Munich Germany - Oct 29 - 30, 2019

Internet Business Systems © 2019 Internet Business Systems, Inc.
25 North 14th Steet, Suite 710, San Jose, CA 95112
+1 (408) 882-6554 — 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 PolicyAdvertise