| NextOp and AMD Sign Multi-Year Licensing Deal for BugScope Assertion Synthesis Technology | | |
December 5, 2011 -- NextOp Software, Inc. today announced that Advanced Micro Devices (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."
About BugScope
NextOp's BugScope assertion synthesis automatically generates 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.
Go to the NextOp Software, Inc. website to find additional information.
| E-mail NextOp Software, Inc. for more information.
Read more about
NextOp Software, Inc.
on SOCcentral.com |
| Keywords: ASICs, ASIC design, EDA, EDA tools, electronic design automation, assertion based verification, assertion-based verification, ABV, formal verification, NextOp Software, BugScope,
| | 600/36372 12/5/2011 531 53 | |
|
|
|
| | 0.40625 |
|
|
| Copyright 2002 - 2004 Tech Pro Communications, P.O. Box 1801, Merrimack, NH 03054 | |
|
| | |
|
|
Subscribe to SOCcentral's
SOC Explorer
Newsletter
and receive news, article, whitepaper, and product updates bi-weekly.
|
|
|
Exec Viewpoint
The Many Faces
of Low-Power Verification
Ghislain Kaiser
CEO, Docea Power
|
|
Exec Viewpoint
Maximizing the Value of Your Internal IP
Warren Savage
CEO, IPextreme
|
|
|
|
Barbara's Bytes
So, Just What
Is ESL
Barbara Tuck
Senior Editor,
SOCcentral
|
|
|
|
|
|
|
|
| Design Center |
| Whitepapers & App Notes |
|
|
|
|
|
| Live and Archived Webcasts |
|
|
|
|
|
| Newsletters |
|
|
|
|
|
|
About SOCcentral.com
Sponsorship/Advertising Information
|
|
|
