News & Analysis
Altera expands deployment of NextOp's assertion synthesis tool
AnneFrancoise PELE
5/16/2011 8:46 AM EDT
PARIS – Altera Corp. announced it has concluded a multi-year, multi-license agreement with Santa Clara-based NextOp Software Inc. to expand its deployment of the startup's initial product, BugScope assertion synthesis tool.
Altera said BugScope’s assertion and coverage properties is helping its engineers find bugs earlier in the design process before their end-to-end checkers and coverage monitors are written.
BugScope synthesizes high quality assertions and functional coverage properties from the Register Transfer Level (RTL) design and testbench. These properties enhance existing verification flows by helping design and verification engineers uncover corner-case bugs, expose functional coverage holes and increase verification observability.
BugScope automatically generates assertions and functional coverage in IEEE standard formats such as SVA, PSL or synthesizable Verilog. Design and verification teams can then use BugScope coverage properties to identify functional coverage holes and guide their test development; additionally, BugScope’s assertions complement blackbox checkers to catch corner-case bugs and improve verification observability.
Earlier this month, NextOp announced a similar deal. Chipmaker Nvidia Corp. indeed expanded the deployment of BugScope after significant changes in either the RTL design or its test suite.
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.
Read also:
Startup rolls automatic assertion synthesis tool
Altera said BugScope’s assertion and coverage properties is helping its engineers find bugs earlier in the design process before their end-to-end checkers and coverage monitors are written.
BugScope synthesizes high quality assertions and functional coverage properties from the Register Transfer Level (RTL) design and testbench. These properties enhance existing verification flows by helping design and verification engineers uncover corner-case bugs, expose functional coverage holes and increase verification observability.
BugScope automatically generates assertions and functional coverage in IEEE standard formats such as SVA, PSL or synthesizable Verilog. Design and verification teams can then use BugScope coverage properties to identify functional coverage holes and guide their test development; additionally, BugScope’s assertions complement blackbox checkers to catch corner-case bugs and improve verification observability.
Earlier this month, NextOp announced a similar deal. Chipmaker Nvidia Corp. indeed expanded the deployment of BugScope after significant changes in either the RTL design or its test suite.
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.
Read also:
Startup rolls automatic assertion synthesis tool
|
|
|
|
|
Navigate to related information
