DVT-18947 Verissimo: Revised VS Code lint configuration syntax

DVT-18893 New Rule: R.1220 Use 4-state types for synthesizable enum types

DVT-18899 New Rule: R.1221 Do not declare tasks

DVT-18930 New Rule: R.1222 Declare module port type as logic

DVT-18959 New Rule: R.1217 Do not directly call type or instance override methods from the uvm_factory class

DVT-18966 New Rule: R.1218 Use %0 in format specifiers whenever applicable

DVT-18972 New Rule: R.1219 Use the name m_config as the instance name of configuration object in the class it’s been instantiated in

DVT-18897 Add parameter to SVTB.12.1.2 to allow only automatic methods

DVT-18936 Verissimo: Ability to use relative paths inside a VS Code lint configuration

DVT-18940 Verissimo: Ability to use environment variables inside a VS Code lint configuration

DVT-18958 Add parameter to SVTB.7.14.0 to skip classes that inherit directly from base classes declared in specified packages

DVT-18975 ExportDesignHierarchy: Add parameter to print all paths to a module

DVT-18967 SVTB.5.2.7 False failures for else statements

DVT-18968 IllegalArgumentException in R.1157

DVT-18793 New Rule: R.1211 Do not allow multiple non-blocking assignments to the same bit

DVT-18898 New Rule: R.1215 Do not use conditional compilation directives in string literals

DVT-18918 Add Editor Notification for out of sync markers in DVT Eclipse

DVT-18942 New Rule: R.1216 Use field macros on all fields from a class

DVT-18857 SVTB.7.14.0 Auto-correct should insert super.method_name() after inline function comment

DVT-18885 Toggled filter buttons in DVT Eclipse report are not visible on Eclipse >=4.22

DVT-18900 SVTB.1.0 should accept VS Code formatting preferences

DVT-18923 Add parameter to SVTB.27.9.3 to allow name exceptions only if there is a single virtual interface in the class/module

DVT-18858 SVTB.10.20 should fail for formatting methods called as `uvm_info macro arguments

DVT-18886 Inline waivers are inserted after the macro definitions

DVT-18932 False METHOD_CALLS_ARGUMENTS error after incremental compilation

DVT-18939 SVTB.27.1.0 false failures for typedefs when elementKind is interface

DVT-18769 Ability to see rule details in the DVT Eclipse Inspect View when selecting a linting failure

DVT-18533 Waive quick fix in DVT Eclipse creates a compile waiver instead of a lint waiver

DVT-18839 DVT Eclipse lint report main tab buttons have the wrong height on MacOS

DVT-18842 Verissimo failures are not displayed in VS Code if there are no compilation problems

DVT-18871 XVM.2.1.17 False failures for multiple module accesses

DVT-18889 SVTB.19.5 should fail for XMRs with selects

DVT-18917 Auto-correct rerun is not performed after autocorrecting SVTB.1.4.2

DVT-18507 New Rule: R.1208 Else should be on the new line after end label

DVT-18652 New Rule: R.1212 Do not place space between method call and open parenthesis

DVT-18653 New Rule: R.1213 Do not place space between macro call and open parenthesis

DVT-18774 New Rule: R.1203 Check index value before access

DVT-18790 New Rule: R.1210 Duplicate import statements

DVT-18422 Ability to waive based on module, package, interface or design top

DVT-18767 Memory Monitor: Avoid false warnings in small projects

DVT-18864 Add parameter to SVTB.32.2.0 to skip XVM inherited method arguments

DVT-18879 SVTB.33.1.0, SVTB.33.2.0 and SVTB.33.3.0 should not take inactive code into account

DVT-18835 R.1200 Should fail in inactive branches

DVT-18862 Fixed NullPointerException in SVTB.32.3

DVT-18882 Memory Monitor: Disable directive not working

DVT-18421 New Rule: R.1201 A sequence randomize call must be placed before the sequence start method

DVT-18434 New Rule: R.1202 Module declaration format

DVT-18792 New Rule: R.1204 Overridden component phases must call super

DVT-18794 New Rule: R.1205 Do not use literal X

DVT-18808 New Rule: R.1206 Check index value before access for associative arrays

DVT-18791 Add interface class to supported elementKind for SVTB.27.1.0

DVT-18811 Verissimo: Display error message when lint configurations are out of sync

DVT-18752 XVM.2.1.1.6 No failures reported after reapply

DVT-18755 XVM64 No failures reported after reapply

DVT-18762 Verissimo: Running lint configuration with predefined ruleset and invalid ruleset file should not trigger an error

DVT-18798 XVM.7.2 Less failures reported when a reapply operation is preceded by a rebuild in VS Code

DVT-18805 Verissimo: Rerunning checks after changing the current build configuration file results in a lint hang in VS Code

DVT-18420 New Rule: R.1191 Do not use unsized literal expressions exceeding 32-bit integer range

DVT-18655 New Rule: R.1199 Ternary expressions nested in other ternary conditions should be enclosed by parentheses

DVT-18656 New Rule: R.1200 Conditional compilation compiler directives alignment

DVT-18486 Add parameter to R.1170 to allow comments on empty lines

DVT-18597 Report error when trying to autocorrect failures of checks that don't support autocorrect

DVT-18623 Improved VS Code Command Palette menu

DVT-18624 Ability to generate rulepool documentation in VS Code

DVT-18625 Improve UX when working with saved lint configurations in VS Code

DVT-18628 Ability to specify the location of HTML report in VS Code

DVT-18629 Ability to choose a baseline report when starting a new Verissimo session in VS Code

DVT-18630 Ability to auto-export the HTML report after linting in VS Code

DVT-18631 Ability to include the source code in the generated HTML report in VS Code

DVT-18746 Ability to see unfixable hits when autocorrecting in batch mode

DVT-18523 SVTB.7.20 should fail for static arrays

DVT-18524 SVTB.6.10.1 False failures for arrays used as input method arguments

DVT-18598 XVM.2.1.8 False hits for predefined list methods

DVT-18615 Rule configuration errors caused by invalid parameter values are reported as Internal Error in VS Code

DVT-18626 Existing waivers file are not suggested when starting a new Verissimo session in VS Code

DVT-18680 Exception thrown when selecting a failure without path from the DVT Eclipse Problems View

DVT-18704 Wrong number of checks displayed inside Verissimo Rule pool and Ruleset HTML documentation

DVT-18725 Verissimo: Linting from menu shortcut may silently fail when changing workspace

DVT-18619 New Rule: R.1198 Out of bounds range of index variable in array select

DVT-18508 Add parameter to SVTB.1.4.4.1 to skip checking blocks with end label

DVT-18663 Ability to lint either the entire project or just the current file based on selection

DVT-18712 Do not generate Verissimo GUI report when linting just a file

DVT-18676 SVTB.5.11.2.3 False failures for multiple $cast calls in if condition when allowOnlyIfChecking is set to true

DVT-18090 & DVT-18182 Ability to set a timeout when running Verissimo in batch or UI

DVT-18515 Add parameter to SVTB.1.1.26 and R.1159 to skip preprocessor directives

DVT-18564 Add auto-correct input to SVTB.15.4.1.1 to specify id and message of inserted `uvm_error macro

DVT-18612 Ability to see the Verissimo auto-correct parameters in the rulepool and ruleset documentation

DVT-18614 SVTB.31.3.3 Auto-correct should be performed when for loop has iterator declaration assignment

DVT-18584 XVM.7.7 Wrong messages for using undocumented types or inheriting from undocumented classes

DVT-18590 XVM.7.7 False failures for uvm_resource_types, UVM_FILE, uvm_apprepend

DVT-18633 SVTB.27.7.1 False failures for `ifndef / `ifdef compiler directives

DVT-18604 License: Support for FlexLM tools and dvtlmd daemon <11.19 is deprecated and will be removed in future versions

DVT-18539 New Rule: R.1196 Element description must be in element comment or in file header comment

DVT-18540 New Rule: R.1197 Method argument indentation

DVT-18605 License: New client implementation based on FlexLM 11.19 (disabled by default)

DVT-18500 Add parameter to XVM.4.28 to check only calls in loops

DVT-18534 Add argument to verissimo.sh to specify rules for which to perform auto-correct

DVT-18240 License: In some cases the license client leaks a large number of CLOSE_WAIT sockets due to a FlexLM bug

DVT-18586 SVTB.1.5 False failure for empty wait statements inside macros

DVT-18603 License: In some cases when multiple license sources are set and no license is available, the license client is repeatedly queuing and dequeuing for a license

DVT-18541 New Rule: R.1195 Declare package for specified children of base classes

DVT-18583 False LINT FAILED message after auto-correcting all failures in batch mode

DVT-18536 New Rule: R.1193 Do not have include statements guarded by `ifdef/`ifndef

DVT-18537 New Rule: R.1194 Do not use $test$plusargs and $value$plusargs with strings containing uvm

DVT-18447 Add parameter to SVTB.27.5.6 to skip typedefs over enum/struct/union

DVT-18551 CHSC False failures after performing auto-correct in batch mode

Improved performance for several rules

61 new rules

Added auto-correct for 4 rules

Ability to lint only changed files based on baseline HTML report

Ability to lint only the selected file

Ability to define pre-waivers based on the design top

Multiple UI enhancements

DVT-18400 New Rule: R.1192 Do not override reset_phase, configure_phase, main_phase, shutdown_phase in drivers, monitors, subscribers, or scoreboards

DVT-18402 New Rule: R.1189 An agent should check that its virtual interface has been set

DVT-18448 New Rule: R.1190 Signal naming pattern

DVT-18419 Add parameter to XVM.4.22 to check multiple UVM register layer API calls from if/else or case blocks

DVT-18455 Add parameter to SVTB.2.1, SVTB.2.3 and SVTB.2.6 to allow children classes

DVT-18456 Add parameter to SVTB.1.1.16 and R.1170 to enforce a space before and after the instance name

DVT-18550 Choosing "Browse File System" when selecting the ruleset or waivers file should open the .dvt directory by default in VS Code

DVT-18512 IndexOutOfBounds exception when comparing HTML report with pre-waived files

DVT-18432 SVTB.32.3 False failures for loops with literal zero as condition

DVT-18371 Add parameter to R.1156 to skip counting begin end blocks inside forks

DVT-18423 Add parameter to SVTB.1.1.24 to skip method arguments

DVT-18374 New Rule: R.1187 The testbench must instantiate and build the register block in the build_phase method

DVT-18401 New Rule: R.1188 Set the starting_phase member of the sequence object before starting the sequence.

DVT-18144 Add auto-correct for SVTB.1.9

DVT-18337 Add "since" query to Verissimo HTML ruleset documentation

DVT-18357 Improve performance of SVTB.1.1.26 and R.1159

DVT-18327 New Rule: R.1186 Do not include the same file multiple times

DVT-18328 New Rule: R.1185 Never place spaces on either side of method declaration's parenthesis

DVT-18315 R.1139 False failures for randomize() with {...} as if condition

DVT-17732 Ability to lint only the selected file

DVT-18237 Add parameter to SVTB.1.1.16 to enforce closing parenthesis on new line

DVT-11769 Memory Monitor: Memory starvation handling mechanism

DVT-18285 New Rule: R.1182 Declare packed arrays as little endian

DVT-18286 New Rule: R.1183 Declare unpacked arrays as big endian

DVT-18132 NullPointerException is thrown when undefined environment variables are used in +dvt_skip_compile

DVT-18292 SVTB.6.3.3 Should fail for typedefs with unpacked dimensions

DVT-18306 SVTB.1.1.26 False failures for foreach closing bracket

DVT-18307 Add parameter to SVTB.1.1.18 to specify checked keywords

DVT-18308 Add parameter to SVTB.2.16.1 to allow certain macro patterns

DVT-18309 Add parameter to XVM.2.2.11 to skip classes extending from specified base classes

DVT-18310 Add parameter to XVM15c to skip classes extending from specified base classes

DVT-16319 Improve performance of XVM46, XVM49, ARBF, ARIN, ARMN and ARSAa checks

DVT-18216 New Rule: R.1181 Open parenthesis should be on the same line with their associated element

DVT-18217 New Rule: R.1180 Do not use user defined UVM RAL class type variables outside of tests

DVT-18235 R.1170 should fail for parameters on the same line with the instantiated type

DVT-18267 XVM.2.1.4.2.8 False failures for array indexing of sequencer as context argument

DVT-18281 SVTB.1.1.10 False failures for last operator on line when allowIndentationOfMultilineOperators is true

DVT-18236 Add parameter to R.1170 to flag instance name not on the same line with closing parenthesis of the parameter list

DVT-18139 New Rule: R.1177 Use cross module references only on ports

DVT-18140 New Rule: R.1174 Do not use cross module references deep into the design

DVT-18186 New Rule: R.1176 Do not use get_full_name() or %m with XVM report macros

DVT-18190 New Rule: R.1179 Duplicate comments

DVT-18200 Validate regular expressions in waivers XML file before linting

DVT-18250 SVTB.8.4.10 and SVTB.8.4.11 should fail for protective fork block without begin end block

DVT-18198 Add parameter to SVTB.2.1 and SVTB.2.6 to flag first element in multi-element files

DVT-18199 Add XML validation to versions 1-5 of waivers XML files

DVT-18201 Add parameter to SVTB.12.2.7 and SVTB.15.4.1.1 to check randomize calls for classes with type parameters

DVT-18215 Add function and task to supported elementKind for SVTB.25.4.0

DVT-18114 New Rule: R.1175 Do not call xvm_object::create() in loops

DVT-18122 Add parameter to R.1164 to skip selects guarded by conditionals on the select variable

DVT-18180 Add parameter to XVM51b to allow object create call in sequence start methods

DVT-18100 New Rule: R.1170 Named parameter list indentation

DVT-18112 New Rule: R.1171 Do not use multiple include guards

DVT-18129 New Rule: R.1172 Separate single-line comments from the code

DVT-18130 New Rule: R.1173 Do not add multi-line comments inside of a statement

DVT-18137 Verissimo Custom Report API does not include pre-waiver information

DVT-18025 New Rule: R.1165 Do not use reg and wire

DVT-18075 New Rule: R.1166 Do not use checker

DVT-18076 New Rule: R.1167 Do not use final blocks

DVT-18081 New Rule: R.1168 Module instances naming pattern

DVT-18092 New Rule: R.1169 Banned predefined methods

DVT-18074 Duplicate rule not reported for version 1 of ruleset XML file

DVT-18127 Thread Dump Collector: Fix broken zips caused by SIGINT signals

DVT-17466 Add XML validation to version 1 of ruleset XML files

DVT-18036 Add pre-waived file list to pre-waiver Custom Report API

DVT-18083 Add parameter to SVTB.27.3.1 to specify member variable visibility

DVT-18095 Add parameter to SVTB.27.16 to skip class handles in classes

DVT-18096 Add parameter to SVTB.27.16 to skip class handles that are instantiated

DVT-18099 Add parameter to SVTB.1.1.20 to flag # on new line

DVT-17759 New Rule: R.1164 Out of bound range of index variable in bit select

DVT-18048 NullPointerException in R.1157

DVT-18049 NullPointerException in R.1153

DVT-18024 Add parameter to R.1159 to skip checking indentation of multi line statements and declarations

DVT-18031 Add parameter to R.1160 to specify XMR direction

DVT-18032 Parameter allowedXMRScopes of R.1160 should accept patterns

DVT-16969 SVTB.5.11.2.2 False failures for variables of parameterized type

DVT-17983 dvt_sv_lint_gui.sh does not work with custom ruleset

DVT-12843 Add parameter to SVTB.1.5 to flag single line containing xvm macro

DVT-17999 Add parameter to R.1156 to skip counting forks

DVT-17236 New Rule: R.1163 Unused module

DVT-17979 New Rule: R.1162 Do not use assignments as operands of ternary conditional operator

DVT-17821 Multi-line inline waivers are not working with multi-line comment style

DVT-17933 SVTB.16.1.5 False failures for coverpoint part select

DVT-17860 Automatically compress generated thread dumps

DVT-17909 Filter WIDTH_MISMATCH_PADDING warnings on 'uvm_bitstream_t ' predefined type

DVT-17795 New Rule: R.1160 Do not use cross module references

DVT-17961 New Rule: R.1161 Do not use always blocks

DVT-17798 Pre-waivers should not match rule configuration errors

DVT-17932 SVTB.7.21 False failures for local const variable

DVT-17966 XVM30b False failures for parameterized interfaces

DVT-17972 Add ids as anchors for rules in generated ruleset documentation

DVT-17864 Improve performance of SVTB.8.4.3

DVT-17865 Improve performance of XVM.5.1.4

DVT-17882 Improve performance of SVTB.1.5.2

DVT-17883 Improve performance of XVM.5.1.6

DVT-17943 Improve performance of rule XVM51b

DVT-17750 New Rule: R.1151 Do not use the policy argument when overriding the do_print, do_record, do_compare, and do_pack methods

DVT-17845 New Rule: R.1157 Delimiter for method implementations

DVT-17872 New Rule: R.1159 Named elements indentation

DVT-17914 NPE for Verissimo waivers paths included more than once

DVT-17953 SVTB.29.4.0 should fail for macros defined in a different file

DVT-17844 Add parameter to SVTB.1.1.4 to skip lines matching specified patterns

DVT-17846 Verissimo: Throw error for missing baseline report before build

DVT-17962 Add parameter to SVTB.29.4.0 to check macro definitions

DVT-17794 New Rule: R.1152 Banned packages

DVT-17827 New Rule: R.1155 Do not declare structs

DVT-17828 New Rule: R.1153 The zero value enum should match a specified pattern

DVT-17829 New Rule: R.1154 Limit number of method arguments

DVT-17830 New Rule: R.1156 Limit the nesting of procedural blocks in methods

DVT-17873 New Rule: R.1158 Do not declare parameters in global scope

DVT-17774 Add parameter to R.1110 to skip specified methods

DVT-17805 Add parameter to SVTB.2.3 to specify element kind

