Latest Assertion Stories

SANTA CLARA, Calif., Oct. 27, 2011 /PRNewswire/ -- NextOp Software, Inc. today announced that its BugScope((TM)) Assertion Synthesis product was selected by Design Automation Conference (DAC) attendees as a top 5 pick in DeepChip's annual DAC Report. BugScope being tied for the DAC 2011 report #2 pick follows it being chosen as the DAC 2010 report #1 pick. BugScope is a full-chip assertion synthesis product that leverages design and testbench information to automatically generate...

SANTA CLARA, Calif., May 2, 2011 /PRNewswire/ -- NextOp Software, Inc. today announced that NVIDIA (NASDAQ: NVDA) has signed a multi-license agreement to expand its usage of NextOp's BugScope assertion synthesis product. NVIDIA supports assertions across its simulation, formal, and emulation verification environments as part of an assertion-based verification methodology. NVIDIA uses NextOp's BugScope assertion synthesis after significant changes in either the RTL design or its test suite....