Chipmaker Nvidia Corp. announced it has expanded the deployment of the BugScope assertion synthesis product from Santa Clara-based NextOp Software Inc.
NextOp was founded in April 2006 after Yuan Lu, CTO and cofounder of NextOp Software Inc., realized that "he and his team could not do the assertions right and thought that that was worth creating a company", stated Zhu in an interview with EDA DesignLine. Lu was then principal scientist in the Enterprise Switching Group at Broadcom.
The company's initial product, dubbed 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.
BugScope Fit with Simulation, Formal, Emulation
Nvidia supports assertions across its simulation, formal, and emulation verification environments as part of an assertion-based verification methodology. Nvidia said it uses NextOp’s BugScope assertion synthesis after significant changes in either the RTL design or its test suite.
NextOp’s results for Nvidia:
For a production design block with over 100K lines of RTL code, BugScope generated over 2000 high quality properties, including over 1200 useful assertions and over 800 useful functional coverage properties.
Met target quality and performance specifications. BugScope generated properties have been checked in as a part of Nvidia’s test environment.
BugScope assertions and functional coverage properties incurred minimal (< 2 percent) overhead to simulation regression.
. BugScope testpoints helped uncover RTL bugs during the process of reviewing the test points and from tests developed to target the test points.
BugScope assertion and coverage properties were found to be complementary to Nvidia’s simulation, formal and emulation flows.
See relating link:
Startup rolls automatic assertion synthesis tool