Questa OneSpin StaticFormal How to debug issues present in the design using different debug features of Questa CoverCheck GUI

Questa OneSpin StaticFormal


This video provides a basic overview of how to debug design issues using Questa CoverCheck debug features.


This is a part of the video series - How to view Questa Increase Coverage Analysis results and debug the design Issues from within the Questa Increase Coverage GUI 


0:26 'Design' window provides a quick summary to identify results for each unit.

0:34 'Summary' window to display an overview of the results.

0:48 'Checks' tab listed all the analysis results.

0:55 RMB on a check to bring up all the available debug options for that check.

1:31 "Set Status" to change the status for any of the checks.

2:00 'Source' window enables the user to go to the next result or the driver for any signal.

2:23 Arrows to undo/redo or jump to specific goto driver selections.

2:35 "Show Witness Waveform" from the RMB options to open the "Witness Waveform" window.

2:50 "Witness Waveform" window to hit the code coverage item.

3:05 "Show Control Points" from the RMB options to open the "Control Points" table.

3:13 CoverCheck improves the coverage by applying the automatically created exclusions.

KB Article ID# KB000130620_EN_US



Associated Components

Questa Increase Coverage [CoverCheck]