17.1.45 (19 February 2018)
Features
DVT-11195 New Rule: SVTB.31.2.1 Unused macro parameter
Bugfixes
DVT-11120 False syntax errors for `includes between pragmas of inline lint waivers
17.1.44 (8 February 2018)
Features
DVT-11155 New Rule: SVTB.1.1.9 No whitespace between hierarchical identifiers
Enhancements
DVT-11242 Add timeprecision information to SVTB.10.7.3.0 failure message
17.1.43 (1 February 2018)
Features
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
Enhancements
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()
Bugfixes
DVT-11199 XVM.4.22 False hits for status check inside macro
17.1.42 (25 January 2018)
Enhancements
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
Bugfixes
DVT-11157 IllegalArgumentException in SVTB.2.7, SVTB.2.8, SVTB.2.9, SVTB.27.9.2, SVTB.27.9.3
17.1.41 (19 January 2018)
Performance
DVT-10317 Improve performance of rule SVTB.27.10.1
Enhancements
DVT-11023 Show a warning if _JAVA_OPTIONS or JAVA_TOOL_OPTIONS system variables are set before running the tool
Bugfixes
DVT-11096 IllegalArgumentException in SVTB 27.2.0
DVT-11106 SVTB.1.1.4 ignores maxNofChars parameter
17.1.40 (11 January 2018)
Enhancements
DVT-8842 Ability to append to the default parameter values of checks
DVT-10893 Ability to append to the default description of a check
Bugfixes
DVT-11054 SVTB.7.27 & SVTB.12.4 false hits for let constructs
17.1.38 (18 December 2017)
Features
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
Enhancements
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
17.1.37 (6 December 2017)
Features
DVT-10803 New Rule: SVTB.8.4.7 Do not use fork/join_none to call tasks inside functions
Enhancements
DVT-10782 Add parameter to SVTB.20.16 to allow input ports of type bit
Bugfixes
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
17.1.36 (24 November 2017)
Features
DVT-10192 New assertion rules (SVTB.14.3, SVTB.14.4, SVTB.14.10.*)
Enhancements
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
Bugfixes
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
17.1.35 (17 November 2017)
Performance
DVT-10317 Improve performance of rule SVTB.27.10.1
Bugfixes
DVT-10840 SVTB.5.2.7 False hits for assignments containing array selects
DVT-10881 NullPointerException in rule SVTB.12.7
17.1.34 (10 November 2017)
Bugfixes
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
17.1.33 (1 November 2017)
Performance
DVT-10735 Improve performance of rule SVTB.20.15
Bugfixes
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
17.1.32 (25 October 2017)
Bugfixes
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
17.1.31 (20 October 2017)
Features
DVT-10361 New Rule: SVTB.8.4.6 Do not access variables that might change inside forks
Enhancements
DVT-10655 Add rule info (name, title, description) into generated verissimo_rule_pool.xml
Bugfixes
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
17.1.30 (13 October 2017)
Performance
DVT-10627 Improve performance of rule SVTB.10.15
Features
DVT-10633 New Rule: SVTB.29.1.9 Banned $void()
Enhancements
DVT-10593 Add parameter to SVTB.12.3.7 to allow input ports declared first with the implicit direction
Bugfixes
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
17.1.29 (6 October 2017)
Features
DVT-10576 New Rule: XVM67 Do not use run phase and sub-run-phases at the same time in a component
Enhancements
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
Bugfixes
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
17.1.28 (28 September 2017)
Features
DVT-10512 New Rule: SVTB.10.18 Do not use object handles with %p format specifier
Enhancements
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
Bugfixes
DVT-10580 SVTB.15.4.1.1 Fails when randomize calls are assigned to non-local variables
17.1.27 (22 September 2017)
Bugfixes
DVT-10529 SVTB.10.15 and SVTB.29.7 show hits in XVM library
DVT-10540 NullPointerException in rule XVM.3.3.11.1
17.1.26 (14 September 2017)
Features
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
Enhancements
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
Bugfixes
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
17.1.25 (31 August 2017)
Performance
DVT-10305 Improve performance of rule XVM.2.1.8
Features
DVT-10368 New Rule: SVTB.16.4 Do not use illegal_bins
Enhancements
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
Bugfixes
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
17.1.24 (24 August 2017)
REMOVED
DVT-9523 Rule XVM.2.8.6 is obsolete and was removed from the rule pool
Performance
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
Features
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
Enhancements
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
Bugfixes
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
17.1.23 (11 August 2017)
Bugfixes
DVT-10409 NullPointerException in rule XVM.5.2.1.1
17.1.22 (10 August 2017)
Bugfixes
DVT-10345 SVTB.15.4.1.1 false hits on consecutive if/else branches
17.1.21 (3 August 2017)
Features
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
Enhancements
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
Bugfixes
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
17.1.19 (27 July 2017)
Enhancements
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
Bugfixes
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
17.1.18 (21 July 2017)
Performance
DVT-10095 Improve performance of rule XVM51b
DVT-10248 Improve compilation performance when running the linter in in code with many macro calls
Features
DVT-10219 Ability to show available rules not included in running ruleset
Enhancements
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
Bugfixes
DVT-10244 ClassCastException during linting (rule SVTB 29.1.3.1)
17.1.17 (12 July 2017)
Bugfixes
DVT-10125 SVTB.11.2.2 Missed hit when iterating through multidimensional array with fixed select
17.1.16 (30 June 2017)
Features
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
Enhancements
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
Bugfixes
DVT-10057 SVTB.11.2.2 false hits for list modifications inside nested loops
DVT-10088 Fixed ClassCastException in XVM.5.2.1.1
17.1.14 (12 June 2017)
Features
DVT-9707 Annotate failures with svn blame information
DVT-9977 New Rule: SVTB.14.2 Do not use anonymous assertions
Enhancements
DVT-9928 Add API to access hit information in Verissimo Custom Report
Bugfixes
DVT-9938 SVTB.11.2.2 should not fail for list modifications followed by break or return
17.1.13 (31 May 2017)
Bugfixes
DVT-9911 The ruleset generated by verissimo.sh -gen_ruleset_xml contains a deprecated configuration directive
17.1.12 (26 May 2017)
Enhancements
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
17.1.11 (19 May 2017)
Bugfixes
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
17.1.10 (15 May 2017)
CLEANUP
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
Features
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
Enhancements
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
Bugfixes
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
17.1.9 (2 May 2017)
Features
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
Enhancements
DVT-9840 Add parameter to XVM.5.1.2 to ignore non-existent IDs file
Bugfixes
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
17.1.8 (18 April 2017)
Features
DVT-9808 Added verissimo_index_gen.sh flag to create columns with the number of failures
17.1.7 (10 April 2017)
REMOVED
DVT-9523 Rule SVTB.5.11.1 is obsolete and it was removed from the “all rules” ruleset
Features
DVT-9760 Ability to generate a custom summary report
Enhancements
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
17.1.6 (31 March 2017)
Bugfixes
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
17.1.5 (23 March 2017)
Features
DVT-9691 New Rule: Timeformat must be set whenever timeunit and timeprecision are set
Bugfixes
DVT-9701 SVTB.2.14 hits are filtered when the mandatory file is in UVM
17.1.4 (20 March 2017)
Features
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
17.1.3 (14 March 2017)
Enhancements
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
Bugfixes
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
17.1.2 (3 March 2017)
Features
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
17.1.1 (24 February 2017)
Enhancements
DVT-7673 Fail when files passed as arguments do not exist