3.5.39 (26 February 2015)

Features

• DVT-5657 New Rule: SVTB.7.22 Do not use hierarchical access to class member variables

3.5.38 (23 February 2015)

Enhancements

• DVT-7045 Visual and usability enhancements for HTML lint report

• DVT-7047 Lint report should print the number of passed, error, warning and info checks instead of hits

• DVT-7058 SVTB.1.4.1 should also allow single line fork … join

• DVT-7059 SVTB.1.5 should also fail if single line statement is a macro

• DVT-7060 Add parameter to SVTB.1.5 to allow single line statements inside fork … join

• DVT-7061 Add parameter to SVTB.2.12 to ignore file extension in `ifndef guard name

3.5.36 (9 February 2015)

Features

• DVT-7018 New Rule: SVTB.7.19 All non-static non-local functions must be declared virtual

• DVT-7022 New Rule: SVTB.7.20 Do not write to static class variables from non-static functions

• DVT-7030 New Rule: SVTB.7.21 Use the explicit static access syntax (::) when using static variables or static functions from non-static functions

3.5.35 (30 January 2015)

Features

• DVT-6999 New Rule: SVTB.12.2.3.1 Do not $cast to the implicit function result variable

Performance

• DVT-6969 Improve performance of rule SVTB.30.1.0

• DVT-6970 Improve performance of rule SVTB.29.1.0

• DVT-6977 Improve performance of rule SVTB.30.2.0

Enhancements

• DVT-6971 SVTB.30.1.0 should also flag hierarchical deprecated method calls

• DVT-6972 SVTB.29.1.0 should also flag hierarchical banned method calls

• DVT-6976 SVTB.30.2.0 should also flag hierarchical deprecated field access

• DVT-6987 Ability to customize the HTML report look & feel

• DVT-6988 SVTB.29.3.0 should not flag self-referencing API

• DVT-6989 SVTB.30.3.0 should not flag self-referencing API

• DVT-6990 Add parameter to rule SVTB.7.13.1 to allow hiding hits inside macros

• DVT-6991 Add parameter to SVTB.7.15 to allow filtering by class member variable name pattern

Bugfixes

• DVT-6983 SVTB.31.1.0 should not report unused enum typedef if enum names are used

3.5.34 (16 January 2015)

Features

• DVT-6206 New Param Rule: SVTB.1.1.4 Max line length

• DVT-6792 New Rule: SVTB.4.1.7 Unsized literal values should not exceed 32-bit integer range

• DVT-6957 New Rule: SVTB.32.2.0 Pass strings by reference unless otherwise needed

Bugfixes

• DVT-5326 XVM.7.3.4 should hide fails inside the UVM library

• DVT-5329 SVTB.16.1.6 should check cover bins not the variable

3.5.33 (12 January 2015)

Performance

• DVT-6937 Improve performance of rule SVTB.12.2.6.1

• DVT-6940 Improve performance of rule XVM.2.1.17

3.5.32 (18 December 2014)

Features

• DVT-6907 Show currently running check and check duration

Enhancements

• DVT-6911 XVM.2.1.4.4.1 should also pass when forever is used in a fork-join or in an indirect call

3.5.30 (28 November 2014)

Features

• DVT-6868 New Rule: SVTB.14.1.1 Assert property must have ‘else’

• DVT-6869 New Rule: SVTB.14.1.2 Assert property must have ‘else $error’

Enhancements

• DVT-6855 Add check title to HTML lint report

3.5.29 (21 November 2014)

Features

• DVT-6840 New Rule: SVTB.7.1.2.1 Class constructor must not be protected

• DVT-6845 New Rule: SVTB.7.13.1 Repeat the ‘virtual’ keyword when overriding a method

• DVT-6846 New Rule: SVTB.7.13.2 If a function is declared ‘virtual’ then the first definition in the inheritance tree should be ‘virtual’

• DVT-6847 New Rule: SVTB.7.13.3 Do not declare ‘local virtual’ methods

• DVT-6851 New Rule: Member variables should be local, unless random

Enhancements

• DVT-6822 Add parameter to component creation rules like ARAI, ARDI, ARMI, ARSI to allow create calls in functions called by build phase

Bugfixes

• DVT-6844 ClassNotFoundException when using Verissimo API annotations to set severity

3.5.28 (16 November 2014)

Enhancements

• DVT-6423 Ability to specify the default severity for a rule or all rules in a ruleset

• DVT-6823 Ability to specify the default severity for a custom rule using Verissimo API

Bugfixes

• DVT-6751 HTML lint report saved state should work between different reports

3.5.27 (7 November 2014)

Bugfixes

• DVT-6775 Custom rules are not included in ruleset and rulepool generated documentation

• DVT-6776 Text should wrap in rulepool and ruleset generated documentation TOC

• DVT-6786 Add DTD and ruleset version to rulepool generated xml

• DVT-6793 Infinite recursion in SVTB.5.11.3

3.5.26 (31 October 2014)

Enhancements

• DVT-6758 XVM.3.4.2 should check all functions, not only body()

3.5.25 (23 October 2014)

Enhancements

• DVT-6723 Add title to HTML lint report

• DVT-6736 Add hits table summary to HTML lint report

• DVT-6737 Visual and usability enhancements for HTML lint report

• DVT-6748 Print expected errors in a readable format without the stack trace

Bugfixes

• DVT-6727 HTML lint report hits table column widths are wrong after a resize

• DVT-6742 Filter out all checks with no hits when file filters are used in HTML lint report

• DVT-6746 Build configurations: extension mapping flags are ignored

3.5.24 (10 October 2014)

Features

• DVT-663 New Rule: SVTB.31.1.0 Unused element. Detect unused/dead/dangling variables, functions, classes etc.

• DVT-4197 Ability to generate the HTML lint report in batch mode

• DVT-6335 New HTML report with advanced functionality for filtering and searching

• DVT-6665 New Rule: SVTB.32.2.0 Unused macro. Detect unused macros.

Enhancements

• DVT-6708 Add “don’t check argument types” to SVTB.32.1.0

3.5.19 (21 August 2014)

Features

• DVT-6559 New Rule: SVTB.32.1.0 Pass arrays by reference unless otherwise needed

Bugfixes

• DVT-6575 SVTB.31.1.0 should not flag generate blocks

• DVT-6573 SVTB.31.1.0 false alarm on list type

• DVT-6551 Verissimo compiles all files as SystemVerilog in a mixed language build configuration regardless of extension mappings

• DVT-6565 Verissimo complains about non-existing irun executable even if not in ius.irun compatibility mode

3.5.17 (25 July 2014)

Performance

• DVT-6524 Improve performance of rule XVM59

Enhancements

• DVT-6531 Enhance scope info for randomize with contexts in SVTB.5.2.8

Bugfixes

• DVT-6521 Inline waivers should be applied after file waivers

3.5.16 (8 July 2014)

Enhancements

• DVT-6491 Add showScopeInfo param to enhance the SVTB.5.2.8 hit message for easy waiving

• DVT-6493 Add showScopeInfo param to enhance the SVTB.1.1.2 hit message for easy waiving

Bugfixes

• DVT-6512 SVTB.31.1.0 false alarms on property sequences

3.5.15 (8 July 2014)

Enhancements

• DVT-6153 XVM.3.3.4.2 fails if sequence is virtual or if the body is implemented in extended class

• DVT-6349 SVTB 10.7.3 should accept #0 in clocking blocks

• DVT-6421 Clarify ARDI/ARSI vs. XVM28 rule descriptions

• DVT-6422 Clarify XVM.2.1.4.2.6 vs. XVM52 rule descriptions

• DVT-6424 Document parameter “skipIfTypedefTo” for SVTB.27.1.0

• DVT-6425 Add parameter to SVTB.20.15 to check only interface ports

• DVT-6426 Add parameter to ARDI/ARSI/ARMI/ARAI to allow base class instantiation

• DVT-6427 Add parameter to SVTB.7.13 to allow for static shadowing

• DVT-6458 Add parameter to ARDI/ARSI to allow instantiation inside env

Bugfixes

• DVT-6188 SVTB.6.7.4 false alarm for q1 = foo(q2)

• DVT-6428 SVTB.12.2.6.1 false alarm for interface functions imported in modport

• DVT-6437 SVTB.4.1.6.1 false alarm on queue1[0] = {1,2}

• DVT-6443 Only first waiver could demote hit/check status

3.5.12 (10 June 2014)

Enhancements

• DVT-2040 Linter API: Added ILinter.getProperties() to get the rule properties map

• DVT-6323 Linter API: Added CustomRuleProperties annotation to set default values for properties in a custom rule

3.5.11 (30 May 2014)

Enhancements

• DVT-6259 Add parameter to rule SVTB 21.1.1 in order to allow const variables

Bugfixes

• DVT-6272 UVM sequence libraries should not be part of the sequences set

• DVT-6274 Ruleset documentation generation doesn’t work with a custom ruleset

3.5.10 (22 May 2014)

Enhancements

• DVT-6187 Add checkEndIfComment parameter to SVTB 2.12

• DVT-6190 SVTB.25.6.7.0 should consider @param comments

• DVT-6202 SVTB 27.2.0 should allow a list of suffix

• DVT-6205 SVTB.27.10.1 more information in the error message to simplify waivers

Bugfixes

• DVT-6170 XVM.2.1.6 False hits when calling a banned method which is not from an uvm_component

• DVT-6231 Architecture is not detected at first GUI launch

• DVT-6232 Wrong error message, file and line number for create call checks

• DVT-6233 Wrong type detection when working with deep hierarchies and typedefs

3.5.9 (12 May 2014)

Enhancements

• DVT-5499 Add parameter to SVTB 2.2 to configure allowed extensions

• DVT-6117 Ability to specify column width for SVTB.1.1.3

• DVT-6118 SVTB.2.1 and SVTB.2.6 should allow inner constructs

• DVT-6184 Add parameter to SVTB 1.4.1 to allow if(a) x=1; same line exceptions

Bugfixes

• DVT-5247 SVTB.30.1.0 does not fail on calls to inherited virtual deprecated method calls

• DVT-6186 SVTB 1.5.1 should consider closing bracket when allowSameLine is used

• DVT-6191 SVTB.5.11.1 and SVTB.5.11.3 should allow signed and unsigned casting

3.5.8 (30 April 2014)

Bugfixes

• DVT-6133 Views should update when linter window is selected

• DVT-6135 Duplicate lint configurations when starting with dvt_sv_lint_gui.sh

• DVT-6136 Race condition was preventing the linter to start when dvt_sv_lint_gui.sh is used

• DVT-6143 Linter default preference files prefix changed from “custom_lint” to “verissimo”

• DVT-6144 Linter not-matched waivers disable all checks when used with path or message filters

• DVT-6145 Reapplying linter checks after removing a waiver that matches (and disables) a check doesn’t enable the check back

3.5.7 (22 April 2014)

REMOVED

• DVT-6121 Removed deprecated scripts run_gui_mode.sh and run_batch_mode.sh

Bugfixes

• DVT-6101 Compilation ignores part of directives specified in -cmd build configuration file

• DVT-6111 Use full name resolution for architecture elements

• DVT-6123 SVTB.1.5 shouldn’t fail on “default” case item when allowSameLine is true

• DVT-6126 Add “allowSameLine” parameter to SVTB 1.5.1 similar with SVTB 1.5

3.5.6 (15 April 2014)

Bugfixes

• DVT-6093 Semantic errors not displayed after compilation

Enhancements

• DVT-6015 Add -stack_size and -heap_size to verissimo.sh batch mode

• DVT-6094 Reporting more compile information

3.5.5 (1 April 2014)

Bugfixes

• DVT-5957 Wrong UVM.2.1.4.2.8 failure when a parameter is used instead of a class name in type_id::create() call

• DVT-5959 Wrong SVTB 27.5.2 failure on anonymous crosses

• DVT-5960 Wrong SVTB 27.5.5 failure on anonymous crosses

• DVT-5963 SVTB 7.13 should not fire if virtual not specified for one of the parents, but specified in grandparents

• DVT-5977 Wrong SVTB 5.11.3 failure on enum elements

• DVT-5978 Wrong SVTB 5.11.2.2 failure on dynamic array access

• DVT-5985 SVTB.5.11.1 should allow byte casting, as byte is an integer data type

• DVT-5987 UVM.7.2 should not fire for unknown types that don’t start with ‘uvm’ prefix

3.5 (27 February 2014)

Deprecated: Architecture and Preferences XML files are deprecated, use instead Ruleset XML.

• DVT-4226 Ruleset XML support for architecture configuration, skip files, elements patterns and not applied status.