18.1.48 (18 February 2019)

Bugfixes

  • DVT-12859 Fixed sporadic JVM crashes due to compilation optimizations

18.1.45 (13 February 2019)

Enhancements

  • 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

Bugfixes

  • DVT-12811 Checks disabled by waivers should be re-enabled when other waivers might re-enable their failures

18.1.44 (4 February 2019)

Enhancements

  • DVT-12792 Add parameter to SVTB.7.35 to skip covergroups

18.1.43 (1 February 2019)

Features

  • DVT-12681 New Rule: SVTB.10.19 Specify display radix for binary, decimal, octal and hex values

Enhancements

  • 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

Bugfixes

  • 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

18.1.42 (15 January 2019)

Features

  • 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

Enhancements

  • DVT-12743 Use default.build defined environment variables in SVTB.2.10, SVTB.2.14 and XVM.5.1.2

Bugfixes

  • 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

18.1.41 (13 December 2018)

Performance

  • DVT-12707 Improve HTML Report load time and memory consumption

18.1.41 (13 December 2018)

Performance

  • DVT-12701 Improve HTML Report load and search performance

Features

  • 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

18.1.40 (7 December 2018)

Enhancements

  • 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

18.1.39 (29 November 2018)

Features

  • 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

Enhancements

  • 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

18.1.37 (15 November 2018)

Performance

  • DVT-12424 Improve performance of rule SVTB.30.1.0

  • DVT-12425 Improve performance of rule SVTB.9.10

Features

  • 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

Enhancements

  • DVT-12417 Add parameter to SVTB.27.14 to skip parameters of overriding methods

Bugfixes

  • DVT-12564 SVTB.5.11.1 False hits when casting function call return value

18.1.36 (9 November 2018)

Bugfixes

  • 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

18.1.35 (2 November 2018)

Features

  • 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

Enhancements

  • DVT-12399 Add lint, compilation runtime and license wait time to custom reports API

Bugfixes

  • DVT-12388 Exception when running SVTB.27.3.2, SVTB.29.3.0 and XVM.5.1.2 with default generated parameters

18.1.34 (25 October 2018)

Performance

  • DVT-12302 Improve performance of rule SVTB.12.4

Features

  • DVT-12210 Ability to create a waiver from the HTML report

Bugfixes

  • DVT-12280 SVTB.12.4 doesn’t fail when the method call is inside a macro argument

18.1.33 (18 October 2018)

Performance

  • 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

Features

  • 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

Bugfixes

  • DVT-12392 SVTB.15.4.1.1 False hits inside randsequence

18.1.32 (12 October 2018)

Performance

  • DVT-12304 Improve performance of rules SVTB.7.12.3 and SVTB.7.12.3.1

Features

  • 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

Enhancements

  • 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

Bugfixes

  • DVT-12366 NullPointerException in SVTB.25.4.1

18.1.31 (2 October 2018)

Performance

  • DVT-12301 Improve performance of rule SVTB.10.17

  • DVT-12305 Improve performance of rule SVTB.7.27

Bugfixes

  • 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

18.1.30 (25 September 2018)

Features

  • 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

Enhancements

  • 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

Bugfixes

  • 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

18.1.29 (13 September 2018)

Features

  • DVT-11654 Add -rulepool_xml_include flag to specify the rule attributes to be included in the generated ruleset

Enhancements

  • DVT-12242 Add parameter to XVM.3.3.11.1 to allow string concatenation for the constructed string name

Bugfixes

  • DVT-12244 Disable rules with duplicate names

  • DVT-12256 XVM.5.2.1.1 False hits for non-XVM projects

18.1.28 (6 September 2018)

Enhancements

  • 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

Bugfixes

  • 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

18.1.27 (30 August 2018)

Features

  • 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

Enhancements

  • DVT-12172 Add total number of compiled lines to custom reports API

Bugfixes

  • DVT-12216 Batch mode compilation fails for files with modification time less or equal to 0

18.1.26 (27 August 2018)

Features

  • 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

Enhancements

  • 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

Bugfixes

  • DVT-12197 SVTB.10.6.1.0 False hits for struct selects

18.1.25 (9 August 2018)

Features

  • DVT-12074 New Rule: SVTB.1.1.13 All return statements that return a value or a variable should have parentheses

Enhancements

  • DVT-11883 Add failure annotations (git, svn, tags) to custom reports API