DVT-17806 Add parameter to SVTB.2.3 to enforce name matching only for files with single element kind

DVT-17823 Add support for specifying ruleset and waivers file location to dvt_cli.sh -lint

DVT-17824 Add parameter to SVTB.1.1.12 check dimensions in typedefs

DVT-17825 Add instance to supported elementKind for SVTB.1.1.20

DVT-17769 XVM.5.1.3.7 should fail for methods called in parent methods

DVT-17833 SVTB.8.4.10 & SVTB.8.4.11 False failures for disable/wait statements in conditional blocks

DVT-17761 Add parameter to SVTB.19.1 to flag .* connections

DVT-17768 XVM.4.22 should fail for each register API call that is unchecked

DVT-17804 Exception thrown when using custom report template from symlinked path

DVT-17822 NullPointerException in XVM51

DVT-17740 New Rule: R.1150 Do not define methods with the same name as system functions

DVT-17739 XVM.7.7 Add parameter to skip checking specified API

DVT-17737 SVTB.12.2.8 False failures for functions that assign the return value through $cast

DVT-17738 XVM.7.7 False failures for some documented API

DVT-17688 New Rule: R.1145 If blocks must have else in always

DVT-17689 New Rule: R.1146 Parameter type must be two state type

DVT-17690 New Rule: R.1147 Do not use sequential blocks in always_comb, always_latch, always_ff

DVT-17705 New Rule: R.1148 Unused package import

DVT-17717 New Rule: R.1149 Access interfaces only in monitors or drivers

DVT-17691 Add parameter to SVTB.27.21 to flag only case item generates

DVT-17696 Add parameter to R.1120 to allow variables that are sample method arguments

DVT-17708 Add module to supported elementKind for SVTB.27.1.0

DVT-17710 Add parameter to R.1126 to skip action block kinds

DVT-17718 Add parameter to SVTB.12.3.8 to skip tasks

DVT-13544 SVTB.12.4 should not fail for method calls defined in macros

DVT-17707 R.1137 False failures for constraints on predefined list methods

DVT-17676 New Rule: R.1144 Port naming suffix

DVT-17356 SVTB.27.1.0 should throw an error for invalid elementKind parameters

DVT-17657 Add parameter to XVM.2.1.4.2.8 to specify base class for non-virtual sequences

DVT-17683 Add parameter to XVM.2.6.3 to allow additional fields

DVT-17684 Add parameter to R.1143 to check for the field name in fields of class type

DVT-17694 Add parameter to XVM3 to skip virtual classes

DVT-17662 SVTB.12.2.8 False failures for functions defined in macros

DVT-17663 XVM.7.7 False failures for elements declared in UVM macros

DVT-17664 XVM3 False failures for classes inheriting uvm_void

DVT-17667 SVTB.12.3.8 False failures for const ref when skipScalarRefArguments is true

DVT-17681 XVM.2.6.3 False failures for field of type typedef sequencer

DVT-17682 XVM.2.6.3 False failures for fields defined in UVM macros

DVT-17647 Improve performance of SVTB.16.1.5

DVT-17408 ExportDesignHierarchyRule should print by default in a Windows compatible file

DVT-17604 Ability to specify optional description for inline waivers

DVT-17637 Add parameter to R.1141 to skip random variables

DVT-17653 R.1056 Should not fail for packed lists of primitive type

DVT-17573 ExportDesignHierarchyRule is not loaded on Windows

DVT-17638 R.1141 False failures for virtual interfaces

DVT-17561 New Rule: R.1143 Classes that instantiate covergroups should have a specific field

DVT-17568 Add auto-correct for SVTB.7.1.4

DVT-17544 Add parameter to XVM.2.6.3 to allow inherited fields

DVT-17545 Add parameter to XVM.2.6.3 to allow fields of type xvm_sequencer

DVT-17547 Add parameter to XVM30a to allow custom enums for active conditional expression

DVT-17589 Autocorrect for SVTB.15.7.1 should name the process "proc"

DVT-17628 Add parameter to SVTB.7.31 to skip fields of type XVM port

DVT-17548 XVM.3.1.4.8, XVM.3.2.1, XVM.3.2.2, R.1013, R.1037 should not fail for sequences

DVT-17556 XVM.7.7 False failures for UVM enum items

DVT-17560 SVTB.28.2 False failures for modports

DVT-17565 R.1120 Should fail for variables used in conditional coverpoint expressions

DVT-14017 Add auto-correct for SVTB.7.12.3.1

DVT-17555 Add parameter to R.1141 skip fields of class type

DVT-17559 SVTB.25.4.1 should allow multiple comment styles

DVT-17557 R.1056 False failures for enum item comparisons

DVT-17558 R.1120 False failures for coverpoints

DVT-17486 Build log/output should be consistent across tools

DVT-17539 R.1142 False failures for UVM reporting macros

DVT-17510 New Rule: R.1141 Initialize class variables either on declaration or in the constructor

DVT-17511 New Rule: R.1142 Assertions should not have a true branch

DVT-14540 SVTB.2.12 Auto-correct should replace incorrect include guard name

DVT-17498 Add parameter to SVTB.1.1.21 to allow multiple whitespaces after single line comment identifier

DVT-17499 Add parameter to SVTB.4.2 to specify allowed list of literal values

DVT-17500 SVTB.2.7 Add matched ids value in failure message

DVT-17502 Add predefined custom report template for rules in CSV format

DVT-17412 Improve performance of SVTB.31.4

DVT-17416 Improve performance of SVTB.12.4

DVT-14244 New Rule: R.1139 Multiline statement formatting

DVT-17197 Add parameter to SVTB.6.10.1 to allow assignments and associative array exists method as method to read elements

DVT-17465 Add parameter to ARSAb to allow any sequencer in the agent

DVT-17413 Improve performance of SVTB.7.33

DVT-13591 Including other waiver files should take into account the position of the <include> tag

DVT-17441 Add predefined custom report templates to Verissimo for linted files, autocorrect edits and waived failures

DVT-11416 SVTB.7.1.4.1 Should fail for methods with arguments of parameterized type with named parameterization in different order

DVT-17427 SVTB.1.1.9 False failures inside macro string arguments

DVT-17415 Improve performance of SVTB.27.5.6

DVT-17426 Improve pre-waivers performance for SVTB.19.6

DVT-14590 Ability to pre-waive files containing modules instantiated under a top module

DVT-17359 New Rule: R.1140 Do not use banned patterns

DVT-17366 Add line offset information to failures of SVTB.1.5.1

DVT-17397 Add parameter to XVM.2.1.1.1.0 to check macro calls inside another macro call

DVT-17401 Add parameter to SVTB.27.10.1 to skip UVM API

DVT-17249 ARMN, ARBF, ARSAa Failures disappear after rebuild and rerun

DVT-17429 CHCAb False failures for properties with arguments

DVT-17225 New Rule: R.1137 Do not use variables that cannot be randomized in randomize with constraints

DVT-17389 License: Add support for inline string license sources

DVT-17390 License: Add support for platform independent license source separator &

DVT-17391 License: Add support for using a local license by multiple applications at the same time under the same user

DVT-17163 Ability to reapply just the check for which auto-correct has been triggered when importing an HTML report

DVT-17392 License: Send to the license server the client PID instead of the unused and dummy display value

DVT-17335 SVTB.1.0 does not take into account default value for vertical alignment tokens when running in batch

DVT-17358 Compare report should be able to correctly map failures for PKLD, PKVD, PKVR

DVT-17393 License: Fixed custom port support in local license sources

DVT-15398 Add parameter to XVM.2.1.9 to specify allowed number of hierarchical reference levels for uvm_sequencer

DVT-17111 New Rule: R.1136 For-loop variable should be able to hold the loop threshold

DVT-17120 New Rule: R.1138 Do not use uvm_sequencer_base.default_sequence configuration parameter to start sequences

DVT-17327 Add check information for the waived failures to Verissimo custom report API

DVT-16843 New Rule: R.1109 Do not call srandom outside of the class constructor

DVT-17207 New Rule: R.1135 Forward typedefs must be before import statements

DVT-16992 Add parameter to XVM.2.1.4.2.8 to specify type parameter class for virtual sequence base class

DVT-17186 R.1050 False failures for declaration assignments

DVT-17004 Add parameter to SVTB.15.4.1.1 to check for macro call if randomization fails

DVT-17108 Add parameter to SVTB.15.4.1.1 to check if/assert condition checking randomize

DVT-17206 Report XML errors when specifying the same parameter multiple times

DVT-17224 R.1130 False failures for real variables

DVT-17243 R.1128 False failures for replication using parameter as multiplier

DVT-17208 New Rule: R.1133 For loop must have a step statement

DVT-17173 SVTB.15.8.1 add more details about the identifier with the same name

DVT-17177 Add parameter to R.1114 to skip packages and their contents

DVT-17178 Ability to specify "global_class", "global_typealias", "package_class" and "package_typealias" as values for R.1114 parameter elementKinds

DVT-17179 Add parameter to SVTB.1.1.19 to ignore spaces for closing parentheses on new line

DVT-17133 Improve reported failures for R.1062 and R.1063

DVT-17155 SVTB.12.2.8 False failures for infinite loops

DVT-17169 R.1128 False failures for list initializations

DVT-17172 SVTB.12.2.8 False failures when modifying members of implicit return value

DVT-17188 SVTB.12.10 False failures for assignments to interface output ports

DVT-16907 Ability to pre-waive unchanged files based on baseline HTML report

DVT-16998 New Rule: R.1120 Variables used in conditional coverpoints or bins should be covergroup arguments

DVT-17112 New Rule: R.1130 Constraint unsigned variable should use a positive value

DVT-17114 New Rule: R.1132 Assertions should not contain function or system calls

DVT-17157 Add parameter to SVTB.29.1.0 to specify base class of classes that will be checked

DVT-17161 Add parameter to XVM.2.1.15.1, XVM.2.1.4.2.7, XVM.3.1.9.1, XVM.3.3.11.1 and XVM.5.4.4 to skip associative array fields

DVT-17146 SVTB.12.2.9 False failures when modifying members of implicit return value

DVT-17153 SVTB.20.15 should fail for increment and decrement operators

DVT-17054 New Rule R.1126: 'end' must be placed on the same line or the previous line consistently in the same file

DVT-17057 New Rule: R.1128 Do not use single element concatenations

DVT-17059 Add auto-correct for SVTB.32.4

DVT-17110 New Rule: R.1129 Do not use fractional randomization weights

DVT-17134 New Rule: R.1131 Constraint distribution weights should not be negative

DVT-17053 Add parameter to SVTB.6.10.1 to allow 'new' as a valid method to remove elements

DVT-17070 Add parameter to SVTB.9.10 to check assignments based on the enclosing scope being an initial block or not

DVT-17145 Add parameter to SVTB.6.10.1 to allow 'return' as a valid method to read elements

DVT-17074 SVTB.7.12.3.1 False failures for modules with localparams

DVT-17107 R.1046 Should fail if there's no space between if and parentheses

DVT-17119 False failures for SVTB.1.4.1 in batch mode when running with -autocorrect_reruns

DVT-17154 Some scripts are not working correctly when ANSI colors are always set for some system commands

Improved performance

107 new rules

Auto-correct for 22 rules

New predefined rulesets: RTL, Dead Code, Performance, Non-Standard, UVM IEEE 1800-2.2020 Compliance

Ability to generate a Progress Report

API for exploring the elaborated design hierarchy

DVT-8781 New Rule: R.1122 Do not assign `wrealXState and `wrealZState to logic or reg variables

DVT-16844 New Rule: R.1121 Call set_item_context before randomizing a sequence

DVT-16961 New Rule: R.1118 Import declarations in modules must be before parameters and port lists

DVT-17019 New Rule: R.1124 Do not use multiple `xvm_info macro calls inside methods

DVT-17020 New Rule: R.1123 Do not use edge delays or #delay in while loops

DVT-17055 Add auto-correct for SVTB.4.1.4.1.1

DVT-17061 New Rule: R.1127 Don't use case variable in the case item expression

DVT-16729 Add parameter to SVTB.5.1.1 to allow using wire for connections in modules

DVT-16896 Add parameter to SVTB.10.23 to skip static storage variables

DVT-17014 StackOverflowError in UVM.3.1.4.7, SVTB.7.33, UVM.3.8, UVM.3.9, SVTB.7.36, UVM.2.2.3.1, UVM.2.2.11, UVM23a, SVTB.27.2.0, UVM.2.1.1.1.0, UVM61 and UVM62

DVT-17048 SVTB.6.10.1 False failures for arrays read by the streaming operator

DVT-17056 SVTB.10.20 False failures for hierarchical name and library binding format specifiers

DVT-17073 Incorrect HTML report generated when using -autocorrect

DVT-16989 Progress Report: Performance improvements when rendering the chart

DVT-16962 New Rule: R.1119 All interfaces should be instantiated

DVT-16970 Ability to merge the categories which have the same name

DVT-16913 SVTB.25.4.0, SVTB.25.4.1 False failures for class comments

DVT-16922 SVTB.1.1.26 Wrong auto-correct for do-while blocks

DVT-16938 SVTB.1.1.12 False failures for function implementation return type

DVT-16987 Wrong ruleset name in generated predefined XML ruleset

DVT-17012 Invalid exit code for verissimo.sh when using -dry_run

DVT-17013 ClassCastException thrown when running SVTB.7.27

DVT-16950 New Rule: R.1116 Do not declare fields of enum type as rand or randc

DVT-16965 New Rule: R.1117 Objections must be raised and dropped

DVT-16933 Add parameter to SVTB.12.9 to skip methods without any arguments

DVT-16974 Add parameter to SVTB.5.9.8 to flag only enum items in constraints

DVT-16980 XVM.2.1.4.2.7 Should fail for class typedef fields

DVT-16984 XVM9 & XVM4 False failures for type parameter inheritance

DVT-16420 New Rule: R.1038 Do not use the global variable uvm_pkg::factory

DVT-16480 New Rule: R.1045 Do not call super.build_phase in user_defined component classes that directly extend UVM base classes

DVT-16487 New Rule: R.1049 Zero should not be a possible denominator

DVT-16489 New Rule: R.1050 "=+" should not be used instead of "+="

DVT-16495 New Rule: R.1051 Do not override the predefined pre- and post- phase methods

DVT-16857 Add Non-Standard predefined ruleset to Verissimo

DVT-16876 New Rule: R.1111 Raised objections must be dropped

DVT-16893 New Rule: R.1114 Do not compile types with the same name in different libraries

DVT-16934 New Rule: R.1115 Dropped objections must be raised

DVT-16869 SVTB.1.5.2 Wrong auto-correct because do keyword is considered a single line statement

DVT-16923 Illegal reflective access by ro.amiq.dvt.utils.DVTProcessRunner warning when using Java >8

DVT-16874 New Rule: R.1110 Method calls with 4 state values for 2 state arguments must include X, Z check

DVT-16890 New Rule: R.1112 Always call item_done after get_next_item

DVT-16899 New Rule: R.1113 Always call get_next_item before item_done

DVT-16850 SVTB.1.5 Wrong auto-correct for 'if' statement placed on the same line as the case item

DVT-16861 Wrong failures in HTML report for checks with maxHitsPerFile parameter

DVT-16528 New rule: R.1061 Do not raise or lower objections outside the pre_start / post_start methods of a sequence

DVT-16648 Including other ruleset files should take into account the position of the <include> tag

DVT-16775 Ability to override fields of rule element in the ruleset

DVT-16763 Improve Open HTML report error handling

DVT-16831 Add parameter to XVM.5.1.3.9 to check the usages of the string after the uvm_info message context

DVT-16873 Add parameter to SVTB.1.4.4.1 to skip fork-join blocks

DVT-16830 XVM.5.1.3.9: False failures triggered by non-string values

DVT-16832 XVM.5.1.3.9 : False failures triggered by usage of verbosity check with non-literal values

DVT-16834 XVM.2.1.4.2.8 should fail when the create call does not set the second argument for virtual sequences in a test

DVT-16848 StackOverflowException when running XVM.3.7 on circular inherited classes

DVT-16868 SVTB.1.1.12 should check the spaces between dimensions and identifier in the function header

DVT-16878 NullPointerException in SVTB.1.1.9 when reapplying checks after changing source code

DVT-16882 NullPointerException in SVTB.11.2.2.3

DVT-16819 Improve performance of XVM.3.6

DVT-16815 New Rule: R.1073 Do not use traversal methods for associative arrays

DVT-16765 Verissimo Progress Report: Highlight reports with compilation errors

DVT-16811 Add Performance predefined ruleset to Verissimo

DVT-16814 R.1069 should only fail for foreach used to iterate over associative array

DVT-16817 Add -noexit flag for Verissimo launching script

DVT-16754 StackOverflowError in R.1043

DVT-16827 IllegalArgumentException thrown when importing a Verissimo HTML report

DVT-16837 NullPointerException thrown when running verissimo.sh with -dry_run and -list_unused_available_rules

DVT-16758 Improve performance of SVTB.1.1.9

DVT-16796 Improve performance of SVTB.12.5

DVT-16797 Improve performance of XVM.2.8.5

DVT-16799 Improve performance of SVTB.5.11.2.2

DVT-16806 Improve performance of SVTB.1.8 auto-correct

DVT-16818 Improve performance of SVTB.6.5.1.1 and SVTB.29.1.3.1

DVT-16657 Improve SVTB.5.2.7 rule by checking if statement condition and right-hand side of the assignment

DVT-16753 Improve ExportDesignHierarchy rule to explore elaborated design hierarchy

DVT-16789 Add line offset information to failures of SVTB.1.4.1

DVT-16773 SVTB.1.4.5 Wrong auto-correct for begin block preceded by conditional compilation directives

DVT-16762 New Rule: R.1072 Do not declare embedded covergroups

DVT-16761 SVTB.7.34 should check all classes when "baseClass" parameter is empty

DVT-16764 Add line offset information to failures of SVTB.1.5

DVT-16785 Improve performance of SVTB.1.1.10 auto-correct

DVT-16787 Add pre-waiver support to XVM.2.1.1.3, XVM.2.1.17, XVM.3.3.11.1, XVM.4.21.1, XVM.5.1.3.8, XVM.5.3.2, XVM30c, SVTB.5.11.2.3, SVTB.15.4.1.1, SVTB.27.2.0, SVTB.27.3.2 and SVTB.31.2.1

DVT-16774 R.1000 False failures for uvm_*_port

DVT-16780 SVTB.1.5.2 False failures for statements preceded by comments containing strings

DVT-16751 Add pre-waivers support to multiple Verissimo checks

DVT-16719 Improve performance of rule SVTB.1.1.10

DVT-16724 SVTB 31.1.0 False failures for signal in named implicit port connection

DVT-16726 SVTB.1.5.2 Wrong failure line for if block preceded by imbricated `ifdefs

DVT-16727 SVTB.1.5.2 Wrong auto-correct for lines with comments and blank lines

DVT-16760 SVTB.1.1.10 should fail when only tabs are around binary operators

DVT-13418 Ability to use auto-correct in batch mode

DVT-16625 Ability to import a Verissimo HTML report in the Verissimo GUI report

DVT-16685 New Rule R.1069: Do not use foreach to iterate over associative arrays or iteration methods for class key associative arrays

DVT-16700 New Rule: R.1070 Do not use for loops without initialization

DVT-16704 New Rule: R.1071 Use a single style of module header definition

DVT-13650 Ability to hide manual checks in the HTML report

DVT-15339 Ability to hide auto-correctable checks in the HTML report

DVT-16691 Add parameter to XVM.5.1.3.6 to skip `xvm_info macro calls followed by specified macro calls

DVT-16705 Add parameter to R.1071 to force the use of a certain module header definition style

DVT-16715 Change default ruleset to basic

DVT-16723 Default severity of R.1080-R.1107 RTL linting rules should be error

DVT-16484 New rule: R.1047 Do not use identical expressions on both sides of a binary operator

DVT-16511 New Rule: R.1056 Assertions comparing incompatible types should not be made

DVT-16644 New Rule: R.1066 Check for plusarg aliasing

DVT-16645 New Rule: R.1067 Use plusargs only in initial blocks

DVT-13759 Add support for relative paths when using -gui argument

DVT-13477 SVTB.31.1.0 False failures on design element members when specifying -top in default.build

DVT-16689 dvt_cli.sh -lint should have UVM as the default library kind

DVT-16479 New rule R.1046: Related if/else if statements should not have the same condition

DVT-16684 Add pre-waiver support to SVTB.1.7, SVTB.12.8, SVTB.27.5.1, SVTB.27.5.2, SVTB.27.6.3, SVTB.27.10.1, SVTB.27.14, SVTB.31.1.0, SVTB.31.4, XVM.2.8.5, XVM.2.9.1.5.1

DVT-16559 Ensure that DVT distro scripts run with POSIX mode disabled

DVT-16277 New rule: R.1027 Do not use uvm_printer_knobs fields

DVT-16406 New Rule: R.1035 Do not use the internal variable xvm_sequence_item::m_sequence

DVT-16428 New Rule: R.1040 Do not use get_config_int, get_config_string, get_config_object

DVT-16434 New Rule: R.1042 Do not include files using their paths

DVT-16498 New rule: R.1052 Getters should refer the expected fields

DVT-16517 New rule: R.1057 Setters should refer the expected fields

DVT-16580 New Rule: R.1064 Do not use locally generated clocks

DVT-16599 New Rule: R.1065 Do not call get or get_next_item from drivers

DVT-16536 Add parameter to ARBF and similar rules to allow create calls in conditional code that checks the active field from a configuration class

DVT-16640 XVM.5.1.3.9 add support for additional string processing in the macro call

DVT-16647 SVTB.10.20 should fail for unnecessary string formatting

DVT-16660 Verissimo: Prompt to refresh out of sync files when trying to apply auto-correct

DVT-16621 XVM.2.1.4.2.8 Update rule description with example and specify sequencer base class

DVT-16622 XVM.2.1.4.2.8 False failures for custom defined sequencer base class

DVT-16642 Verissimo: Check description dialog option should exists when text contains very long lines

DVT-16279 Add API for exploring the elaborated design hierarchy

DVT-16566 SVTB.1.5.2 False failures for statement on the next line after an event control

DVT-16613 XVM.2.1.15.1 Wrong auto-correct for hierarchical identifiers used as name argument

DVT-16615 ConcurrentModificationException thrown after performing auto-correct

DVT-16620 SVTB.12.1.2 should not autocorrect failures in files compiled with Verilog 2001

DVT-16623 Remove information about fixed Verissimo issues from HTML Report and Failures Report

DVT-16485 New Rule: R.1048 Do not repeat unary prefix operators

DVT-16500 New Rule: R.1054 Use `include directives within a package to allow each class to be placed in a separate file

DVT-16501 New Rule: R.1055 Set propagate mode of every objection to 0

DVT-16518 New Rule: R.1058 Use packing macros when overriding do_pack

DVT-16521 New Rule: R.1059 Use unpacking macros when overriding do_unpack

DVT-16523 New Rule: R.1060 Use recording macros when overriding do_record

DVT-16540 New Rule: R.1062 Variables not read

DVT-16541 New Rule: R.1063 Variables not written

DVT-16527 Add parameter to XVM23b to allow analysis port instantiation in specified methods

DVT-16532 Add parameter to XVM55 to allow additional statements in the run_phase

DVT-16538 Add auto-corrected failures information to Verissimo custom report API

DVT-16614 Add line offset information to failures of SVTB.5.2.8

DVT-15163 SVTB 8.4.3 false failures for disable fork on separate threads in fork-join_none block

DVT-16526 XVM23b False failures for instantiations of arrays of analysis ports

DVT-16531 XVM55 False failures for fork join blocks in forever blocks

DVT-16576 Verissimo HTML report hyperlinks are missing in DVT Eclipse 4.19 distributions

DVT-16595 SVTB.15.6.1 False failures for comparisons with literal values

DVT-16612 SVTB.2.12 False failures in files preceded by 2 comment blocks

DVT-16561 New Rules: R.1080-R.1107 RTL linting rules

DVT-16475 SVTB.1.1.24 False failures for variables preceded by curly brackets

DVT-16477 SVTB.1.1.24 False failures for multiple declarations on the same line

DVT-16493 XVM.7.3.4 should auto-correct all possible failures at once

DVT-16483 NullPointerException in R.1033 auto-correct

DVT-16405 New Rule: R.1036 XVM Sequence constructor

DVT-16427 New Rule: R.1043 Do not override sub-run phases

DVT-16429 New Rule: R.1039 Do not raise or lower objections outside tests

DVT-16433 New Rule: R.1041 Do not use timescale in the compiled files

DVT-16471 New Rule: R.1044 Do not use UVM IEEE 1800.2-2020 uvm_reg.get_local_map deviation

DVT-16063 Add parameter to XVM.2.1.4.4.1 to allow loop equivalents of forever loop

DVT-16465 Multiple exceptions thrown when dvt_build.log is read-only

DVT-14496 Improve memory footprint of SVTB_33.1.0, SVTB_33.2.0, SVTB_33.3.0

DVT-16446 Improve performance of rules SVTB.19.5 and SVTB.19.6

DVT-16385 New Rule: R.1033 Call macro from specified method

DVT-16404 New Rule: R.1037 Sequence items must implement do_record

DVT-16422 Add waiver information to custom report API

DVT-16432 Add parameter to SVTB.27.3.1 to check only private members

DVT-15785 Report XML errors when using wrong attribute names in the waivers file version 6

DVT-15806 New Rule: SVTB.19.5 Do not use cross module references unless they are done through macros

DVT-15808 New Rule: SVTB.19.6 Do not use cross module references unless they are enclosed in `ifdef/`ifndef guards

DVT-16395 Add pre-waivers element type validation in the Verissimo waivers XML file

DVT-16396 Add parameter to SVTB.1.1.12 to allow vertically aligned unpacked dimensions

DVT-16407 Add reasons for unfixable failures when using autocorrect on SVTB.1.1.10 and SVTB.1.1.25

DVT-16394 NullPointerException in SVTB.27.21

DVT-16424 Verissimo generates custom report with null extension when template file has .ftl extension

DVT-16264 Add parameter to SVTB.11.3 to allow missing default case item for fully specified variables

DVT-16296 Add examples to the description of rules that support auto-correcting

DVT-16353 Ability to rerun auto-correct until all issues are fixed

DVT-16363 Refine predefined rulesets naming

DVT-16365 XVM.7.3.4 should not auto-correct inside macros

DVT-16295 XVM.5.2.1.2 False failures for type overrides called in child classes

DVT-16362 Fixed NullPointerException in SVTB.1.5.2

DVT-16374 SVTB.1.1.12 Wrong auto-correct for multiple method arguments

DVT-16377 Fixed horizontal scrollbar in the Verissimo HTML report

DVT-16354 Improve performance of SVTB.1.0

DVT-16285 SVTB.15.6.1 False failures for constant expression casting

DVT-16360 SVTB.1.1.5 should take into account the value of the maxHitsPerFile parameter

DVT-16164 New Rule: R.1013 Sequence items must override do_pack and do_unpack

DVT-16280 SVTB.27.22 Should fail for macro names

DVT-16281 Add parameter to SVTB.27.22 to check inactive code

DVT-16265 SVTB.14.10.9 False failures when using cycle delay before sampled value function in property

DVT-16302 SVTB.1.5 Wrong auto-correct for if statement inside fork

DVT-16315 XVM.2.8.5 False failures inside class constructor

DVT-16243 New Rule: R.1012 Set the at_least option of each covergroup and each coverpoint to a value different than 1

DVT-16313 New Rule: R.1032 Do not use UVM IEEE 1800.2-2020 deviations

DVT-16282 Add line offset information to failures of SVTB.1.1.10, SVTB.10.7.3 and SVTB.12.4

DVT-16307 Refine UVM IEEE 1800-2.2020 compliance predefined ruleset

DVT-16286 SVTB.9.12 False failures for increment operators

DVT-16298 BadLocationException in SVTB.31.3.2 when the case item expression contains macro calls

DVT-16276 New Rule: R.1025 Do not use uvm_top

DVT-16278 New Rule: R.1026 Do not use xvm_root.run_test()

DVT-16283 New Rule: R.1028 Call $fopen with type argument specified

DVT-16258 Add parameter to XVM.2.8.5 to specify methods for allowed type overrides

DVT-15677 SVTB.4.1.7 False failures for literal values containing the base format

DVT-16262 SVTB.1.1.25 False failures inside macros

DVT-16240 Add number of linted lines information to custom report API

DVT-16260 Enhance error message with macro information when auto-correcting SVTB.5.11.2.1

DVT-16225 SVTB.6.10.1 False failures for queue used with set membership operator

DVT-16242 SVTB.10.20 False failures for real numbers with fractional digits format

DVT-16261 Unable to auto-correct for SVTB.15.4.1.1 when randomize is casted to void

DVT-16228 New Rule: R.1010 Do not assign a variable to itself

DVT-16236 Add parameter to SVTB.29.1.7 and XVM.5.1.1 to skip banned method calls in static methods

DVT-16224 New Rule: R.1011 Do not instantiate UVM IEEE virtual classes

DVT-16053 Add auto-correct information to Verissimo custom report API

DVT-16192 Add parameter to XVM.2.8.5 to specify base class for allowed type overrides

DVT-16193 XVM.2.1.1.5 False failures for inner classes

DVT-16219 XVM.2.1.4.2.8 'this' should be used as second argument of create call for virtual sequences in a test

DVT-16237 Hardwire the shell used by distribution scripts to /bin/bash

DVT-16195 New Rule: R.1009 XVM instance naming pattern

DVT-16054 Ignore maxHitsPerFile parameter when using auto-correct

DVT-16207 Verissimo identifies certain user files as UVM library files

DVT-14015 Add auto-correct for SVTB.5.2.8

DVT-16079 New Rule: R.1006 Do not use tri0/tri1 net declarations

DVT-16080 New Rule: R.1002 Do not declare real variables

DVT-16081 New Rule: R.1003 Do not use initial and final blocks

DVT-16142 New Rule: R.1005 Classes must be defined within a package

DVT-16148 Ability to checkout files from Perforce when using auto-correct in batch mode

DVT-16149 New Rule: R.1008 Do not declare and instantiate covergroups in transactions and sequences

DVT-16022 SVTB.31.3.3 wrong auto-correct when the for loop changes variables declared in an enclosing scope

DVT-16151 SVTB.1.5 wrong auto-correct for case item statements

DVT-16157 SVTB.5.2.8 False failure for case item statements

DVT-16167 R.1004 Should fail for both target modules and bound modules

DVT-14014 Add auto-correct for XVM.2.1.15.1

DVT-14018 Add auto-correct for XVM.2.1.1.5

DVT-15961 Add auto-correct for SVTB.1.5

DVT-15998 Add auto-correct for SVTB.1.1.2.0

DVT-15999 Add auto-correct for SVTB.1.1.12

DVT-16001 Add auto-correct for SVTB.1.5.1

DVT-16091 New Rule: R.1001 Do not use MOS switches

DVT-16126 New Rule: R.1000 UVM IEEE Compliance

DVT-16128 New Rule: R.1004 Do not bind a module in the same file with its declaration

DVT-16152 New Rule: R.1007 When overriding XVM virtual methods do not use the virtual keyword

DVT-16089 Add parameter to SVTB.1.5.2 to allow lines with comments between the 'if' and the single line statement

DVT-16124 Improve performance of SVTB.1.1.8 and SVTB.1.1.16 auto-correct

DVT-16127 Add UVM IEEE Compliance predefined ruleset to Verissimo

DVT-16109 SVTB.1.1.12 False failure for unpacked dimensions of array type

DVT-16113 SVTB.27.22 Should fail for names containing specified patterns

DVT-15729 New Rule: XVM.4.21.2 uvm_config_db::get calls must have a corresponding uvm_config_db::set call

DVT-15959 Add auto-correct for SVTB.1.4.1

DVT-15960 Add auto-correct for SVTB.1.4.5

DVT-15995 Add -dry_run argument to verissimo.sh in order to validate arguments without license checkout

DVT-16010 XVM.2.8.9 should check that there are raised and dropped objections in the test run phase

DVT-16023 SVTB.10.7.3 wrong auto-correct when using only delay inside an action block

DVT-15955 Add auto-correct for SVTB.1.1.23

DVT-15956 Add auto-correct for SVTB.1.1.24

DVT-16000 Add auto-correct for SVTB.1.4.2

DVT-16049 New Rule: SVTB.1.0 Files should be formatted

DVT-14676 SVTB.27.8.1 wrong auto-correct when the renamed variable is used in macro

DVT-15937 XVM.2.1.1.3 False failures for field of type packed array of enums

DVT-16009 SVTB.7.12.3 False failures for interface port declarations

DVT-16056 SVTB.1.1.1 should report maxHitsPerFile failures when there are multiple tabs on the same line

DVT-16062 SVTB.28.2 False failures for coverpoints

DVT-16071 SVTB.5.11.2.1 wrong auto-correct when $cast calls are casted to void

DVT-15610 New Rule: XVM.4.29 Regular expressions should be syntactically valid

DVT-15951 Add auto-correct for SVTB.1.1.16

DVT-15963 Add auto-correct for SVTB.1.8

DVT-16011 Ability to automatically generate thread dumps for specified rules

DVT-16024 SVTB.12.1.2 wrong auto-correct for methods defined inside macro

DVT-16026 SVTB.2.12 wrong auto-correct: sometimes include guards are inserted inside comments

DVT-16027 NullPointerException in SVTB.1.1.26

DVT-16029 NullPointerException in rule SVTB.12.11

DVT-16030 NullPointerException in SVTB.10.6.1 and SVTB.10.6.1.0

DVT-16044 SVTB.7.26 auto-correct does not delete constructors that calls only super.new()

DVT-15949 Add auto-correct for SVTB.1.1.2

DVT-15957 Add auto-correct for SVTB.1.1.25

DVT-15962 Add auto-correct for SVTB.1.5.2

DVT-8678 XVM.3.1.4.1 should not give failures in non-UVM classes

DVT-8907 XVM architecture based checks should not use ruleset defined suffixes to identify components

DVT-15861 Use existing arguments to add compare reports when generating HTML Progress Report

DVT-15972 Improve performance for SVTB.1.1.24

DVT-15985 SVTB.1.1.25 False failures for comments between procedural statement keyword and open parenthesis

DVT-16016 Verissimo runs all rules when no rules are specified in the ruleset XML file

DVT-16020 NullPointerException in XVM.3.1.4.3.2 and XVM.3.2.2.1

DVT-15950 Add auto-correct for SVTB.1.1.13

DVT-15952 Add auto-correct for SVTB.1.1.17

DVT-15953 Add auto-correct for SVTB.1.1.19

DVT-15954 Add auto-correct for SVTB.1.1.20

DVT-15958 Add auto-correct for SVTB.1.1.26

DVT-15821 New Rule: XVM.10.3 Do not use deprecated global variables for default printers

DVT-15865 New Rule: SVTB.10.24 Do not compare enum variables to literal values

DVT-15915 New Rule: SVTB.4.2 Do not compare literals

DVT-15917 Add support for "disable" as attribute for -rulepool_xml_include argument of verissimo.sh

DVT-15918 Use tabs consistently in generated rulepool XML file

