NextOp BugScope Makes DeepChip DAC Report Top 5 for Second Year
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 assertions and functional coverage properties for progressive and targeted verification of complex designs.
According to one review, “BugScope takes an existing regression suite and test bench, and automatically generates insightful assertions … This would offload some of the DV team’s work, and lower the barrier to broader adoption of an assertion-based verification methodology.”
DeepChip.com is an online forum where semiconductor chip designers contribute data-intensive papers and articles of first-hand evaluations and production benchmarks of commercial EDA tools. The DeepChip DAC report is an annual survey that started in the 1990′s.
“This is the second year running that NextOp has made the Top 5 in the DeepChip DAC report,” said John Cooley, DeepChip moderator. “Engineers like that BugScope works within their existing tool flow to find a design’s mistakes. That’s so much easier to use than something that requires an invasive messy methodology change.”
The DAC report reviews are available at: http://www.deepchip.com/items/dac11-02.html
For more information on BugScope, please visit: http://www.nextopsoftware.com/BugScope-assertion-synthesis.html
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.