Bugfixes

  • DVT-12068 SVTB.7.27 False hits for array methods on typedef of dynamic arrays of classes

18.1.24 (3 August 2018)

Features

  • 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

Enhancements

  • DVT-11967 Ability to merge Verissimo custom reports

  • DVT-12010 SVTB.1.1.10 Allow no whitespace in the declarations of arrays

Bugfixes

  • 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

18.1.23 (26 July 2018)

Performance

  • DVT-12080 Improve performance of rule SVTB.27.10.1

Features

  • 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

18.1.22 (20 July 2018)

Features

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

Enhancements

  • 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

Bugfixes

  • 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

18.1.21 (6 July 2018)

Features

  • 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

Enhancements

  • 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

Bugfixes

  • DVT-11927 SVTB.7.26 False hits for concatenation to super.method

18.1.20 (28 June 2018)

Features

  • DVT-11910 New Rule: XVM.5.1.3.8 Use xvm_verbosity enum elements as verbosity arguments for `xvm_info macro calls

Bugfixes

  • 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

18.1.19 (21 June 2018)

Features

  • DVT-11835 New Rule: SVTB.2.12.1 Mandatory `ifndef guards for each file

Enhancements

  • 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

Bugfixes

  • 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

18.1.18 (15 June 2018)

Bugfixes

  • DVT-11925 DVT specific eclipse.ini is missing from Linux and Windows Eclipse 4.6 and 4.7 distros

18.1.17 (14 June 2018)

Features

  • 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

Enhancements

  • 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

Bugfixes

  • 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

18.1.16 (31 May 2018)

Features

  • 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

Enhancements

  • DVT-11832 Add parameter to XVM.4.22 to choose UVM register layer API to be checked

Bugfixes

  • 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

18.1.15 (17 May 2018)

Features

  • DVT-11723 New Rule: SVTB.14.10.18 Assertions in loops must use loop index

Bugfixes

  • 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

18.1.14 (10 May 2018)

Performance

  • DVT-10810 Improve performance of rule SVTB.12.2.7

Features

  • DVT-10668 New Rule: SVTB.4.1.4.1.2 Specify time units for all delays

Enhancements

  • DVT-11280 XVM.4.22 should also check the return value of uvm_reg_field.predict() function

18.1.12 (4 May 2018)

Bugfixes

  • DVT-11741 XVM.2.1.1.1 False hits for classes with local parameters

18.1.11 (27 April 2018)

CLEANUP

  • DVT-11318 Use by default UVM library for rulesets without library attribute

Features

  • 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

Enhancements

  • DVT-11673 SVTB.2.10 Add support for multiple header files

Bugfixes

  • 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

18.1.10 (16 April 2018)

Bugfixes

  • DVT-11651 NullPointerException in rules SVTB.7.12.3, SVTB.7.12.3.1 and SVTB.14.10.1

18.1.9 (12 April 2018)

Features

  • DVT-11625 New Rule: SVTB.30.10 Do not use deprecated clocking event argument of $sampled

Bugfixes

  • DVT-11399 Build config warnings are not reported when -ignore_compile_errors is used

18.1.8 (5 April 2018)

Features

  • 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

Enhancements

  • DVT-11569 Add argument to the getFiles() Custom Report API to include UVM files

Bugfixes

  • 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

18.1.6 (29 March 2018)

Features

  • DVT-11279 New Rule: SVTB.15.4.1.4 Do no assign the status of randomize() to the randomized variable

Bugfixes

  • 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

18.1.5 (22 March 2018)

Performance

  • DVT-10812 Improve performance of rule SVTB.6.6.3.1

Features

  • DVT-11333 New Rule: SVTB.2.16 Do not use compile guards

Enhancements

  • 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

Bugfixes

  • 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

18.1.4 (15 March 2018)

Features

  • DVT-8744 & DVT-10195 Ability to tag failures and to filter them by tag

Enhancements

  • DVT-11259 Add parameter values in the rule description

Bugfixes

  • 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

18.1.3 (8 March 2018)

Bugfixes

  • DVT-11376 Fixed HTML report filtering by files and checks

18.1.2 (2 March 2018)

Features

  • DVT-10798 Ability to merge HTML Reports

Enhancements

  • DVT-10694 Ability to match start/end of multi-line inline waivers based on name to allow interlaced waivers

18.1.1 (22 February 2018)

Features

  • DVT-10217 Ability to assign fix effort estimation for check failures