DVT-15891 XVM.3.1.4.2.2, XVM.3.1.4.3.2, XVM.3.1.4.4.2, XVM.3.2.1.1, XVM.3.2.2.1 & XVM.3.2.3.1 should not fail for fields registered with `xvm_field_* macros

DVT-15946 Add parameter to SVTB.7.38 to skip checking calls that generate singleton objects

DVT-15947 Add parameter to SVTB.7.38 to check all the nested macro names

DVT-15884 SVTB.5.2.7 False failures for concatenation of enum types

DVT-15901 SVTB.27.14 False failures for parameters of overriding methods

DVT-15939 Generating ruleset documentation does not take into account the disable attribute when specifying check severity

DVT-15944 NullPointerException in SVTB.7.1.2 and SVTB.7.1.2.1 auto-correct

DVT-15945 BadLocationException in SVTB.1.1.10 auto-correct

DVT-15832 New Rule: SVTB.27.22 Do not use banned words

DVT-15904 Add parameter to PKFN to skip checking files that contain classes that inherit from specified base classes

DVT-15883 ARMN, ARBF, ARSAa False failures for create calls outside of classes

DVT-15910 XVM23a False failures for inherited analysis ports from virtual base class

DVT-15866 New Rule: SVTB.7.38 Do not modify class variables in print macros

DVT-15721 New Rule: SVTB.33.4.0 Do not compile the same file in multiple libraries

DVT-15851 XVM.2.8.9 Should not fail for tests that do not override run_phase

DVT-15860 XVM23a False failures for classes with names matching the monitor name pattern

DVT-15346 Ability to generate a Progress Report from multiple Verissimo HTML reports

DVT-15544 Add -license_queue_timeout argument to specify the maximum time in seconds to wait in queue for a license

DVT-6664 Add Dead Code predefined ruleset to Verissimo

DVT-14094 Add RTL predefined ruleset to Verissimo

DVT-15543 Print the "Waiting for license..." message event when using -silent argument

DVT-15833 XVM.3.4.3 False failures for hierarchical referenced sequencer arrays

DVT-15731 New rule: SVTB.32.4 Do not use long if else if chains

DVT-15774 SVTB.27.14 False failures for loop variables of generate blocks

DVT-15790 SVTB.2.10 False failures for uppercase string value of headerValue parameter

DVT-15823 Running verissimo.sh with -zero_exit_on_lint_failures returns compilation error exit code

DVT-15824 Running verissimo.sh with -ignore_lint_* is not reflected in the exit code

DVT-15734 Add parameter to XVM.4.20 to allow assigning the virtual interface through a variable

DVT-15724 Report XML error when using wrong attribute for paths tag in the Verissimo waivers file

DVT-15743 XVM.2.9.2.8 should check all types of subscribers

DVT-15745 Add parameter to SVTB.2.19 to skip classes declared in macros

DVT-15703 XVM.3.1.4.2.2, XVM.3.1.4.3.2, XVM.3.1.4.4.2, XVM.3.2.1.1, XVM.3.2.2.1 & XVM.3.2.3.1 False failures for field accesses using the "this" object handle

DVT-15719 XVM52 False failures for XVM classes fields

DVT-15733 XVM30b False failures for interfaces with modports

DVT-15739 XVM.4.23 False failures for variables with initial values

DVT-9144 New Rule: SVTB.32.3 Infinite loop detection

DVT-15717 SVTB.31.3.0 False failures for named begin-end blocks

DVT-15718 SVTB.31.3.0 False failures for begin-end blocks containing inactive code

DVT-13918 Rules ARBF, ARIN, ARMN and ARSAa should resolve type parameters

DVT-15674 SVTB.33.2.0 False failures in covergroups

Improved performance

87 new rules

New auto-correct capabilities for 1 rule

Filtering the failures based on creation date collected from revision control systems or the filesystem

Improved the usability of the report and rulepool documentation

Improved validation of ruleset and waivers XML files

DVT-15701 Improve performance of rule XVM51b for bottom-up implementation

DVT-15685 New Rule: SVTB.31.7 Do not call substr() with argument values outside of the expected bounds

DVT-14484 XVM28 False failures for driver with default parametrization

DVT-15633 XVM.3.4.3 False failures for sequencer arrays

DVT-15663 SVTB.31.4 False failures for associative arrays, dynamic arrays and queues read or written with their predefined methods

DVT-15675 SVTB.32.1.0 should not fail for covergroup sample method arguments

DVT-15687 Rulepool/ruleset documentation page scrolls up when writing characters in the filter bar

DVT-15695 Waivers generated by +dvt_auto_snps_vip_waivers should be applied automatically in batch mode

DVT-15712 MSUA False failures for UVM library print methods

DVT-15651 Improve performance of SVTB.29.1.3.1

DVT-15594 New Rule: SVTB.31.6 Do not compare a variable to itself

DVT-15600 New Rule: SVTB.10.23 Values should not be uselessly incremented

DVT-15609 New Rule: SVTB.10.22 Variables should not be shifted by zero or more than their number of bits-1

DVT-15601 Add parameter to SVTB.2.16.1 to allow certain macro names

DVT-15602 Add parameter to SVTB.2.16.1 to check inactive nested `ifdef or `ifndef

DVT-15645 Filter bar overlaps results when using Table of Contents links in ruleset/rulepool documentation

DVT-15660 SVTB.30.1.0 & SVTB.30.3.0 False failures for predefined API when invertedFilter is true

DVT-15662 SVTB.12.2.9 False failures for incrementing or decrementing the implicit return value

DVT-14319 New Rule: XVM.7.7 Do not use undocumented UVM API

DVT-14580 Ability to switch to dark theme in Verissimo HTML Report

DVT-15598 New Rule: SVTB.31.5 Do not use useless if/assert blocks

DVT-15599 New Rule: SVTB.29.10 Banned API declared in files

DVT-15605 Add pre-waiver support to XVM.3.6

DVT-14211 Report rule internal exception as single rule failure

DVT-14456 New Rule: SVTB.2.16.1 Do not use `ifdef or `ifndef compiler directives

DVT-14399 Validate regexes used in waivers and ruleset files

DVT-15591 Add total number of checks to filter bar in generated rulepool/ruleset documentation

DVT-13658 Report title is wrong when using verissimo.sh -gui with a custom ruleset

DVT-15569 Unable to run verissimo.sh -gui with a custom ruleset

DVT-12826 New Rule: SVTB.9.12 All assignments in always_ff blocks are non-blocking and all assignments in always_comb blocks are blocking

DVT-11666 & DVT-15397 Ability to filter checks in the generated ruleset/rulepool documentation

DVT-13228 Verissimo should stop linting for inexistent included XML files and unresolved environment variables

DVT-15456 Add parameter to SVTB.19.1 to specify the minimum number of ports for which to apply the rule

DVT-15562 Verissimo should not proceed when the full build is canceled

DVT-14100 Improve performance for SVTB.9.10

DVT-14472 New Rule: XVM.4.14 Object class name

DVT-15275 New rule: SVTB.2.21 Conditional preprocessing blocks must not cross file boundaries

DVT-15409 New Rule: XVM.3.9 do_kill method should be overridden if the kill method of a sequence is called

DVT-15429 New Rule: SVTB.8.2.1 Always blocks should always have an event control

DVT-15539 SVTB.1.4.2 False failures for virtual interfaces in different files

DVT-15550 Scripts platform check doesn't work for all 64-bit platforms

DVT-15449 Add parameter to SVTB.29.4.0 to specify macro name pattern

DVT-15473 Add parameter to SVTB.7.12.3.1 to skip parameters which have other parameters as default value

DVT-15487 SVTB.10.16 False failures for conditional ternary operators

DVT-15493 SVTB.12.4 Failure messages should not contain "Unresolved Hid"

DVT-15515 SVTB.15.4.1.1 False failures for randomize calls in extern methods with the implementation in a different file

DVT-15524 XVM51 should not report failures when creating instances of child classes

DVT-15528 Exception logger is not printing the stack trace

DVT-15499 Improve performance of rule XVM51b for top-down implementation

DVT-15395 New Rule: SVTB.29.1.10 Banned method calls from specified methods

DVT-15347 Ability to generate Verissimo custom report from existing HTML report

DVT-15470 Add parameter to XVM.2.1.4.2.8 to skip creation of singleton objects

DVT-15483 SVTB.5.1.2 reports inconsistent number of failures

DVT-14369 New Rule: SVTB.1.1.26 Begin-end blocks indentation

DVT-15412 New Rule: SVTB.27.20.1 End label pattern

DVT-15422 New rule: SVTB.9.11 Non-blocking assignments are not allowed in functions

DVT-15425 New Rule: SVTB.11.5 Case statements must not have more than one default case item

DVT-15439 New Rule: SVTB.9.3 Do not use the same structure/array pattern key in assignment patterns

DVT-15447 New Rule: SVTB.2.20 File encoding must be the same in all files

DVT-15423 Add parameter to SVTB.7.37 to check parameters of modules, interfaces and programs

DVT-15453 Add parameters to XVM.2.6.3 to specify driver, sequencer, monitor name patterns

DVT-15462 Unable to generate code waivers in Windows

DVT-14623 Improve memory footprint of XVM.3.6

DVT-15355 New Rule: SVTB.10.1.1 Macros used in arithmetic expressions must be enclosed in parenthesis

DVT-13907 XVM.2.1.4.4.1 Correctly detect forever loops regardless of the coding pattern

DVT-13858 New Rule: SVTB 1.1.23 Signal list must be on new line for interfaces with parameters

DVT-14460 New Rule: XVM.4.28 Do not call uvm_config_db::get/set from run phases

DVT-15231 Display errors on multiple pages if Verissimo Auto-Correct encounters too many unfixable hits

DVT-15365 Add parameter to SVTB.2.10 to specify header lines

DVT-15381 XVM.3.4.3 should allow tasks that wrap start calls

DVT-15399 StackOverflowException in XVM.2.3.9

DVT-14804 Add parameter to SVTB.12.6 to skip counting lines that match specified regex

DVT-14805 New Rule: SVTB.25.14 Comment consistency for functions and tasks

DVT-15342 SVTB.12.2.9 false failures when using the implicit result variable as a method argument

DVT-15345 Verissimo compare reports should consider failures of checks with different descriptions or effort estimation as common failures

DVT-8647 New Rule: SVTB.31.4 Unread or unwritten class variables and members

DVT-13270 New Rule: SVTB.1.1.25 Space between procedural statements and open parenthesis

DVT-15179 Ability to annotate failures with information from ClearCase

DVT-13965 Add parameter to SVTB.1.1.2.0, SVTB.1.1.2 & SVTB.1.1.6 to check comment indentation

DVT-15195 Ability to generate ruleset file containing all the unused available rules

DVT-15274 Ability to specify check pre-waivers in the waivers file

DVT-15319 Add API to to get the Verissimo version in the Custom Reports

DVT-15322 Ability to generate ruleset file containing specified attributes

DVT-15323 Add constraint to supported elementKinds for rule SVTB.27.1.0

DVT-7135 HTML Report title depends on initial ruleset kind instead of the library kind passed through command line or ruleset

DVT-15318 Unable to generate compare report from older HTML reports

DVT-14378 New Rule: SVTB 1.1.24 Vertical alignment for declarations

DVT-15297 New Rule: SVTB.27.21 All begin blocks must have label

DVT-14357 Set default severity of all rules to error

DVT-15253 Show in HTML report how many failures can be automatically corrected

DVT-15298 Add parameter to SVTB.27.20 and SVTB.27.21 to apply the check only on generate blocks

DVT-15204 SVTB.33.2.0 reports multiple failures for long functions

DVT-15313 SVTB.1.1.17 Failures not shown when having more than two declarations for a variable

DVT-15242 New Rule: SVTB.6.12 Do not declare bounded queues

DVT-14970 Add parameter to XVM.2.1.8 and XVM.2.1.9 to allow certain method calls

DVT-15198 Add parameter to SVTB.1.8 to allow certain UTF characters

DVT-15247 Add allowPragmaWaivers parameter to SVTB.25.13

DVT-15261 Add pre-waiver support to XVM60

DVT-15262 Add pre-waiver support to SVTB.1.8

DVT-15260 SVTB 1.1.17, SVTB 1.1.18, SVTB 1.1.19 Failures not shown when previous line has multiple single line comments

DVT-15280 Unable load custom rulesets in Windows when the path contained more than one segment

DVT-12099 Do not allow running verissimo.sh without passing -cmd

DVT-14416 Report rule parameter errors before linting

DVT-15216 Improve performance of rule XVM60

DVT-15224 Add flag to verissimo.sh to specify the manual checks status file

DVT-15233 Add pre-waiver support to CVED

DVT-15243 Add API to determine if a check is manual in Verissimo Custom Report

DVT-15225 CVED doesn't report failure for covergroup event triggered outside of conditional block

DVT-11392 New Rule: XVM71 All TLM ports must be connected

DVT-13267 New Rule: XVM.3.1.4.8 Sequence items must override convert2string

DVT-14754 New Rule: SVTB.16.13 Do not declare embedded covergroup arrays

DVT-15162 New Rule: XVM.3.4.3 Sequence start method arguments

DVT-15165 New Rule: SVTB.27.20 Begin label format

DVT-13429 Show in Verissimo HTML report how many rules can be automatically corrected

DVT-14196 Update syntax for waivers created from the HTML report

DVT-15146 Add parameter to SVTB.27.10.1 to skip specified methods

DVT-15164 Add exit code for build config and compile errors for verissimo.sh

DVT-15166 Add API to access compare summary in Verissimo Custom Report

DVT-15171 Add parameter to XVM67 to skip checking in classes that extend from specified base classes

DVT-15193 Add severity value to the generated HTML ruleset document

DVT-15217 Add struct and union members to supported skipElements of SVTB.27.5.1

DVT-14407 SVTB.5.11.2.3, SVTB.15.4.1.1 & XVM.4.21.1: No failures when temporary variable is used inside expression

DVT-15156 XVM.3.4.2 False failure for function call used as the first argument of the start() method

DVT-15187 SVTB.20.15 Should skip interface members of dynamic type

DVT-15197 SVTB.27.5.1 takes too long to cancel

DVT-15212 SVTB.5.1.2 reports fewer failures after reapplying the check

DVT-14267 New Rule: XVM.2.3.9 Do not use reg handles in scoreboards and monitors

DVT-15150 New Rule: SVTB.1.9 Files must end with a blank line

DVT-14794 XVM.9.2.9 should fail for missing `include "xvm_macros.svh" in files with elements that import the XVM package

DVT-13576 SVTB.31.1.0 False failures for implementations of methods defined in parents of interface classes when skipImplementedMethods is true

DVT-13610 SVTB.31.1.0 should consider pure virtual methods just like virtual methods

DVT-14969 SVTB.1.5.1 False failures for empty blocks

DVT-15147 SVTB.27.10.1 False failures for anonymous coverpoints

DVT-15157 SVTB.11.3 False failures for randcase

DVT-15172 Verissimo throws exception when running on a project that contains whitespaces in its path

DVT-12146 New Rule: SVTB.14.10.24 Do not use signals referenced in an assertion action block without $sampled

DVT-14144 New Rule: SVTB.14.10.23 Use sampled value function on variables used in disable conditions of properties

DVT-14755 New Rule: XVM.2.1.1.2.1 Do not use factory registration macros for classes with protected or local constructor

DVT-14756 New Rule: SVTB.7.37 Specify default value for class parameters

DVT-14968 Ability to disable a check inside the ruleset using the "disable" attribute

DVT-12095 Ability to run only some rules from the input ruleset

DVT-14436 Verissimo compare HTML reports should return exit code dependent on the existence of new failures

DVT-14973 When comparing two reports, line number changes are incorrectly computed if the white-space has changed

DVT-14985 SVTB.8.4.3 False failures for disable fork that is enclosed by protective fork-join block in loops

DVT-14377 New Rule: SVTB 1.5.3: { and } must be on the same line with their associated element

DVT-14791 New Rule: SVTB 15.9: Do not call functions that use class fields in constraints

DVT-14803 Add parameter to SVTB.20.15 to skip blocking assignments in combinational blocks

DVT-14967 SVTB.15.7.1 False failures for super.new()

DVT-14926 Improve performance of XVM61 and XVM62

DVT-14757 New Rule: SVTB.10.21 Do not combine driver and output clockvar

DVT-14868 New Rule: SVTB.5.2.9 Do not use 4-state types

DVT-14800 Add parameter to SVTB.31.3.0 to allow empty begin end blocks

DVT-14802 Add parameter to SVTB.31.3.0, SVTB.31.3.1, SVTB.31.3.2 and SVTB.31.3.3 to check empty begin end blocks have comments

DVT-14941 Improve auto-correct for SVTB.15.7.1

DVT-14806 Add parameter to ARBF, ARIN, ARMN and ARSAa to allow instantiation in specified base class

DVT-14376 New Rule: SVTB 1.4.4.1 End should be on the same line with what caused the end

DVT-14887 Add auto-correct for SVTB.15.7.1

DVT-14822 Do not print compile warnings in verissimo.sh output

DVT-14823 Do not print lint failures unless specified by verissimo.sh argument

DVT-14848 Add parameter to XVM.5.1.3.6 to configure the verbosity levels to be checked

DVT-14849 Add parameter to XVM.5.1.3.6 to check only inside loops

DVT-14886 Add PID and hostname to the startup information

DVT-13340 SVTB.31.1.0 fails to flag unused elements when initialized

DVT-14852 Improve performance for pre-waivers

DVT-14265 New Rule: XVM.2.9.2.8 Do not modify received sequence items in the scoreboard

DVT-14796 Add support for specifying methods that should be skipped only when called from certain methods to skipMethods parameter of SVTB.15.7.1

DVT-14748 SVTB.1.4.4 & SVTB.1.4.5 False failures for multiline blocks

DVT-14780 Add parameter to SVTB.15.7.1 & SVTB.15.7.1.1 to skip checking XVM API calls

DVT-14749 SVTB.29.1.8 should fail for $psprintf used as XVM macro argument

DVT-14782 "Compare" filter in the HTML report uses for filtering only the first selected entry

DVT-14783 While comparing two reports some common failures are reported as as new failures or new fixes

DVT-14784 "Compare" and "Report" filters in the HTML report are cleared at the same time

DVT-14773 Add validation for *-filed attributes of annotation tags used in a ruleset

DVT-14772 Failures are not showing up in non-compare HTML reports

DVT-14762 Removed support for comparing two reports by specifying -compare for current and baseline together with a -info argument

DVT-14707 Print failures summary when doing a report compare

DVT-13966 Enhance the failure presentation in compare reports

DVT-14760 Add parameter to SVTB.15.7.1, SVTB.15.7.1.1 & SVTB.15.7.2 to skip specified methods

DVT-14761 Added -compare_baseline and -compare_current arguments for comparing two reports

DVT-14763 By default show only new failures in compare reports

DVT-14737 Ability to filter failures by creation date in the HTML report

DVT-14679 Add parameter to SVTB.10.7.3 to allow ##0 in assertions

DVT-14706 Add predefined custom reports

DVT-14750 NullPointerException in rules SVTB.12.2.8 & SVTB.12.2.9

DVT-14438 New Rule: SVTB.7.1.1.1 Field declaration order must match the order of field registration macros

DVT-14729 Annotate failures with the file's last modification date

DVT-14106 Ability to compare Verissimo HTML reports generated on projects with different locations

DVT-13302 Ability to include HTML code in rule descriptions by wrapping it between @html@...@html@ tags

DVT-13657 New Rule: SVTB.5.14 Matching types for enum variables used in equality operators

DVT-14304 New Rule: SVTB.31.3.0 Empty statement

DVT-14571 Ability to see list of files on which Verissimo rules have been applied

DVT-14714 Show an error when trying to merge, diff or compare a report that is already the result of a compare operation

DVT-14517 New Rule: XVM.9.2.9 Include xvm_macros.svh only in global scope

DVT-14675 SVTB.7.1.1 False failures for covergroups with sample function

DVT-14582 Improve performance of pre-waivers for SVTB.1.4.2

DVT-13859 New Rule: SVTB 1.1.20 Spacing for typedefs and declarations

DVT-14242 New Rule: SVTB 1.1.21 Single line comment spacing

DVT-14243 New Rule: SVTB 1.1.22 Include guards formatting

DVT-13619 Show warning when using an unresolved environment variable in compile waivers, Verissimo waivers and ruleset files

DVT-14381 SVTB.12.9 should fail for non-ANSI style methods without arguments

DVT-14507 Add parameter to SVTB.5.11.3 to skip checking of bit-stream casting of packed types

DVT-14591 Add nets to supported skipElements for SVTB.27.5.1

DVT-14099 StackOverflowError in XVM51b

DVT-14518 SVTB.15.4.1.1 Auto-correct works only when allowTempVariableChecking is true

DVT-14550 XVM30b false failures for inherited virtual interfaces

DVT-14597 SVTB.16.1.3 False failures for n:n bit selects

DVT-14606 SVTB.12.4 Wrong auto-correct for method call used as macro argument

DVT-14612 SVTB.7.13 Wrong auto-correct for methods defined inside macros

DVT-14305 New Rule: SVTB.12.11 One argument per line

DVT-14356 New Rule: SVTB.7.1.4.4 Declared method order must match implementation order

DVT-14506 New Rule: SVTB.27.19 Type naming pattern

DVT-12471 Add "allowVariableWithTypeName" parameter to SVTB.27.10.1

DVT-14352 Add parameter to XVM Base Classes rules to specify base class

DVT-14486 Add parameter to SVTB.27.5.1 to skip certain name patterns

DVT-14524 Add pre-waiver support to SVTB.1.1.10, SVTB.1.4.2, SVTB.27.5.5

DVT-14444 SVTB.8.4.3 Should fail for disable fork used inside loops

DVT-14549 NullPointerException in rules XVM2, XVM.2.1.1.1, XVM.2.4.4 and XVM.3.1.3

DVT-13856 New Rule: SVTB 1.1.17 Member declaration spacing

DVT-13860 New Rule: SVTB 1.1.19 No spacing between closing/opening parentheses

DVT-14241 New Rule: SVTB 1.1.18 Keywords spacing

DVT-14249 New Rule: SVTB.27.18 Assertion naming pattern

DVT-14464 New Rule: XVM.2.2.3.1 Driver should not have analysis port

DVT-14469 New Rule: XVM.3.1.4.7 Sequence tasks must be protected or local

DVT-14447 Add parameters to SVTB.7.36 to skip fields of a specified type and to skip fields that inherit from specified classes

DVT-14482 Add parameter to SVTB.12.3.8 to skip scalar ref arguments

DVT-14497 Add pre-waiver support to SVTB.33.1.0, SVTB.33.2.0 and SVTB.33.3.0

DVT-14446 SVTB.7.36 False failures for overridden methods

DVT-14386 New Rule: SVTB.8.4.10 Do not use disable fork if it is not enclosed by a protective fork-join block

DVT-14387 New Rule: SVTB.8.4.11 Do not use wait fork if it is not enclosed by a protective fork-join block

DVT-14353 Add ports to supported skipElements for SVTB.27.5.1

DVT-14375 Add parameter to SVTB.1.4.4 to check begin-end blocks in fork blocks

DVT-14448 Add parameter to XVM.2.1.8 and XVM.2.1.9 to allow specified uvm_root API calls only in specified classes

DVT-14457 Add parameter to SVTB.19.3.2 to only flag elements in which time calls are used

DVT-14445 SVTB.6.11 should give failures for parameterized types used as parameters of parameterized types

DVT-14336 New Rule: XVM.3.8 Check starting_phase before calling or raising an objection

DVT-14380 New Rule: SVTB.27.17 Variable naming pattern

DVT-14440 New Rule: XVM.2.1.1.6 Factory registration macros for objects

DVT-14254 Add parameter to XVM.5.1.5 to allow only get_name or get_full_name

DVT-14344 Add ignoreIdentifiers parameter to SVTB.33.1.0 and SVTB.33.2.0

DVT-14354 Add parameter to SVTB.32.1.0 and SVTB.32.2.0 to skip checking tasks

DVT-14355 Add parameter to SVTB.27.14 to specify the minimum number of characters for loop variables

DVT-14474 Add parameter to XVM.2.1.1.1.0 to check the parameter arguments of the parametrized class used as macro argument

DVT-14389 SVTB.16.1.3 False failures for single bit selects

DVT-14259 New Rule: XVM.2.1.18 Drivers, monitors and scoreboards should not contain handles to drivers, monitors or scoreboards

DVT-14260 New Rule: XVM.2.2.11 Driver should only have a handle to one interface and sequencer

DVT-14379 New Rule: SVTB.12.3.8 Do not use inout or output scalar arguments

DVT-14118 Add parameter to SVTB.1.4.1 and SVTB.1.5 to allow same line only for certain keywords

DVT-14121 Add parameter to SVTB.1.4.1 and SVTB.1.5 to check next line is empty when allowSameLine is true

DVT-14383 Add parameters to SVTB.6.1.2.2 to check only 2-state/4 state mixing and to check only signed/unsigned mixing

DVT-13806 SVTB.10.7.3.0 shows wrong error message for delays with non-numeric delay values

DVT-14210 Improve performance for SVTB.8.4.3

DVT-14253 New Rule: XVM.2.9.2.7 Do not declare tasks and virtual interfaces in scoreboards

DVT-14255 New Rule: SVTB.5.11.2.3 Check $cast calls

DVT-14256 & DVT-14257 New Rule: SVTB.14.11 Do not use assertions in scopes

DVT-14264 New Rule: XVM.2.8.9 Raise and drop objections in tests

DVT-14266 New Rule: XVM.4.21.1 Check uvm_config_db(T)::get calls

DVT-14314 New Rule: SVTB.32.1.1 Pass arrays as reference instead of having arrays as method return type

DVT-14333 New Rule: SVTB.7.36 Members of classes must be protected or local

DVT-14190 Show an error when using non-existent parameters in the ruleset

DVT-14258 Add 'assert', 'assume', 'cover', 'expect', 'restrict' to supported elementKinds for SVTB.7.34

DVT-14388 Add parameter to SVTB.7.34 to check covergroup instantiations

DVT-14170 False failures in all XVM Base Classes rules due to unresolved type parameters

DVT-14370 SEMANTIC_PROBLEM False SIGNAL_NEVER_WRITTEN failure for loop variable defined in the enclosing module

DVT-14306 New Rule: SVTB.6.3.3 Do not declare statically sized arrays with up-to / down-to syntax

DVT-14308 New Rule: SVTB.16.9.3 Sample covergroups using sample() or @event

DVT-14316 New Rule: SVTB.10.13.2 Do not use release statements

DVT-14317 New Rule: SVTB.7.13.4 Do not override non-virtual methods

DVT-14230 Add parameter to XVM.2.1.8 and XVM.2.1.9 to allow certain uvm_root API calls

DVT-14303 Add parameter to SVTB.13.3 to allow mailboxes used in modules

DVT-14221 XVM.10.1 and XVM.10.2 False failures for deprecated API

DVT-14339 SVTB.7.14.0 Wrong auto-correct for functions with extern declaration

DVT-14248 New Rule: SVTB.28.2 Variables should be declared only in specified scopes

DVT-14279 New Rule: SVTB.7.25.1 Override specified method from parent class

DVT-14280 Add "Common" filter to Verissimo HTML compare report

DVT-14068 XVM51 False failures for components parameterized with virtual interfaces

DVT-14189 SVTB.10.7.3.0 False failures in assertions

DVT-14297 Failures in uvm.sv are not always filtered out

23 new rules

New auto-correct capabilities for 31 rules

Ability to diff and compare HTML reports

Improved performance

DVT-14208 Improve performance for SVTB.1.1.16

DVT-14116 New Rule: SVTB.27.6.3 Unique enum item names

DVT-14186 New Rule: SVTB.8.4.9 Do not use 'disable fork'

DVT-14187 Add parameter to SVTB.1.4.5 to check that 'begin' is placed on the same line or the next line consistently for the same expression

DVT-14224 Add parameter to SVTB.1.4.2 to allow multiple declarations on the same line in specified scope

DVT-14250 New Rule: SVTB.1.8 Files must contain only ASCII characters

DVT-14251 New Rule: SVTB.2.19 Add header typedefs for files with multiple classes

DVT-14252 New Rule: XVM.3.7 Banned 4-state variables in sequence items

DVT-14209 Update description of SVTB.2.7, SVTB.2.8 and SVTB.2.9

DVT-14283 NullPointerException in XVM.2.1.4.3

DVT-14192 New Rule: SVTB.25.13 Do not use multiline comments

DVT-14206 New Rule: SVTB.2.18 Directory and file name pattern

DVT-14171 Add skipMethodsPatterns parameter to SVTB.12.5

DVT-14198 Fixed StringIndexOutOfBoundsException in SVTB.1.1.10

DVT-14158 Improve performance of rules SVTB.29.1.0, SVTB.29.1.7, SVTB.29.1.8, SVTB.29.1.9, SVTB.30.1.0 and XVM.10.2

DVT-13634 New Rule: SVTB.1.7 Use specified tokens for vertical alignment

DVT-13848 New Rule: SVTB.1.1.16 Named port connections indentation

DVT-13861 New Rule: SVTB.27.15 Queue variables suffix

DVT-13862 New Rule: SVTB.27.16 Class handles suffix

DVT-14096 New Rule: SVTB.6.11 Bind parameters by name when using parameterized types

DVT-14146 Update JRE in distro to Amazon Corretto 8u242

DVT-14154 SVTB.5.2.7 When parameter useIsUnknownGuard is true all assignments should be checked

DVT-14157 Ignore DVT_LICENSE_FILE containing multiple hard-wired "FLEXLM" strings

DVT-14052 SVTB.10.20 False failures for negative width format specifiers

DVT-14107 SVTB.15.7.1 False failures for arrays

DVT-14122 Verissimo should not check the existence of DTD files specified in lint waivers

DVT-14124 XVM30a False failures for agents inheriting from parametrized classes

DVT-14108 Some failures appears as both "New Failures" and "New Fixes" when comparing Verissimo HTML reports

DVT-14102 Improve memory footprint of XVM.3.6

DVT-13849 New Rule: SVTB.1.5.2 Single line statement following an 'if' should be on the same line or immediately on the next line with increased indentation

DVT-14104 Linter API: Add IInstanceContainer.getInstances() to get instances from modules and interfaces

DVT-14064 XVM.5.1.5 False failures for OVM report macros

DVT-14098 Fixed NullPointerException in SVTB.10.19

DVT-14077 Fixed XVM.2.1.4.4.1 performance regression

DVT-14038 Add allowAdditionalStatements parameter to XVM64, XVM.2.1.4.1 and XVM.3.1.4.1

DVT-14065 Add parameter to SVTB.32.1.0 and SVTB.32.2.0 to skip arguments with default values

DVT-13964 XVM30a should allow agents with inherited connect_phase() methods

DVT-14030 SVTB.1.1.10 False failures for when literal strings used as macro arguments contain operators

DVT-14053 SVTB.4.1.6.1 False failures for concatenation of typedef queues

DVT-14056 SVTB.32.1.0 False failures for DPI methods

DVT-14060 StringIndexOutOfBoundsException in SVTB.1.1.10 auto-correct

DVT-14061 Re-applying check SVTB.1.1.10 doesn't take into account file changes

DVT-13878 New Rule: SVTB.10.20 Do not use formatting methods if no formatting is done in them

DVT-13955 Add auto-correct for SVTB.1.1.10

DVT-13956 Add auto-correct for SVTB.1.1.11

DVT-13764 Add strictFirstDefinition parameter to SVTB.7.13.2 to allow having non-virtual definition with different signature

DVT-13917 Add allowAsDefaultValue parameter to SVTB.4.1.6.1 to allow empty concatenation as default value for method arguments

DVT-13881 Allow defined typedefs as value for looselyCastToBooleanTypes parameter in SVTB.10.6.1.0

DVT-13883 Add skipBaseClassPatterns and skipClassPatterns parameters to SVTB.29.1.0

DVT-14021 Improved auto-correct for SVTB.2.12

DVT-13870 SVTB.11.4 False failures for default case item with action block

DVT-13871 SVTB.12.2.9 False failures when modifying implicit return value

DVT-13877 SVTB.32.2.0 False failures for DPI functions

DVT-13951 Fixed NullPointerException in SVTB.15.3.4.1

DVT-13952 Fixed NullPointerException in SVTB.20.16

DVT-13960 Windows verissimo.bat script expects DVT_LICENSE_FILE to be FLEXLM when using FlexLM license servers

DVT-13963 XVM.2.2.3 False failures for inherited analysis ports

DVT-13976 XVM15c False failures when call hierarchy goes through parameterized classes

DVT-13978 SVTB.16.1.3 False failures for coverpoints with options at the end

DVT-14019 SVTB.6.7.4 False failures for concatenation of typedef queues

DVT-13943 Improve memory footprint

DVT-13869 SVTB.7.30 False failures for interface classes

DVT-13876 SVTB.7.20 False failures for static method variables

DVT-13879 Fixed NullPointerException in XVM51b

DVT-13898 Fixed NullPointerException in SVTB.5.13

DVT-13880 Improve memory footprint

DVT-13249 Add parameter skipLeafComponents to XVM.2.1.4.3

DVT-13546 Add parameter skipMethodsWithForceStatement to SVTB.12.1.2

DVT-13851 Add support to SVTB.5.13 for all comparison operators

DVT-13829 Build config errors can't be waived using the message prefix

DVT-13804 New Rule: SVTB.5.13 Do not use enum.name() in comparisons

DVT-13805 New Rule: SVTB.5.12.1 Do not use untyped parameters

DVT-13761 Add parameter to XVM68 to allow using the default printer (uvm_pkg::uvm_default_printer) when it is set with a uvm_tree_printer instance.

DVT-13762 Add parameter to XVM.5.1.3.9 to allow any assignment to the string variable used as macro argument

DVT-13763 XVM.2.1.4.4.1 False failures when calling super.run_phase that contains a forever loop

DVT-13748 SVTB.2.1.4.2.7 stops after prewaiving one path

DVT-13672 Add pre-waiver support to XVM61 and XVM62

DVT-13676 Support allowedClassPatterns and allowedClassNames at the same time for XVM.7.1 and XVM.7.2

DVT-13668 False EXTEND_PARAMETER semantic error when instantiating a parameterized class

DVT-13661 IndexOutOfBoundsException when computing a compare report from reports without any annotations

DVT-13625 Performance degradation for some of the rules analyzing method calls

DVT-4196 Ability to start in GUI mode (DVT) using verissimo.sh -gui

DVT-13646 Ability to compare two HTML reports

DVT-13296 Ability to specify comma in comma separated list parameter values using double comma

DVT-13609 Add parameters to SVTB.1.1.2.0 to skip lines with prefix or lines following other lines with suffix

DVT-13649 Comparing lint failures while doing report diff or compare should take into account line number changes between the two reports

DVT-11250 & DVT-12413 Report XML errors for compile waivers, lint waivers and ruleset files

DVT-13588 XVM.3.6 False failures when randomize is inside foreach or begin-end blocks

DVT-13566 Ability to see to how many problems a compile waiver was applied using the -print_compile_waivers_info argument

DVT-13570 XVM.3.6 False failures inside extern methods implementation

DVT-11886 Add auto-correct for SVTB.15.4.1.1

