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."
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.
Reprinted from SOCcentral.com, your first stop for ASIC, FPGA, EDA, and IP news and design information.