DVT Eclipse IDE Checks View

Description

The DVT Eclipse IDE Checks View allows you to easily browse and search all the checks that are performed in your project using dedicated language constructs, like SystemVerilog assertions or e language check that and expect constructs.

Explore the design and verification tools: https://www.dvteclipse.com
Or request a license: https://www.dvteclipse.com/request-license

Transcript

Overview

The Checks View presents all the checks that are performed in your project using dedicated language constructs. For example, SystemVerilog immediate and concurrent assertions, and e Language check that and expect constructs.

Accessing the Checks View

The view is visible by default in the DVT perspective and is populated automatically. To restore the view in case you've closed it, go to: Window > Show View > Checks.

Navigating the Checks View

For ease of navigation, the checks are aggregated by:

• Interface
• Package
• Class
• etc.

in a tree structure. Double-click on any element in the tree to go to source. Note that the source code comments associated with the check are also presented in the view.

Searching for Checks

Use the quick search bar to locate a specific check. You can also use hierarchical search, for example, to see all checks which are defined in a monitor and have the word slave in their name.

Filtering Checks

To focus on particular categories of checks, use the Filters button on the toolbar, for example, to hide immediate assertions.