DVT-13269 New Rule: XVM.5.1.6 Do not use `xvm_fatal during build phase

DVT-13417 Add auto-correct for SVTB.1.1.5, SVTB.2.12, SVTB.12.4, XVM.7.3.4, SVTB.25.10

DVT-13306 SVTB.31.1.0 False failures for arguments of implemented methods when skipImplementedMethods is true

DVT-13307 SVTB.31.1.0 False failures for arguments of pure virtual methods

DVT-13556 XVM.3.6 False failures inside forever loops

DVT-13558 XVM.2.1.4.1 False failures when parent constructor arguments are not named correctly

DVT-12454 Ability to use relative paths to current file inside <include/> tags of waivers.xml and ruleset.xml

DVT-13437 New Rule: SVTB.29.8 Banned randcase

DVT-13438 New Rule: SVTB.29.9 Banned randsequence

DVT-13455 New Rule: SVTB.4.1.4.1.3 Do not specify time units for delays

DVT-13456 SVTB.12.5 False failures for method calls not exceeding the number of passed arguments

DVT-13468 XVM.3.6 NullPointerException thrown when analyzing empty action blocks

DVT-13244 Add parameters to XVM.2.1.8 and XVM.2.1.9 to skip checking in certain methods

DVT-13435 Ability to use multiple -gen_custom_report arguments in a single invocation

DVT-13440 Add bannedMethodsPatterns parameter to SVTB.29.1.0

DVT-13316 SVTB.16.1.5 False hits when using select in coverpoint definition of a field whose datatype is a type alias

DVT-13334 XVM64 False hits for uvm_reg children classes

DVT-13335 XVM64 False hits when calling super.new() using named arguments

DVT-8551 Ability to diff two HTML reports

DVT-13039 Ability to report new errors compared with baseline

DVT-13246 Add parameter to DCDC to specify documentation directory

DVT-13247 Add parameter to DCDC to specify documentation extension

DVT-13265 SVTB.12.5 False hits for randomize() method

DVT-13273 XVM.3.6 Should fail when randomize() is not called on every possible execution path before start()

DVT-13399 Using -info "type=value" does not set annotation value if type already exists in report

DVT-6910 Auto-correct for linting failures

DVT-10202 Annotate failures with perforce blame information

DVT-11891 Add auto-correct for SVTB.1.1.1, SVTB.1.1.8, SVTB.1.1.14, SVTB.1.1.15, SVTB.5.11.2.1, SVTB.7.1.2, SVTB.7.1.2.1, SVTB.7.13, SVTB.7.14.0, SVTB.7.26, SVTB.10.7.3, SVTB.11.2.2.3, SVTB.12.1.2, SVTB.15.5.1, SVTB.27.3.1, SVTB.27.5.1, SVTB.27.6.1, SVTB.27.8.1, SVTB.27.9.1, SVTB.31.2.0, SVTB.31.3.2, SVTB.31.3.3, XVM.2.2.1

DVT-13239 Ability to specify pre-waivers for each rule in the ruleset

DVT-13321 Add pre-waiver support to XVM51b

DVT-13339 Add pre-waiver support to SVTB.2.1, SVTB.2.3, SVTB.2.6, SVTB.5.1.1, XVM.5.1.1

DVT-10728 Ability to pre-waive files containing only modules, interfaces and packages

DVT-13241 New rule: SVTB.11.4 Default case item must not be empty

DVT-13007 SVTB.10.19 should fail only for 'd or 0d prefixes when using noDecimalPrefix

DVT-13245 Add parameter to XVM52 to allow new allocation in specified classes

DVT-13248 SVTB.1.1.2.0 Detect for each file the number of spaces used for indentation when nofSpaces parameter is 0

DVT-13309 Add pre-waiver support to SVTB.1.1.1, SVTB.1.1.2, SVTB.1.1.2.0, SVTB.1.1.3, SVTB.1.1.4, SVTB.1.1.5, SVTB.1.1.6, SVTB.1.1.7, SVTB.1.1.8, SVTB.1.2, SVTB.2.12, SVTB.2.12.1, SVTB.2.16, SVTB.25.9, SVTB.25.12

DVT-13255 New rule: XVM.5.1.2.3 Legal message IDs

DVT-13240 Add parameter to SVTB.11.3 to allow missing default case item for fully specified enum case statements

DVT-13242 Add parameter to SVTB.12.2.10 to allow certain functions

DVT-13254 Add parameter to SVTB.1.1.4 to allow long lines caused by linter waiver pragmas

DVT-1444 Node locked license doesn't work when the bound network interface is down (fix for Linux)

DVT-13287 Fixed the support for directory license sources to scan for license files (*.lic)

DVT-13275 Scripts warn about "unset GTK_IM_MODULE=1 not a valid identifier"

DVT-13102 Add parameter to XVM.2.1.1.3 to check that fields with parametrizable types are registered using the macros corresponding to the default value of the parameter

DVT-13235 SVTB.10.19 Add 'x' and 'X' as allowed radixes for hexadecimals

DVT-13236 SVTB.6.10 False failures when array is declared inside an action block and skipMethodScopedElements is true

DVT-13237 SVTB.6.10 False failures on class type parameters

DVT-13256 SVTB.6.10 Failures should be reported on the method implementation instead of extern declaration

DVT-10220 Ability to show available rules added since a specified date

DVT-12975 Ability to include in a ruleset all new rules since a specified date

DVT-12893 Add parameter to SVTB.31.1.0 to skip checking methods that subclasses must implement

DVT-13170 Add parameter allowMultipleSpaces to SVTB.1.1.10 to allow one or more spaces around binary operators

DVT-12438 SVTB.31.1.0 False hits for pure virtual functions

DVT-13166 SVTB.25.4.0, SVTB.25.4.1, SVTB.25.6.6.0, SVTB.25.6.6 False failures for inline comments on elements declared above a macro call

DVT-13181 SVTB.12.1.2, SVTB.12.2.8, SVTB.12.2.9, SVTB.27.13 False failures on let constructs

DVT-13222 Waiver path simple patterns are treated as regular expressions in waiver files with versions 1-3

DVT-13257 Fixed sporadic JVM crashes appearing when files were changed while being parsed

DVT-13185 Improve performance of rule XVM.5.2.1.2

DVT-13167 Add parameter skipElements to SVTB.27.3.1 to skip certain element kinds

DVT-13168 Add parameter skipMethodScopedElements to SVTB.6.10 to skip checking queues and arrays declared in methods

DVT-13177 Add parameter allowNoTickBeforeRadix to SVTB.10.19 to allow radix specification without a tick

DVT-13169 XVM.4.23 False failures when brackets are used with globbing

DVT-13176 SVTB.1.1.12 False failures when specifying the index type of an associative array

DVT-13172 New Rule: SVTB.19.4 Do not access specific module instances or signals

DVT-12874 Add regex support to waivers and pre-waivers paths

DVT-13143 Add parameter to SVTB.20.16 to allow struct ports

DVT-13103 Improve performance of rule XVM.5.1.4

DVT-13097 Improve performance of rules XVM61 and XVM62

DVT-12453 Add support for variables set via +dvt_setenv in lint waivers paths and <include/> tags and ruleset <include/> tags

DVT-13019 Add parameter reportClassesUsedOnlyInFactoryRegistration to SVTB.31.1.0

DVT-12977 SVTB.1.1.4 should ignore comments containing @DVT_LINTER_WAIVER pragmas

DVT-13008 XVM.3.6 fails when randomize call is not in the same scope

DVT-13017 Effort estimation information is missing from failures table and summary page

DVT-12659 Add parameter to NON_STANDARD pseudo-check to include or exclude non-standard checks by ID

DVT-12841 Add parameter to SVTB.1.5 to skip checking inside macros

DVT-12839 SVTB.31.1.0 should flag a class that is only used by itself

DVT-12824 SVTB.10.19 Add noDecimalPrefix parameter to disallow decimal prefix

DVT-12921 Add member type to the error message of SVTB.27.3.0

DVT-12823 SVTB.1.1.12 False failures for array of parameterized type instances

DVT-12837 SVTB.10.19 should check only $sformatf calls whose results are used by the other checked methods or by UVM report macros

DVT-12919 SVTB.27.3.0 False failures for class members with name length equal with the parameter nameMinLength

50+ new rules

Ability to tag failures and to filter them by tag

Ability to merge custom reports

Ability to use pre-lint waivers that will prevent linting a specified set of files

Improved HTML Report load and search performance

Improved performance of commonly used rules

DVT-3913 Removed support for DVT specific file licenses, migrated to FlexLM file licenses

DVT-12877 Removed support for FlexLM tools and daemon versions <11.14

DVT-1635 & DVT-11643 Ability to use pre-lint waivers that will prevent linting in a specified set of files

DVT-6546 Queue on the license server when all licenses are in use (removed -lic_queue flag that was emulating this behavior)

DVT-2497 Ability to use DVT_LICENSE_FILE environment variable for FlexLM licenses

DVT-12833 SVTB.27.5.1 should also check class/struct/interface fields

DVT-12832 SVTB.27.5.1 should skip end block names for the specified element kinds

DVT-12876 Exception thrown when reapplying XVM.2.1.17, XVM.5.1.2, XVM.5.1.3.7, XVM.5.1.3.9, XVM30c, XVM51b, SVTB.9.10

DVT-12859 Fixed sporadic JVM crashes due to compilation optimizations

DVT-11885 Enhance SVTB.16.7.5 description with an example on how to disable coverage using iff instead of setting weight 0 outside the cover group

DVT-12830 Add parameter to SVTB.7.24 to specify methods in which direct access of local members is allowed

DVT-12811 Checks disabled by waivers should be re-enabled when other waivers might re-enable their failures

DVT-12792 Add parameter to SVTB.7.35 to skip covergroups

DVT-12681 New Rule: SVTB.10.19 Specify display radix for binary, decimal, octal and hex values

DVT-10658 Add property, assert, cover property, assume property and sequence to supported element kinds for rule SVTB.27.1.0

DVT-12603 Add property and sequence to supported skipped element kinds for rule SVTB.27.5.1

DVT-12737 Add parameter to SVTB.20.16 to allow modports

DVT-12739 Add parameter to SVTB.12.3.7 to check only data type, only direction or both

DVT-12764 SVTB.27.1.0 typedef suffix rule should skip forward declarations

DVT-12785 SVTB.1.1.12 False hits in files containing multibyte characters

DVT-12070 New Rule: SVTB.8.4.3 Do not use disable fork after more than one fork-join in the same process

DVT-12673 New Rule: SVTB.7.35 Class access to signals must be done through clocking blocks

DVT-12683 New Rule: XVM.4.27 Do not use whitespaces for instance name or field name parameters when setting or getting configuration properties

DVT-12743 Use default.build defined environment variables in SVTB.2.10, SVTB.2.14 and XVM.5.1.2

DVT-12600 CHCAb should look for disable iff in properties declared outside the assertion

DVT-12690 NullPointerException in SVTB.25.4.0, SVTB.25.4.1, SVTB.27.1.0

DVT-12735 SVTB.7.1.1 False hits for registered enum variables

DVT-12707 Improve HTML Report load time and memory consumption

DVT-12701 Improve HTML Report load and search performance

DVT-235 Ability to set session and check timeout values

DVT-12464 New Rule: SVTB.11.3 Case statements must have a default case item

DVT-7536 Add parameter to SVTB.7.1.1 to allow changing the order of checked elements

DVT-9465 Add parameters to SVTB.7.1.1 to check for registered variables, regular variables and factory registration macros

DVT-12650 Add parameter to XVM51b to select the check implementation top-down or bottom-up

DVT-12490 New Rule: SVTB.11.2.2.3 Prefer foreach loops instead of C-style for-loops when iterating over arrays

DVT-12526 New Rule: XVM70 Always pass a string as a description argument when calling raise_objection() or drop_objection()

DVT-12540 New Rule: SVTB.12.2.10 Do not cast to void function calls that return a value

DVT-12557 Add parameter to SVTB.27.5.3 to skip protected an local API

DVT-12582 XVM.5.1.5 should also accept module hierarchical names as first argument

DVT-12424 Improve performance of rule SVTB.30.1.0

DVT-12425 Improve performance of rule SVTB.9.10

DVT-12331 New Rule: XVM.5.1.5 First argument of XVM report macros must contain an object's name, full name or type name

DVT-12376 New Rule: XVM.2.6.3 Agents should contain a monitor, driver, sequencer and configuration object

DVT-12417 Add parameter to SVTB.27.14 to skip parameters of overriding methods

DVT-12564 SVTB.5.11.1 False hits when casting function call return value

DVT-6435 SVTB.4.1.6.1 false hits when assigning an array item from a concatenation

DVT-12298 SVTB.6.7.4 should fail for enum items concatenation

DVT-12431 SVTB.4.1.6.1 false hits when concatenating multiple arrays

DVT-12432 SVTB.6.7.4 false hits for assignment patterns

DVT-12488 Add parameter to SVTB.6.10 to skip function parameters

DVT-12506 SVTB.12.4 False hits on disable statements and randsequence production identifiers

DVT-12507 SVTB.25.12 should check all comments not just those associated with declarations

DVT-12516 SVTB.12.4 False hits for super.function()

DVT-12529 SVTB 2.17 Fixed typo in the default value of filePatterns parameter

DVT-12329 New Rule: SVTB.2.17 Do not use directives in files containing elements

DVT-12353 New Rule: XVM69 XVM object constructor argument must have an empty string as default value

DVT-12373 New Rule: SVTB.25.12 Task tags comment pattern

DVT-12399 Add lint, compilation runtime and license wait time to custom reports API

DVT-12388 Exception when running SVTB.27.3.2, SVTB.29.3.0 and XVM.5.1.2 with default generated parameters

DVT-12302 Improve performance of rule SVTB.12.4

DVT-12210 Ability to create a waiver from the HTML report

DVT-12280 SVTB.12.4 doesn't fail when the method call is inside a macro argument

DVT-12303 Improve performance of rules SVTB.29.1.4.1, SVTB.29.1.4.2, SVTB.29.1.5.1 and SVTB.29.1.6.1

DVT-12285 New Rule: SVTB.1.1.14 Consecutive blank lines are not allowed

DVT-12286 New Rule: SVTB.1.1.15 Lines with only whitespaces are not allowed

DVT-12337 New Rule: XVM.7.6 Do not use XVM field macros in XVM components

DVT-12375 New Rule: XVM.3.6 Randomize sequence before starting it

DVT-12392 SVTB.15.4.1.1 False hits inside randsequence

DVT-12304 Improve performance of rules SVTB.7.12.3 and SVTB.7.12.3.1

DVT-12273 New Rule: SVTB.27.14 Do not use short variable names

DVT-12328 New Rule: XVM.3.5 Do not declare tasks in sequence items

DVT-12351 New Rule: SVTB.7.34 Do not declare element in classes

DVT-12364 Add parameter to SVTB.2.2 to check only included files, top files or both

DVT-12394 SVTB.27.5.2 should search variables in all scopes

DVT-12366 NullPointerException in SVTB.25.4.1

DVT-12301 Improve performance of rule SVTB.10.17

DVT-12305 Improve performance of rule SVTB.7.27

DVT-12339 FileNotFoundException in SVTB.1.1.11

DVT-12340 NullPointerException in XVM.2.1.4.2.7 and XVM.3.1.9.1

DVT-12341 ClassCastException in rule SVTB.15.3.4.1

DVT-12176 New Rule: XVM.7.5 Do not use XVM reporting macros inside final blocks

DVT-12281 New Rule: SVTB.25.4.1 Element comment style

DVT-12277 SVTB.25.4.0 Change elementKind parameter to comma separated list

DVT-12290 Add complete_rule_info and parameters_info attributes to -rulepool_xml_include flag

DVT-12031 XVM.7.3 doesn't check macros used outside of classes

DVT-12267 XVM.2.1.4.2.8 False hits when second argument is of type typedef of xvm_sequencer

DVT-12272 SVTB.2.12 False hits for library files

DVT-12275 SVTB.25.6.6.0 False hits for comments containing "--"

DVT-12276 SVTB.25.6.6.0 False hits for *_extern_implementation as value of memberKinds parameter

DVT-11654 Add -rulepool_xml_include flag to specify the rule attributes to be included in the generated ruleset

DVT-12242 Add parameter to XVM.3.3.11.1 to allow string concatenation for the constructed string name

DVT-12244 Disable rules with duplicate names

DVT-12256 XVM.5.2.1.1 False hits for non-XVM projects

DVT-12017 Add parameter to XVM.3.1.10 to skip fields assigned in pre_randomize()

DVT-12235 Add parameter to SVTB.10.6.1.0 to allow certain functions and tasks

DVT-11998 Escape parameter default values in generated XML rulepool

DVT-12243 XVM.3.3.11.1 False hits for multidimensional arrays when suffixPattern is set

DVT-12071 New Rule: SVTB.8.4.8 Do not use disable statement with fork block name

DVT-12175 New Rule: SVTB.5.9.9 Do not use enum logic of 1 bit width

DVT-12199 New Rule: SVTB.22.2 Do not use explicit generate blocks

DVT-12172 Add total number of compiled lines to custom reports API

DVT-12216 Batch mode compilation fails for files with modification time less or equal to 0

DVT-12066 New Rule: SVTB.6.10 Always remove elements from queues, dynamic arrays and associative arrays

DVT-12174 New rule: SVTB.6.10.1 Always read or remove elements from queues, dynamic arrays and associative arrays

DVT-12002 Add a flag to Verissimo to return non-zero exit codes only for internal errors

DVT-12117 Add parameter to SVTB.25.6.6.0 to check comment pattern

DVT-12118 Add constructor, function, task and constraint implementation as elements of memberKinds parameter of SVTB.25.6.6.0

DVT-12136 Add module as element for elementKinds parameter of SVTB.25.4.0

DVT-12137 Add parameter to SVTB.25.4.0 to check comment pattern

DVT-12158 Update description of XVM.2.1.16 and add exception for components inheriting from uvm_test

DVT-12168 Add parameter to XVM.3.3.11.1 to allow suffix for the constructed string name

DVT-12197 SVTB.10.6.1.0 False hits for struct selects

DVT-12074 New Rule: SVTB.1.1.13 All return statements that return a value or a variable should have parentheses

DVT-11883 Add failure annotations (git, svn, tags) to custom reports API

DVT-12068 SVTB.7.27 False hits for array methods on typedef of dynamic arrays of classes

DVT-11732 New Rule: SVTB.1.1.12 Packed and unpacked dimensions formatting

DVT-12078 New Rule: XVM.5.4.5 Do not create TLM ports with null or empty name and parent

DVT-11967 Ability to merge Verissimo custom reports

DVT-12010 SVTB.1.1.10 Allow no whitespace in the declarations of arrays

DVT-12059 SVTB.15.7.1.1 should fail when object allocation is inside a macro argument

DVT-12082 NullPointerException in rules XVM.3.3.3 and XVM2

DVT-12089 SVTB.15.7.1.1 False hits in files without 'if (uvm_report_enabled())' blocks

DVT-12080 Improve performance of rule SVTB.27.10.1

DVT-9671 New Rule: XVM.5.1.3.9 Always guard with a verbosity check the message computation for UVM reporting macros

DVT-11797 New Rule: XVM.4.25 Do not use 'null' for context when setting configuration properties

DVT-12008 New Rule: XVM.4.26 Do not use wildcard for instance name when setting configuration properties

DVT-11728 New Rule: SVTB.1.1.11 Space after comma

DVT-11780 New Rule: XVM.4.24 Do not use uvm_reg.update() after using uvm_reg.predict()

DVT-9565 Filter out library (OVM/UVM) compilation warnings from batch output and from SYNTACTIC_PROBLEM, SEMANTIC_PROBLEM and NON_STANDARD checks

DVT-11727 Add parameter to SVTB.27.13 to specify label pattern

DVT-11768 Add parameter to SVTB.27.10.1 to skip parameters

DVT-11997 Change parameter allowedMacrosPatterns of XVM.7.3 to allow macro name patterns

DVT-12011 Add parameter to XVM51b to allow create() in sequences

DVT-11995 SVTB.27.1.0 False hits for typedefs when enforcing exclusivity of suffix or namePattern

DVT-12034 IndexOutOfBoundsException in rule SVTB.1.1.9 for files with DOS line endings

DVT-12079 XVM.4.23 Should check uvm_component.set_config_*() functions called directly from a component

DVT-11731 New Rule: SVTB.1.1.10 Single space around binary operators

DVT-11892 New Rule: SVTB.6.1.2.2 Packed struct members must be similar (signed/unsigned, 2-state/4-state)

DVT-11959 New Rule: SVTB.16.12 Do not use implicit coverpoints

DVT-10489 Add parameter to SVTB.27.1.0 to enforce exclusivity of suffix or namePattern to specified elementKind

DVT-10596 Add parameter to SVTB.13.3 to allow mailboxes to be used in sequences

DVT-11834 Add parameter to SVTB.15.8.1 to allow unqualified identifiers when at least one identifier with the same name is qualified using local in the same constraint expression

DVT-11890 Add parameter to XVM.3.1.9.2 to check only hierarchical handles

DVT-11894 Add parameter to XVM.2.1.1.1 to allow non-param_utils macro on a parameterized class

DVT-11927 SVTB.7.26 False hits for concatenation to super.method

DVT-11910 New Rule: XVM.5.1.3.8 Use xvm_verbosity enum elements as verbosity arguments for `xvm_info macro calls

