DVT SystemVerilog IDE User Guide
Rev. 19.1.31, 5 September 2019
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.
2. Check Kind Filters. You may choose to hide immediate, concurrent assertions or assumptions - see the image below: