Whitepaper: Functional Review using SpringSoft Verdi Automatic Debug and NextOp BugScope Assertion Synthesis

 

 

It is well-accepted that code review is desirable to ensure the quality of RTL designs. However, from a management perspective, the lack of specific targets beyond coding guidelines often makes it difficult to gain uniform participation and measure results. Furthermore, traditional code review is incomplete in that it only considers the static RTL, rather than examining it in the full context of how the code is exercised in the test environment.

 

A ‘functional review’ goes beyond a code review to combine an RTL design and functional properties based on its tests; in a functional review a designer can examine the RTL in the context of how it has been exercised. This white paper will show how two technologies, assertion synthesis and debug automation, can be linked to allow designers to achieve an efficient functional review by providing a target for them to analyze and capture their design intent.

 

The whitepaper covers:

• Functional Review overview
• BugScope Assertion Synthesis and Verdi Automated Debug system functional review methodology
• Case Studies: Bugs identified from Assertion Synthesis property review
• Key elements of BugScope/Verdi Functional Review process

 

Click to download Functional Review using SpringSoft Verdi Automatic Debug and NextOp BugScope Assertion Synthesis. 

 

No registration is required.