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

Questa OneSpin StaticFormal


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


This is a part of the video series - How to Compile and Run Questa Inspect Analysis and Debug the Design Issues from within the Questa Inspect GUI.

0:20 Launch the AutoCheck debugger using the AutoCheck database.
0:50 'View' menu to access each of the GUI's debug windows.
1:50 'Checks' menu provides 'Preferences' to adjust types of checks shown and waveform options.
2:15 'Design' window to see design hierarchy and expand the underlying hierarchy.
2:57 'Help' menu to access command syntax and tool documentation.
3:39 GUI icons allow quick access to common functions.
4:50 'Checks' window includes icons to filter checks.
5:59 RMB on a check to bring up additional debug options.

KB Article ID# KB000129596_EN_US



Associated Components

Questa Inspect [AutoCheck]