Questa OneSpin StaticFormal Questa SecureCheck features and options overview within Questa SecureCheck GUI

Questa OneSpin StaticFormal


This video provides a basic overview of Questa SecureCheck's basic features and options within Questa SecureCheck GUI.


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


0:35 'View' menu to access each of the GUI's debug windows.

0:43 "Logs & Reports" access from the 'View' menu.

1:00 "Secure Checks" tab is connected to the dynamic "Secure Checks" menu.

1:30 'Help' menu to access all the tool documents.

1:53 'Design' window to see the design hierarchy and expand the underlying hierarchy.  

2:06 Double-click the design unit to open its source code.

2:34 'Secure Checks' tab includes icons to filter and search for specific checks.

3:31 The top icons allow quick access to all the common debug functions in the GUI.

3:58 GUI windows options.

KB Article ID# KB000130847_EN_US



Associated Components

Questa Verify Secure