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.