DVT SystemVerilog IDE User Guide
Rev. 19.1.17, 17 May 2019

Chapter 5. Compile Checks

The DVT internal builder performs various checks on the source code.

  • Syntax Checks indicate wrong syntax according to the IEEE standard, for example typos like 'clas' instead of 'class' when declaring a class. Syntactic checking is the first level checking performed on the code during parsing.

  • Semantic Checks indicate wrong semantic according to the IEEE standard, for example calling an undefined function 'foo()'. For performance reasons, not all semantic checks are performed at once. A subset is performed during full or incremental compilation. The complete set of checks is performed on demand, when explicitly triggered.

  • Non Standard Checks indicate syntax or semantic that is not standard, although some simulators support it. Non standard syntax is the result of legacy or additional language capabilities that may get into future standard releases.

Check failures are signaled as compile problems, with the error or warning severity. The compile problems are presented in the Problems View. For performance reasons not all compile problems are visible at once in the Problems View.

You can use Compile Waivers to change the severity (promote/demote) or disable the problems reported by DVT during build.