20.1.44 (21 December 2020)

Performance

  • DVT-15651 Improve performance of SVTB.29.1.3.1

Features

  • 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

Enhancements

  • 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

Bugfixes

  • 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

20.1.42 (4 December 2020)

Features

  • 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

Enhancements

  • DVT-14211 Report rule internal exception as single rule failure

20.1.41 (20 November 2020)

Features

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

Enhancements

  • 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

Bugfixes

  • 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

20.1.40 (13 November 2020)

Features

  • 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

Enhancements

  • 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

Bugfixes

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

20.1.39 (9 November 2020)

Performance

  • DVT-14100 Improve performance for SVTB.9.10

Features

  • 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

Bugfixes

  • 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

20.1.38 (30 October 2020)

Features

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

Enhancements

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

Bugfixes

  • 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

20.1.37 (23 October 2020)

Performance

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

Features

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

Enhancements

  • 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

Bugfixes

  • DVT-15483 SVTB.5.1.2 reports inconsistent number of failures

20.1.36 (16 October 2020)

Features

  • 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

Enhancements

  • 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

Bugfixes

  • DVT-15462 Unable to generate code waivers in Windows

20.1.34 (2 October 2020)

Performance

  • DVT-14623 Improve memory footprint of XVM.3.6

Features

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

Enhancements

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

20.1.33 (28 September 2020)

Features

  • 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

Enhancements

  • 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

Bugfixes

  • DVT-15399 StackOverflowException in XVM.2.3.9

20.1.32 (17 September 2020)

Features

  • 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

Bugfixes

  • 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

20.1.31 (11 September 2020)

Features

  • 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

Enhancements

  • 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

Bugfixes

  • 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

20.1.30 (3 September 2020)

Features

  • 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

Enhancements

  • 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

Bugfixes

  • 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

20.1.29 (28 August 2020)

Features

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

Enhancements

  • 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

Bugfixes

  • 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

20.1.28 (21 August 2020)

Enhancements

  • 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

Bugfixes

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

20.1.27 (14 August 2020)

Features

  • 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

Enhancements

  • 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

Bugfixes

  • 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

20.1.26 (30 July 2020)

Features

  • 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

Enhancements

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

Bugfixes

  • 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

20.1.25 (24 July 2020)

Features

  • 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

Enhancements

  • 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

Bugfixes

  • 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

20.1.24 (17 July 2020)

Features

  • 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

Enhancements

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

Bugfixes

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

20.1.23 (8 July 2020)

Performance

  • DVT-14926 Improve performance of XVM61 and XVM62

Features

  • 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

Enhancements

  • 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

20.1.22 (8 July 2020)

Enhancements

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

20.1.21 (2 July 2020)

Features

  • 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

Enhancements

  • 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

Bugfixes

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

20.1.20 (26 June 2020)

Performance

  • DVT-14852 Improve performance for pre-waivers

Features

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

Enhancements

  • 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

Bugfixes

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

20.1.19 (18 June 2020)

Enhancements

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

Bugfixes

  • 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

20.1.18 (17 June 2020)

Enhancements

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

Bugfixes

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

20.1.17 (16 June 2020)

REMOVED

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

Features

  • DVT-14707 Print failures summary when doing a report compare

Enhancements

  • 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

20.1.16 (12 June 2020)

Features

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

Enhancements

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

  • DVT-14706 Add predefined custom reports

Bugfixes

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

20.1.15 (4 June 2020)

Features

  • 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

Enhancements

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

20.1.14 (28 May 2020)

Features

  • 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

Enhancements

  • 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

20.1.12 (21 May 2020)

Features

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

Bugfixes

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

20.1.11 (15 May 2020)

Performance

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

Features

  • 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

Enhancements

  • 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

Bugfixes

  • DVT-14099 StackOverflowError in XVM51b

20.1.10 (11 May 2020)

Bugfixes

  • 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

20.1.9 (30 April 2020)

Features

  • 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

Enhancements

  • 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

Bugfixes

  • 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

20.1.8 (16 April 2020)

Features

  • 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

Enhancements

  • 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

Bugfixes

  • DVT-14446 SVTB.7.36 False failures for overridden methods

20.1.7 (10 April 2020)

Features

  • 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

Enhancements

  • 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

Bugfixes

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

20.1.6 (2 April 2020)

Features

  • 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

Enhancements

  • 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

Bugfixes

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

20.1.5 (27 March 2020)

Features

  • 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

Enhancements

  • 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

Bugfixes

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

20.1.4 (20 March 2020)

Performance

  • DVT-14210 Improve performance for SVTB.8.4.3

Features

  • 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

Enhancements

  • 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

Bugfixes

  • 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

20.1.3 (9 March 2020)

Features

  • 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

Enhancements

  • 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

Bugfixes

  • 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

20.1.2 (28 February 2020)

Features

  • 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

Enhancements

  • DVT-14280 Add “Common” filter to Verissimo HTML compare report

Bugfixes

  • 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

20.1.1 (21 February 2020)

HIGHLIGHTS

Note: Some of the highlights below were rolled-out in 19.1.# hotfix releases for early adopters.

Performance

  • DVT-14208 Improve performance for SVTB.1.1.16

Features

  • 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

Bugfixes

  • DVT-14209 Update description of SVTB.2.7, SVTB.2.8 and SVTB.2.9

  • DVT-14283 NullPointerException in XVM.2.1.4.3