16.1.37 (24 February 2017)

Features

  • 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

Bugfixes

  • DVT-9507 SVTB.1.4.2 should ignore implicit variables

16.1.36 (10 February 2017)

Enhancements

  • DVT-9474 Linter API: Support for IActionBlock.getCondition() on case and case items blocks

Bugfixes

  • DVT-9452 Linter API: Fix inner enums visibility

16.1.35 (1 February 2017)

Enhancements

  • 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

Bugfixes

  • 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

16.1.34 (13 January 2017)

Features

  • 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

Enhancements

  • 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

16.1.32 (22 December 2016)

Features

  • 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

Enhancements

  • DVT-9297 Add number of error/warning/info/disabled hits to linter’s output

Bugfixes

  • DVT-9308 Parameter allowQueueConcatenation of SVTB.6.7.4 should allow concatenating arrays to queue

16.1.31 (9 December 2016)

Features

  • 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

Bugfixes

  • 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

16.1.30 (24 November 2016)

Features

  • 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

Bugfixes

  • DVT-8612 SVTB.7.1.2.2 should not report errors for virtual functions of other objects

16.1.29 (14 November 2016)

Features

  • 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()

16.1.27 (28 October 2016)

Performance

  • DVT-9121 Improve performance of rule XVM15b

Enhancements

  • 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

Bugfixes

  • 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

16.1.26 (17 October 2016)

Enhancements

  • 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

Bugfixes

  • DVT-8896 Verissimo batch waivers don’t work when DTD is specified

16.1.25 (9 October 2016)

CLEANUP

  • 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

Enhancements

  • DVT-8747 Ability to see waived hits in Verissimo HTML reports and user interface

16.1.23 (14 September 2016)

Enhancements

  • DVT-9025 Linter API: Add ISourceElement.getSourceCode() and ISourceFile.getSourceLine(…) methods

Bugfixes

  • DVT-9032 NullPointerException in rule XVM.2.1.1.3

16.1.22 (12 September 2016)

Features

  • 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

Enhancements

  • 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

Bugfixes

  • 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

16.1.21 (26 August 2016)

Enhancements

  • 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

Bugfixes

  • DVT-8885 SVTB.10.6.1.0 false alarm when using conditional operator in function arguments

16.1.19 (5 August 2016)

Features

  • 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

Enhancements

  • 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

Bugs - DVT-8884 SVTB.31.2.0 incorrectly flags unused macros when they are used as arguments to other macros

16.1.18 (25 July 2016)

Enhancements

  • DVT-8674 Add parameter to SVTB.6.7.4 to allow concatenating queues

Bugfixes

  • DVT-8858 SVTB.1.3.2 and SVTB.27.7.1 should not report hits in __vlog__ files

16.1.17 (15 July 2016)

Features

  • 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>

Enhancements

  • DVT-8672 Add parameter to SVTB.1.4.4 to skip macros

Bugfixes

  • DVT-7822 SVTB.12.4 False alarm for copy constructor call

  • DVT-8811 Exceptions in rules ARSAa and ARBF

16.1.16 (8 July 2016)

Features

  • 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

Enhancements

  • DVT-8135 Check that executed script is part of the same distribution where $DVT_HOME points to

16.1.15 (30 June 2016)

Enhancements

  • 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

Bugfixes

  • DVT-8675 SVTB.7.21 False alarm for modport signals

16.1.14 (17 June 2016)

Enhancements

  • DVT-8694 Linter API: Added support for assertions

Bugfixes

  • 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

16.1.10 (16 May 2016)

Enhancements

  • 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)

16.1.9 (9 May 2016)

Features

  • DVT-8314 New Rule: SVTB.7.1.2.2 Class constructor must not call virtual functions

Enhancements

  • DVT-7720 Add parameter to SVTB 5.11.2.1 & SVTB 15.4.1.1 to skip calls with cast to void

Bugfixes

  • DVT-7825 SVTB.31.1.0 False alarm for arguments of import DPI functions

16.1.8 (30 April 2016)

Enhancements

  • DVT-7623 Add parameter to rule ARAI to allow instantiation in test classes

  • DVT-8377 Add parameter to rule SVTB.27.1.0 to support pattern matching

  • DVT-8398 Add parameter to rule SVTB.2.10 to support regular expressions in the reference header

16.1.7 (25 April 2016)

Bugfixes

  • DVT-8530 verissimo_index_gen.sh always fails while copying static resources

16.1.6 (18 April 2016)

Features

  • DVT-8376 New Rule: SVTB.1.1.2.0 Use a specified number of spaces for indentation

Enhancements

  • DVT-8378 Refine XVM.6.2 to search for report macros in else branch of assertions

  • DVT-8438 Add parameter to rule SVTB.7.24 to check any combination of fields, functions or tasks

16.1.5 (8 April 2016)

Features

  • DVT-8427 Ability to specify path for HTML lint report using -html_report_location

Enhancements

  • DVT-8144 Add parameter to rule SVTB.31.1.0 to skip unused modules

  • DVT-8311 Add parameter to rule XVM.2.1.17 to allow module access in uvm_config_db::set calls

  • DVT-8315 Add parameter to rule SVTB.15.4.1.1 to enforce strict “if” randomize checking, not allowing assert

16.1.4 (30 March 2016)

Features

  • DVT-8316 New Rule: SVTB.10.7.3.0 Do not use #delay, ##delay, #1step

Enhancements

  • DVT-6327 Resolve system variables for SVTB.2.10 property headerFilePath

  • DVT-8312 Add parameter to XVM.2.1.1.1, XVM.2.4.4, XVM.3.1.3, XVM.3.3.3 to allow `uvm_*_utils_begin/end

  • DVT-8429 Add rule title in generated rulepool XML

16.1.3 (10 March 2016)

Bugfixes

  • DVT-8389 When running verissimo.sh -gen_*_doc an useless auto-config message is printed

16.1.2 (3 March 2016)

Bugfixes

  • DVT-8340 Wrong Java path in MacOS distros

16.1.1 (24 February 2016)

Enhancements

  • DVT-7978 Updated JRE in distribution to version 1.8.0u66

  • DVT-8275 Build with Java 8, minimal JRE required version increased to 1.8

Bugfixes

  • DVT-8331 NullPointerException due to concurrent thread access when lexer and parser operates on different threads (default mode)