DVT-11887 XVM.3.1.9.1 Should fail when name is a concatenation result

DVT-11907 XVM.3.3.11.1 False hits when changing size of dynamic array of sequences

DVT-11835 New Rule: SVTB.2.12.1 Mandatory `ifndef guards for each file

DVT-11888 Add parameter to XVM.3.1.9.1 to skip fields by name, default value is rsp and req

DVT-11889 Add parameter to XVM.3.1.9.1 to ignore hierarchical handles, default is false

DVT-11937 Add parameter to XVM.3.3.11.1 to ignore hierarchical handles, default is false

DVT-11893 SVTB.12.2.8 False hits for function containing only a randcase with return statements

DVT-11943 NullPointerException in rule SVTB.5.2.7

DVT-11945 SVTB.5.2.7 False hits for assignments containing complex array selects

DVT-11947 ArrayIndexOutOfBoundsException in rule XVM.2.1.1.3

DVT-11925 DVT specific eclipse.ini is missing from Linux and Windows Eclipse 4.6 and 4.7 distros

DVT-11831 New Rule: SVTB.15.3.4.1 Constraint distribution weights must add up to a power of 10

DVT-11874 New Rule: SVTB.14.10.22 Do not use large time or repetition windows

DVT-11718 Add parameter to SVTB.5.2.7 to skip assignments from a parameter

DVT-11726 Add 'generate' to supported elementKinds for rule SVTB.27.13

DVT-11739 Add parameter to SVTB.1.1.9 to allow indentation of multiline hierarchical identifiers

DVT-11761 Add elementKind parameter to SVTB.27.8.1

DVT-11852 Add parameter to XVM51b to allow object create call in sequence constructor

DVT-11868 Add parameter to SVTB.1.1.1 to skip tabs in comments

DVT-11880 Add parameter to XVM.7.3 to specify allowed macros

DVT-11881 Add parameter to XVM.2.1.15 to allow non-factory registered classes to be instantiated using new()

DVT-11882 Add parameter to XVM.2.1.15 to skip classes matching specified prefixes

DVT-11918 Add call stack to error message of XVM.5.1.4

DVT-11919 Add parameter to XVM.5.1.4 to allow `xvm_error macro calls in non xvm_components

DVT-11766 XVM.2.1.8 False hits for arrays of port handles

DVT-11767 XVM.2.1.8 False hits when calling xvm_tlm_fifo methods

DVT-11770 XVM.2.1.9 False hits for hierarchical references through p_sequencer or m_sequencer

DVT-11772 SVTB.27.3.1 should also check event names

DVT-11819 New Rule: SVTB.14.10.19 Do not use unbounded repetition windows at the start or end of the antecedent of an implication

DVT-11839 New Rule: SVTB.14.10.20 Do not use unbounded time windows in the antecedent of an implication

DVT-11869 New Rule: SVTB.14.10.21 Do not use implications with antecedents that allow an empty match

DVT-11832 Add parameter to XVM.4.22 to choose UVM register layer API to be checked

DVT-11781 SVTB.5.2.1.1 should not fail for API derived from UVM

DVT-11790 SVTB.29.2 should not fail for API derived from UVM

DVT-11723 New Rule: SVTB.14.10.18 Assertions in loops must use loop index

DVT-6146 SVTB 10.6.1.0 fails when some operators are used in the conditional expression

DVT-11798 XVM51b False hits for indirect create() call done through an implicit implementation of a method

DVT-10810 Improve performance of rule SVTB.12.2.7

DVT-10668 New Rule: SVTB.4.1.4.1.2 Specify time units for all delays

DVT-11280 XVM.4.22 should also check the return value of uvm_reg_field.predict() function

DVT-11741 XVM.2.1.1.1 False hits for classes with local parameters

DVT-11318 Use by default UVM library for rulesets without library attribute

DVT-10324 New Rule: XVM30c Agent Connect Phase - Driver to Sequencer Connection

DVT-11668 New Rule: SVTB.14.10.15 Edge must be specified for all clocking event expressions of a property

DVT-11691 New Rule: SVTB.14.10.16 Do not use sequences in clocking events of a property

DVT-11706 New Rule: SVTB.14.10.17 Do not mix |-> and |=> in the same assertion

DVT-11673 SVTB.2.10 Add support for multiple header files

DVT-11705 SVTB.7.1.4.1 False hits for argument of type associative array

DVT-11708 SVTB.15.8.1 should not filter failures in `uvm_do_*_with() macros

DVT-11651 NullPointerException in rules SVTB.7.12.3, SVTB.7.12.3.1 and SVTB.14.10.1

DVT-11625 New Rule: SVTB.30.10 Do not use deprecated clocking event argument of $sampled

DVT-11399 Build config warnings are not reported when -ignore_compile_errors is used

DVT-11446 New Rule: XVM.4.23 Do not use wildcards or regex for field names when setting configuration properties

DVT-11448 New Rule: XVM68 Use the tree printer for objects printed often

DVT-11569 Add argument to the getFiles() Custom Report API to include UVM files

DVT-11545 False failures for class parameters resulted from UVM macro expansion

DVT-11570 Parameters description and value are not visible in the custom report

DVT-11571 Mandatory parameter values are not visible in the rule description

DVT-11279 New Rule: SVTB.15.4.1.4 Do no assign the status of randomize() to the randomized variable

DVT-11527 IndexOutOfBoundsException for XVM.2.1.1.1, XVM2, XVM.2.4.4, XVM.3.1.3 & XVM.3.3.3 when a class is registered with fewer parameters

DVT-10812 Improve performance of rule SVTB.6.6.3.1

DVT-11333 New Rule: SVTB.2.16 Do not use compile guards

DVT-10579 Add parameter to SVTB.6.1.2.1 to allow unsigned types

DVT-11366 XVM.2.1.1.1, XVM2, XVM.2.4.4, XVM.3.1.3, XVM.3.3.3 Add support for typedefs used as arguments of xvm_*_param_utils macros

DVT-11324 SVTB.7.20 False hits for non-class variables

DVT-11325 SVTB.7.20 does not report hits inside action blocks

DVT-11363 XVM51 False hits for multiple casts of created instances

DVT-11450 XVM.2.1.1.5 & XVM.2.1.1.4 False hits for whitespace before the parameterization of the macro argument

DVT-11470 XVM.2.1.1.1.0 not taking into account registration macros given as parameters

DVT-8744 & DVT-10195 Ability to tag failures and to filter them by tag

DVT-11259 Add parameter values in the rule description

DVT-11396 SVTB.7.1.4.1 False hits for methods with arguments of parameterized type

DVT-11403 SVTB.6.7.4 False hits when assigning a concatenation to a queue element

DVT-11413 Fixed HTML report file links to generated HTML code

DVT-11414 Fixed HTML report filtering by annotations

DVT-11376 Fixed HTML report filtering by files and checks

DVT-10798 Ability to merge HTML Reports

DVT-10694 Ability to match start/end of multi-line inline waivers based on name to allow interlaced waivers

DVT-10217 Ability to assign fix effort estimation for check failures

DVT-11195 New Rule: SVTB.31.2.1 Unused macro parameter

DVT-11120 False syntax errors for `includes between pragmas of inline lint waivers

DVT-11155 New Rule: SVTB.1.1.9 No whitespace between hierarchical identifiers

DVT-11242 Add timeprecision information to SVTB.10.7.3.0 failure message

DVT-10474 New Rule: SVTB.27.5.6 _t suffix is reserved for typedefs

DVT-10475 New Rule: SVTB.27.5.7 _e suffix is reserved for enums

DVT-10496 Add parameter to SVTB.10.7.3.0 to check delays only if time precision is set

DVT-11209 XVM51b should allow create calls in reg_adapter's reg2bus()

DVT-11199 XVM.4.22 False hits for status check inside macro

DVT-11138 Add parameter to rule XVM28 to allow casting the result of the create call

DVT-11140 Ability to specify path for custom lint report using -custom_report_location

DVT-11157 IllegalArgumentException in SVTB.2.7, SVTB.2.8, SVTB.2.9, SVTB.27.9.2, SVTB.27.9.3

DVT-10317 Improve performance of rule SVTB.27.10.1

DVT-11023 Show a warning if _JAVA_OPTIONS or JAVA_TOOL_OPTIONS system variables are set before running the tool

DVT-11096 IllegalArgumentException in SVTB 27.2.0

DVT-11106 SVTB.1.1.4 ignores maxNofChars parameter

DVT-8842 Ability to append to the default parameter values of checks

DVT-10893 Ability to append to the default description of a check

DVT-11054 SVTB.7.27 & SVTB.12.4 false hits for let constructs

DVT-10524 New Rule: SVTB.5.9.8 Do not assign forbidden values containing 'X' or 'Z' to the enum items

DVT-11007 New Rule: XVM.5.1.3.7 Do not use methods that call `xvm_info messages with XVM_NONE verbosity

DVT-10802 Add parameter to XVM.5.1.3.6 & XVM.5.1.3.7 to allow macro calls guarded by an if condition that checks the value of get_report_verbosity_level()

DVT-10885 Add parameter to SVTB.7.12.3 to allow parameterization with default values

DVT-10938 All rules should fail if there are no lines of compiled code

DVT-10803 New Rule: SVTB.8.4.7 Do not use fork/join_none to call tasks inside functions

DVT-10782 Add parameter to SVTB.20.16 to allow input ports of type bit

DVT-10780 SVTB.20.16 False hits for signals of type enum that is typed to logic

DVT-10799 SVTB.5.2.7 False hits for assignment to structure of logic

DVT-10192 New assertion rules (SVTB.14.3, SVTB.14.4, SVTB.14.10.*)

DVT-10569 SVTB.12.1.2 should also check if functions are explicitly declared automatic or static

DVT-10883 Increased default heap size to 3g and default stack size to 4m for all 64 bits distros

DVT-10909 Update values and attributes of the annotation tag in the ruleset DTD file

DVT-10193 Linter HTML report link doesn't preserve the selected failure when saving the state of the report

DVT-10903 SVTB.7.21 False hits interface methods

DVT-10317 Improve performance of rule SVTB.27.10.1

DVT-10840 SVTB.5.2.7 False hits for assignments containing array selects

DVT-10881 NullPointerException in rule SVTB.12.7

DVT-10815 XVM51 False hits for virtual component classes

DVT-10817 XVM46 False hits for virtual testbench classes

DVT-10818 XVM49 False hits for virtual test classes

DVT-10735 Improve performance of rule SVTB.20.15

DVT-10692 XVM51 False hits for component fields casted in build_phase() but created in a parent class

DVT-10767 SVTB.5.2.8 False hits inside "with" blocks used as macro arguments

DVT-10592 SVTB.7.21 False hits for struct members

DVT-10669 SVTB.12.2.7 False hits for rand_mode(...) used as task

DVT-10681 SVTB.5.2.8 False hits for comparisons inside constraints

DVT-10361 New Rule: SVTB.8.4.6 Do not access variables that might change inside forks

DVT-10655 Add rule info (name, title, description) into generated verissimo_rule_pool.xml

DVT-10646 SVTB.2.12 False hits when comments are preceded by whitespaces

DVT-10667 SVTB.4.1.4.1 False hits for delays with variable values

DVT-10627 Improve performance of rule SVTB.10.15

DVT-10633 New Rule: SVTB.29.1.9 Banned $void()

DVT-10593 Add parameter to SVTB.12.3.7 to allow input ports declared first with the implicit direction

DVT-10620 XVM15c should not flag virtual classes

DVT-10628 NullPointerException while generating custom report for rulesets containing compilation rules

DVT-10632 SVTB.20.15 false hits for assignments inside functions

DVT-10636 XVM28 False hits for arrays of drivers

DVT-10576 New Rule: XVM67 Do not use run phase and sub-run-phases at the same time in a component

DVT-10556 Add parameters to SVTB.7.1.4 to specify maximum number of lines for methods/constraints that can be implemented in the class body

DVT-10567 Add parameter to SVTB.7.12.3.1 to skip checking specified types

DVT-10586 Add parameter to SVTB.15.3.1 to specify maximum number of lines for constraints that can be implemented in the class body

DVT-10591 Add parameter to SVTB.20.15 to skip blocking assignments within initial blocks

DVT-10609 Add error ID to failure message for SEMANTIC_PROBLEM check

DVT-10565 XVM.3.3.4.2.2 should ignore calls to rand_mode and constraint_mode tasks as they don't consume time

DVT-10598 Apply ruleset specified severity to SEMANTIC_PROBLEM, SYNTACTIC_PROBLEM and NON_STANDARD rules

DVT-10512 New Rule: SVTB.10.18 Do not use object handles with %p format specifier

DVT-10517 Add top_modules and run_test_module as options for parameter elementKind of SVTB.10.17

DVT-10564 Add API to access file information in Verissimo Custom Report

DVT-10580 SVTB.15.4.1.1 Fails when randomize calls are assigned to non-local variables

DVT-10529 SVTB.10.15 and SVTB.29.7 show hits in XVM library

DVT-10540 NullPointerException in rule XVM.3.3.11.1

DVT-10322 New Rule: SVTB.29.7 Banned variables

DVT-10359 New Rule: XVM66 do_compare() must be overridden in all classes on which it's called

DVT-10369 New Rule: XVM65 run_test() must be called without arguments

DVT-10446 New Rule: SVTB.25.11 Do not use // comments in macro definitions containing line continuation

DVT-10471 New Rule: SVTB.1.1.8 Trailing whitespaces are not allowed

DVT-10354 Add parameter to SVTB.1.4.1 to allow statements on same line with assertions

DVT-10356 Add parameter to SVTB.7.1.4.2 to ignore missing default argument values

DVT-10357 Add parameter to SVTB.2.12 to check only files matching pattern

DVT-10420 Add parameter to SVTB.27.5.1 to skip checking identifiers based on their type

DVT-10452 Add -fail_on_severity flag to configure when the linter fails (on errors, warnings or infos)

DVT-10456 Add parameter to SVTB.1.5 to allow single line case statements

DVT-10490 Add enum item and parameter to supported element kinds for rule SVTB.27.1.0

DVT-10510 XVM51b should allow create calls in sequence's body()

DVT-10516 XVM51b should allow create calls in object's constructor

DVT-10432 SVTB.12.1.2 False hits for DPI functions

DVT-10466 SVTB.1.5.1 False hits for else if single line constraints

DVT-10508 verissimo.sh doesn't return the correct exit code

DVT-10509 Checks with all hits disabled should be displayed as passed in the HTML report

DVT-10511 XVM16 should take into consideration inherited fields

DVT-10305 Improve performance of rule XVM.2.1.8

DVT-10368 New Rule: SVTB.16.4 Do not use illegal_bins

DVT-7974 Show line number when XML files contain errors (ruleset, waivers)

DVT-10362 Add array name in the message of SVTB.4.1.6.1

DVT-10434 XVM28 Fails when the guard contains a hierarchical identifier

DVT-10445 SVTB.16.1.3 False hits for coverpoints containing cast to enum

DVT-9523 Rule XVM.2.8.6 is obsolete and was removed from the rule pool

DVT-10304 Improve performance of rule XVM.2.1.9

DVT-10306 Improve performance of rule SVTB.5.2.7

DVT-10307 Improve performance of rule SVTB.12.2.3

DVT-10257 New Rule: SVTB.2.15 Do not explicitly include files inside argument files

DVT-10258 New Rule: SVTB.25.10 Argument files comment style

DVT-10302 New Rule: XVM64 Object Constructor

DVT-10316 New Rule: XVM.9.2.8 Each verification component should be defined within a package

DVT-10318 New Rule: SVTB.21.6 Do not use import at compilation unit scope

DVT-10319 New Rule: XVM.2.3.8 A monitor should not assign values to interface members

DVT-10320 New Rule: XVM.3.1.10 Sequence item fields shall not be local or protected

DVT-10365 New Rule: SVTB.16.9.2 Sample covergroups using sample() instead of specifying a clocking event

DVT-10366 New Rule: XVM.2.9.1.5.1 Instantiate covergroups in constructor

DVT-10367 New Rule: SVTB.16.11 Do not set option.weight or option.goal of a covergroup, coverpoint or covercross

DVT-10418 New Rule: SVTB.7.33 Do not override constraints

DVT-10429 New Rule: SVTB.29.6 Banned concurrent assert expressions

DVT-10371 Add parameter to SVTB.5.2.7 to skip integer returning system functions by default

DVT-10424 Add parameter to SVTB.5.11.2.1 to skip checking $cast calls inside tasks

DVT-10377 XVM61 and XVM62 should allow setting timeout and error limit during start_of_simulation phase

DVT-10415 XVM.2.1.4.2.7 False hits when using an initialized local variable

DVT-10409 NullPointerException in rule XVM.5.2.1.1

DVT-10345 SVTB.15.4.1.1 false hits on consecutive if/else branches

DVT-10174 New Rule: XVM63 Do not use compare_field_int to compare more than 64 bits

DVT-10190 New Rule: XVM.2.1.1.5 Factory registration macros must match the class name

DVT-10189 Add parameter to SVTB.29.3.0 to ban only the class inheritance

DVT-10253 Add parameter to XVM20 to check for a run phase in parent class

DVT-10221 Add parameter to SVTB.12.7 to allow implicit return type when the function doesn't have a return

DVT-10255 SVTB.4.1.7 fails for larger than 32 bit sized literals

DVT-10321 Included waivers should be applied in the order they were included

DVT-10339 Line numbers are not inline with the HTML code added in the HTML report

DVT-10176 XVM62 should also allow setting the error limit using uvm_report_object.set_report_max_quit_count()

DVT-10203 Add parameter allowMissingDirectiveOrMethodCall to XVM61 and XVM62 so that they will fail only when set_timeout() or set_max_quit_count() are called after end_of_elaboration phase

DVT-10254 XVM.2.1.4.2.7 false hits on subsequent lines

DVT-10266 HTML code added in the HTML report shows the line number bar below the code in some browsers

DVT-10095 Improve performance of rule XVM51b

DVT-10248 Improve compilation performance when running the linter in in code with many macro calls

DVT-10219 Ability to show available rules not included in running ruleset

DVT-10137 Add parameter to SVTB.12.2.8 to allow the use of methods or macros as alternatives to return statements

DVT-10250 SVTB.11.2.2 enhancements for modifications followed by return, fixed array indexes and arrays passed as ref or output arguments

DVT-10244 ClassCastException during linting (rule SVTB 29.1.3.1)

DVT-10125 SVTB.11.2.2 Missed hit when iterating through multidimensional array with fixed select

DVT-9357 Ability to include ruleset files in other ruleset files

DVT-9978 New Rule: SVTB.25.9 Banned comments content

DVT-10012 New Rule: UVM.5.1.3.6 Not allowed `uvm_info with UVM_NONE verbosity

DVT-9384 Show warning when included waivers / ruleset files do not exist

DVT-9464 Add .html and .htm to supported documentation extension in rule DCDC

DVT-9477 Ability to use multiple verissimo.sh -gen_* arguments with the same invocation

DVT-10024 Ability to set the location of distribution's Eclipse and JRE folders using DVT_ECLIPSE_HOME and DVT_JAVA_HOME

DVT-10039 Add parameter to UVM.3.3.4.2.2 to allow system tasks

DVT-10058 SVTB.11.2.2 should check for list modifications inside initial blocks

DVT-10057 SVTB.11.2.2 false hits for list modifications inside nested loops

DVT-10088 Fixed ClassCastException in XVM.5.2.1.1

DVT-9707 Annotate failures with svn blame information

DVT-9977 New Rule: SVTB.14.2 Do not use anonymous assertions

DVT-9928 Add API to access hit information in Verissimo Custom Report

DVT-9938 SVTB.11.2.2 should not fail for list modifications followed by break or return

DVT-9911 The ruleset generated by verissimo.sh -gen_ruleset_xml contains a deprecated configuration directive

DVT-9912 XVM.2.1.15.1 should allow usage of a temporary local variable

DVT-9933 Add parameter to SVTB.2.12 to allow user to configure the replacement for the dot before the file extension

DVT-9934 Add parameter to SVTB.2.12 to allow user to specify `endif comment format

DVT-9947 Add elementKind parameter to SVTB.10.17

DVT-9922 XVM61 & XVM62 should take into account inherited methods that call set_timeout() respectively set_max_quit_count()

DVT-9942 XVM.4.20 false hits when a component has classes that extend it

DVT-9462 Remove "at line: 0 in file: none" from check messages indicating certain components are not found

DVT-9905 Don't print the summary section two times

DVT-9906 Don't print lint failures when -ignore_lint_* flags are used

DVT-9907 Don't print compilation problems when -ignore_compilation_errors flag is used

DVT-9731 New Rule: SVTB.7.32 Use fully qualified class names

DVT-9908 New Rules: Added two new rules SYNTACTIC_PROBLEMS, SEMANTIC_PROBLEMS that can be configured to show the compilation problems with specified severities

DVT-9874 SVTB.15.4.1.1 should recognize when the return value is assigned to a variable that is checked subsequently

DVT-9897 XVM.2.1.4.2.8 should not fail when the create call uses named arguments

DVT-9898 Generated ruleset/rulepool documentation should not wrap in the middle of the word in the description area

DVT-9909 Rules disabled by waivers should not be printed out

DVT-7032 & DVT-9712 Ability to include the source code files and jump to the failure line from the HTML report

DVT-9761 New Rule: XVM.5.2.1.2 Factory overrides must be called before any create call

DVT-9782 New Rule: XVM.2.1.1.4 Classes registered using factory registration macros must be package qualified

DVT-9840 Add parameter to XVM.5.1.2 to ignore non-existent IDs file

DVT-9831 -gen_custom_report can't load templates outside of working directory

DVT-9861 Disabled checks are reported as non-existent in batch output

DVT-9808 Added verissimo_index_gen.sh flag to create columns with the number of failures

DVT-9523 Rule SVTB.5.11.1 is obsolete and it was removed from the "all rules" ruleset

DVT-9760 Ability to generate a custom summary report

DVT-9762 Add parameter to XVM.2.1.4.2.8 to allow tests to create a root sequence without passing any context

DVT-9767 SVTB 7.14.0 support for constructors and tasks in methodName parameter

DVT-9653 UVM.2.1.1.3 fails when using `uvm_field_int for integral typedefs

DVT-9675 SVTB.11.2.2 reports false hits when modifying queue while iterating over an array of queues

DVT-9714 SVTB.4.1.7 reports false hits for real literal constant

DVT-9739 SVTB.16.1.5 reports false hits when using select in coverpoint definition

DVT-9744 SVTB.7.20 reports false hits for struct variable

DVT-9691 New Rule: Timeformat must be set whenever timeunit and timeprecision are set

DVT-9701 SVTB.2.14 hits are filtered when the mandatory file is in UVM

DVT-9685 New Rule: XVM.5.1.4 Do not use `uvm_error before start_of_simulation_phase

DVT-9686 New Rule: XVM61 Timeout must be set before start_of_simulation phase

DVT-9687 New Rule: XVM62 Error limit must be set before start_of_simulation phase

DVT-9600 SVTB.32.1.0 Add new parameters to skip array arguments that are modified or assigned to a variable that is not local to the method

DVT-9516 UVM.2.1.1.3 fails when using `uvm_field_int for packed arrays

DVT-9546 UVM.2.1.1.3 fails when using `uvm_field_real for realtime fields

DVT-9552 SVTB.1.4.1 reports false hit for variable = macro statement

DVT-9623 SVTB.9.10 false alarm for assignments of same member in different instantiations

DVT-9543 New Rule: SVTB.20.16 Define all interface signals as logic except bidirectional ones

DVT-9544 New Rule: SVTB.2.14 Mandatory compiled files

DVT-9545 New Rule: XVM.5.1.2 Legal message IDs

DVT-7673 Fail when files passed as arguments do not exist

DVT-9468 New Rule: SVTB.9.10 Do not use blocking and non-blocking assignments on the same variable

DVT-9470 New Rule: SVTB.1.4.5 'begin' must be placed on the same line or the next line consistently in the same file

DVT-9507 SVTB.1.4.2 should ignore implicit variables

DVT-9474 Linter API: Support for IActionBlock.getCondition() on case and case items blocks

DVT-9452 Linter API: Fix inner enums visibility

DVT-7923 Add hyperlinks in failure message for SVTB.27.10.1

DVT-9356 Support for older git versions (<1.8.5) when annotating failures with git blame

DVT-9392 Linter API: Add IActionBlock.getCondition() to get the condition from conditional statements and loops

DVT-9413 Linter API: Add IActionBlock.getAction() and IActionBlock.getBlock() to identify the type of the action block

DVT-9359 Fix ClassCastException in rule SVTB.12.10

DVT-9396 Fix verissimo_index_gen.sh log parsing to match the new log format

DVT-9414 Linter API: Iteration through API returned sets should be in the same orders as they are declared

DVT-7925 Export HTML report failures table to CSV file

DVT-8745 Filter failures by annotation (ex. git blame author) in HTML report

DVT-8746 Annotate failures with git blame information

DVT-9212 New Rule: SVTB.10.16 Do not use an enum argument with '%s' format specifier

DVT-9213 New Rule: SVTB.4.1.8.1 Do not assign packed struct from concatenation

DVT-9216 New Rule: SVTB.12.10 Do not consume time in a tasks assigning to an output argument

DVT-9189 Mark disabled checks with a strike through in HTML report

DVT-9190 Add top disabled checks and files to summary page when the DISABLED filter is set in HTML report

DVT-9280 Add parameter to SVTB.15.7.1 and SVTB.15.7.1.1 to check all possible implementations of a virtual function

DVT-9353 Add parameter to SVTB.7.28 to allow modification of list elements

DVT-9307 New Rule: XVM51b: XVM Factory create calls must occur during XVM phases

DVT-9318 New Rule: XVM.2.2.10 Driver shall assign value to clocking block signals using non-blocking assignment

DVT-9297 Add number of error/warning/info/disabled hits to linter's output

DVT-9308 Parameter allowQueueConcatenation of SVTB.6.7.4 should allow concatenating arrays to queue

DVT-9263 New Rule: SVTB.19.3.2 Specify timeunit and timeprecision in every module, program, package, or interface

DVT-9276 New Rule: XVM.4.20 Virtual interface shall be assigned to components through uvm_config_db

DVT-9277 New Rule: XVM.4.22 Caller shall always check return status of UVM register layer API calls

DVT-9278 New Rule: XVM.4.21 Caller shall always check return value of uvm_config_db API calls

DVT-9279 New Rule: XVM15c Driver shall call accept_tr(), begin_tr() and end_tr() in its run_phase

DVT-9267 XVM51 reports false hits when components are created from classes with parameters

DVT-9293 Fix NullPointerException when +dvt_auto_snps_vip_* flags are used

DVT-5370 New Rule: SVTB.12.2.8 Missing return in non-void functions

DVT-9232 New Rule: SVTB.10.15 Use maximum one relational operation in a constraint expression

DVT-9237 New Rule: SVTB.5.1.2 Use default nettype none to force explicitly declared nets

DVT-9238 New Rule: SVTB 12.2.9 Functions not returning any values must be declared void

DVT-9239 New Rule: SVTB.7.30 Base classes must be declared virtual

DVT-9240 New Rule: SVTB.13.2.1 Use wait event.triggered instead of @event

DVT-9249 New Rule: SVTB.7.31 Only randomizable variables should be declared public

DVT-8612 SVTB.7.1.2.2 should not report errors for virtual functions of other objects

DVT-9182 New Rule: SVTB.12.9 Declare methods using ANSI C-style arguments

DVT-9183 New Rule: SVTB 27.13 Specify end labels for blocks

DVT-9184 New Rule: SVTB.7.29 Do not declare non-public members as randomizable

DVT-9202 New Rule: SVTB.6.9 Do not use anonymous enums, structs, unions

DVT-9204 New Rule: SVTB.10.14 Do not use casex statements

DVT-9205 New Rule: SVTB 16.10 Do not use anonymous coverpoints and covercrosses

DVT-9210 New Rule: SVTB.15.7.1.1 Do not use new() without get_randstate() under an if uvm_report_enabled()

DVT-9121 Improve performance of rule XVM15b

DVT-9093 Add parameter to SVTB.2.13 to specify if the timescale is mandatory in each file

DVT-9158 SVTB.7.26 should report hits on method implementations, not on extern declarations

DVT-9169 Add parameter to SVTB.7.28 to allow modification of fields inside the method parameters

DVT-9122 Build config: irun location is not correctly inferred when compiling in batch mode

DVT-9159 SVTB 7.27 should check only class handles and skip strings, enums and structs

DVT-8720 SVTB.32.1.0, SVTB.32.2.0 should also show the function name, not only the argument name

DVT-9092 Change default value of SVTB.5.2.8 skipParameters to true

DVT-8896 Verissimo batch waivers don't work when DTD is specified

DVT-7800 Inconsistent behavior for "not applied" checks

DVT-9072 Removed support for passed hits, rules should only report failures - all rules without failures are marked as passed

DVT-8747 Ability to see waived hits in Verissimo HTML reports and user interface

DVT-9025 Linter API: Add ISourceElement.getSourceCode() and ISourceFile.getSourceLine(...) methods

DVT-9032 NullPointerException in rule XVM.2.1.1.3

DVT-6959 & DVT-8902 New Rule: SVTB.11.2.2 Underlying list modifications are forbidden in foreach loops

DVT-8489 New Rule: SVTB.2.13 Check that the same timescale is used in every file

DVT-8863 New Rule: SVTB.7.28 Do not modify method parameters

DVT-8916 New Rule: SVTB.10.13.1 Do not use force statements

DVT-8841 SVTB.12.5 Replace allowedCalls parameter with skipMethods that will match qualified method name not the method call text

DVT-8843 Add parameter allowedClassPattern to XVM.7.1 & XVM.7.2

DVT-8903 Add parameter to XVM51 to allow cast on the the newly created component: $cast(m_comp, create_component(...))

DVT-8998 SVTB.7.26 should not fail if the method body contains preprocessing directives

DVT-8833 SVTB.12.2.7 function with missing return type is assumed to be void instead of logic

DVT-8883 SVTB.5.11.1 False alarm when casting to enums from declared in a different class

DVT-8673 Add parameter to SVTB.5.2.8 to skip comparisons of parameter values

DVT-8732 Add parameter to SVTB.14.1.2 to customize the allowed error reporting methods and macros in the else clause of an assertion

DVT-8885 SVTB.10.6.1.0 false alarm when using conditional operator in function arguments

DVT-7583 New Rule: SVTB.15.8.1 Avoid name shadowing in randomize() with '{...}'

DVT-8646 New Rule: XVM.5.2.1.1 Factory override methods must use compatible override types

DVT-8752 Add verissimo.sh flag -gen_ruleset_xml for generating the ruleset XML for any of the predefined rulesets (full, basic, compliance)

DVT-8864 SVTB.7.27 reduced the number of false alarms in foreach loops and 'array.method(item) with {...}', added the correct types for predefined method parameters and better detection for variables' scope

DVT-8901 Add parameters to SVTB.12.8 to: ignore forks, skip entities declared in macros or packages, ignore calls to predefined methods, user methods and inside macros

DVT-8884 SVTB.31.2.0 incorrectly flags unused macros when they are used as arguments to other macros

DVT-8674 Add parameter to SVTB.6.7.4 to allow concatenating queues

DVT-8858 SVTB.1.3.2 and SVTB.27.7.1 should not report hits in __vlog__ files

DVT-1196 New Rule: SVTB.1.1.7 Number of lines per file should not exceed <maxNofLine>

DVT-1637 New Rule: SVTB.7.26 Do not override method and call only super.method()

DVT-3599 New Rule: XVM.2.1.1.3 XVM Field macros must match field type

DVT-3836 New Rule: SVTB.7.27 Do not use a class handle without allocating it

DVT-8751 New Rule: SVTB.12.8 Method call stack size should not exceed <maxStackSize>

DVT-8672 Add parameter to SVTB.1.4.4 to skip macros

DVT-7822 SVTB.12.4 False alarm for copy constructor call

DVT-8811 Exceptions in rules ARSAa and ARBF

DVT-3703 New Rule: SVTB.7.25 All classes that inherit from <baseClass> must not override <function>

DVT-7616 New Rule: SVTB.29.1.8 Banned $psprintf

DVT-8508 & DVT-8509 New Rule: SVTB.27.9.4 Coverpoint and covercross naming pattern

DVT-8135 Check that executed script is part of the same distribution where $DVT_HOME points to

DVT-7821 Add Basic Ruleset

DVT-8677 Add parameter to XVM.2.8.5 to allow indirect calls

DVT-8679 Add parameter to SVTB.6.1.2.1 to allow fixed-width enums

DVT-8675 SVTB.7.21 False alarm for modport signals

DVT-8694 Linter API: Added support for assertions

DVT-8671 SVTB.4.1.4.1.1 reports false hit for #1 some_task()

DVT-8703 NullPointerException in rules SVTB_7_1_4_1, SVTB_7_1_4_2, SVTB_7_1_4_3

DVT-8704 StackOverflowException in rules SVTB_31_1, SVTB_7_13, SVTB_7_14_0

DVT-7674 Default mode for Verissimo without a custom ruleset changed from OVM to UVM ("-ovm" argument can be used to switch back to the OVM mode)