24.2.28 (11 December 2024)

Features

  • DVT-21533 New Rule: R.1365 Use unique IDs for XVM report macros

Enhancements

  • DVT-21585 Add parameters to XVM68 and R.1336 to check that usages are in if blocks that check max verbosity level

  • DVT-21672 Add parameter to SVTB.29.1.7 to ignore calls inside initial and final blocks

  • DVT-21686 Add parameter to XVM.4.28 to skip failures in sequences

  • DVT-21700 Add parameter to R.1224 to skip conditions that contain macro arguments

  • DVT-21882 Add support for all -rulepool_xml_include attributes when used with -gen_rulepool_xml

  • DVT-21952 SVTB.7.1.4 Auto-correct should be applied for constraints

Bugfixes

  • DVT-21424 XVM.4.28 False failures for methods shadowing non-virtual parent methods

  • DVT-21641 XVM.3.6 False failures when randomize call is inside an assert expression

  • DVT-21680 ARAA and ARSAb False failures when agent contains fields of type interface class whose implementations are all agents

  • DVT-21682 Factory instantiation checks should allow create calls as arguments of queue push methods

  • DVT-21687 Rule descriptions added in ruleset XML files through -rulepool_xml_include should have newlines escaped

  • DVT-21776 XVM51b False failures when invoking a method on an object

  • DVT-21848 SVTB.15.3.4.1 False failures for ranges with parameters

  • DVT-21876 SVTB.31.1.0 False failures for dynamic array type

  • DVT-21953 SVTB.7.1.4 auto-correct does not apply when the class and method declaration are in different files

24.2.27 (26 November 2024)

Features

  • DVT-21185 Improve Verissimo Auto-correct sanity checks

Enhancements

  • DVT-10355 Add parameter to SVTB.1.1.2.0, SVTB.1.1.2 & SVTB.1.1.6 to ignore vertically aligned code

  • DVT-19902 Ability to use paths relative to current file in compile waivers <include/> tags

  • DVT-21274 Add parameter to XVM51b to allow create calls in port methods

  • DVT-21572 Add parameter to XVM.5.1.3.7 to skip method calls outside of loops called from non-run phases

  • DVT-21586 Ability to specify checks for uvmf_generated_code waiver tag

  • DVT-21652 Add parameter to SVTB.27.10.1 to ignore arguments of specified methods

  • DVT-21683 Add parameter to SVTB.10.20 to skip failures inside specified macros

  • DVT-21716 Improve the code comparison when generating compare reports

Bugfixes

  • DVT-21590 XVM.4.21.1 False positives when using checkFailureMacros for blocks without begin end

  • DVT-21645 SVTB.6.10.1 False failures when calling methods on object elements of associative arrays

  • DVT-21649 SVTB.27.13 Wrong auto-correct when replacing labels

  • DVT-21699 R.1119 False failures for parameterized interfaces

  • DVT-21711 SVTB.15.3.4.1 False failures for constraints using expressions as weights

24.2.26 (14 November 2024)

Features

  • DVT-21560 New Rule: R.1363 Do not use parentheses for method calls

Bugfixes

  • DVT-14063 SVTB.1.1.10 False failures when macro contains trailing whitespaces

  • DVT-21273 XVM51b False failures for bottom-up implementation

  • DVT-21535 SVTB.5.2.7 should fail for wrong condition when useIsUnknownGuard is true and assignment contains expression

  • DVT-21552 R.1047, R.1341, R.1362 should fail for method calls with named arguments

  • DVT-21626 Dark theme is not applied properly on ruleset documentation when opened in the DVT VS Code IDE

  • DVT-21684 R.1006, R.1198, R.1348 might not work properly for files compiled in multiple invocations

24.2.25 (31 October 2024)

Features

  • DVT-14719 New Rule: R.1355 Unreachable cover bins

  • DVT-21272 New Rule: R.1358 Do not read signals before writing inside always_comb/always @(-)

  • DVT-21276 New Rule: R.1357 Do not use sequences as properties that admit empty match

  • DVT-21385 New Rule: R.1359 The argument to scope randomize must be integral type

  • DVT-21422 New Rule: R.1360 Forward typedefs declaring classes must have corresponding implementation

  • DVT-21459 New Rule: R.1362 Case statements should not have the same condition

  • DVT-21462 New rule: R.1361 Do not use formatting methods for string concatenation

Enhancements

  • DVT-21454 Add parameter to SEMANTIC_PROBLEM to include or exclude failures based on their ID

  • DVT-21460 Add uvm_phases to supported elementsDeclarationOrder of SVTB.7.1.1

  • DVT-21461 Add parameter to SVTB.7.1.1 to skip elements declared in specified macros

Bugfixes

  • DVT-21326 R.1318 should fail for array selects in comparisons

  • DVT-21405 R.1348 should fail for incorrect methods used as XVM macro argument

  • DVT-21410 R.1345 False failures when the specified size is not a multiple of the base bit length

  • DVT-21421 SVTB.15.3.4.1 Wrong error message for ranges without a specified weight

  • DVT-21423 SVTB.7.1.4.3 should fail for types with different sign

  • DVT-21437 XVM3 False failures for classes inheriting from XVM classes with only static members

  • DVT-21442 Report an Issue: Collecting thread dumps for full build, elaboration or linting overwrites previously generated files

  • DVT-21467 SVTB.7.1.1 False failures for class elements declared inside macros

24.2.23 (11 October 2024)

Features

  • DVT-20850 New Rule: R.1340 Do not use operators with lower precedence than comparison as comparison operands in constraints

  • DVT-21248 New Rule: R.1352 Do not use modports in hierarchical paths

  • DVT-21260 New Rule: R.1353 Bins in real coverpoints must contain only range values

  • DVT-21287 New Rule: R.1354 Do not use dynamic arrays and classes in constant functions

  • DVT-21352 New Rule: R.1356 Do not use .sum without a ‘with’ clause

Enhancements

  • DVT-21116 Add parameter to R.1235 to skip signal patterns