DVT SystemVerilog IDE User Guide
Rev. 24.1.12, 12 June 2024

40.17.2 Checks View

The Checks View presents all the immediate, concurrent, deferred immediate assert and assume constructs in the project.

Open the view from menu Window > Show View > Other... > DVT > Checks

Double click on a check and jump to the source location.

immediate assert
concurrent assert
deferred immediate assert
immediate assume
concurrent assume
deferred immediate assume

1. Quick Search. You can use CamelCase, Simple Regex or Hierarchical Search to locate a specific element. By default, hierarchical search will show all descendants:

2. Check Kind Filters. You may choose to hide immediate, concurrent assertions or assumptions - see the image below: