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 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.
Gloria Nichols
Phone: +1-650-851-7930
Email Contact for NextOp Software, Inc.
Web: http://www.nextopsoftware.com




Review Article Be the first to review this article
Aldec


Featured Video
Latest Blog Posts
Colin WallsEmbedded Software
by Colin Walls
Time for a new programming paradigm?
Anupam BakshiAgnisys Automation Review
by Anupam Bakshi
Automatic Handling of Register Clock Domain Crossings
Modesto (Mo) CasasGlobal Business in EDA
by Modesto (Mo) Casas
Globalizing Sales in a COVID-19 Environment
Jobs
Senior Application Engineer Formal Verification for EDA Careers at San Jose and Austin, California
Product Line Manager for EDA Careers at Multiple, North Carolina
Graduate Hardware Engineer for arm at Austin, Texas
Upcoming Events
DVCon Europe 2020 Virtual at Germany - Oct 27 - 28, 2020
SystemC Evolution Day at Germany - Oct 29, 2020
2020 International Conference On Computer Aided Design at San Diego Mission Bay Resort San Diego CA - Nov 2 - 5, 2020
TrueCircuits:



© 2020 Internet Business Systems, Inc.
670 Aberdeen Way, Milpitas, CA 95035
+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