NextOp and AMD sign multi-year licensing deal for BugScope assertion synthesis technology

SANTA CLARA, USA: NextOp Software Inc. announced that 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 VP, 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."