3.3 (10 March 2013)
DVT-3480 Linter nonexistent rules references in custom rulesets are signaled as disabled
DVT-4202 Linter HTML Report generates a ovm/uvm/verssimo.html.report file that can be used to open the report from DVT
DVT-4370 Removed support for pre DVT 2.9.7 local licenses (DVT_LICENSE_VERSION is not used anymore)
DVT-4550 New Rule: SVTB.15.6.1 .sum() type mismatch in constraints
3.2.20 (6 March 2013)
DVT-4623 NullPointerException when linting with an empty file list
3.2.18 (4 March 2013)
DVT-4588 Rule XVM.2.1.4.2.8 doesn’t work when the create call is using package access
3.2.16 (11 February 2013)
DVT-4507 Add “allowedTasks” parameter to SVTB.12.2.6.1, with the default value “constraint_mode”
3.2.15 (28 January 2013)
DVT-4441 SVTB.16.1.3 should allow autobin bit and enum coverpoints and it should be configurable to allow other types
DVT-4458 Fix NPE in Check_7_1 and Check_7_2
3.2.11 (11 January 2013)
DVT-3411 Rule “UVM23a Monitor Has Analysis Ports” should skip virtual classes and consider inheritance
DVT-3414 Rule “UVM23b Monitor’s Analysis Ports Instantiation” should allow instantiation in build_phase() as well
DVT-4228 Add parameter to rule “XVM.2.1.6 Banned uvm_component methods” to controll the list of methods
DVT-3596 New Param Rule: XVM.2.1.1.2.0 Do not use factory registration macros for virtual classes
3.2.10 (24 December 2012)
DVT-1363 Cancel linting when full build is canceled
3.2.9 (11 December 2012)
DVT-4363 Verissimo does not take into account all build flags supported by DVT
3.2.5 (6 November 2012)
DVT-3397 +dvt_init+ should behave like a new parsing invocation in batch mode as well
DVT-4206 Add parameters to rule “SVTB.2.3 Filename must match implementation name” to allow custom extensions
DVT-4207 “SVTB.2.12 `include Guards” - Internal error while computing first line with code for the uvm library
DVT-4219 Rule “SVTB.2.1.4.4.1 Use a forever loop at the end of the run phase for drivers and monitors” should be applied only if run phase is overridden
DVT-4227 Add parameter to base class rules like “XVM 2.7.2 Environment Base Class” to allow direct or indirect inheritance checking
DVT-4229 Add parameter to rule “XVM.7.2 Only the following uvm classes can be instantiated” to controll the list of classes
DVT-4230 Enhance rule “SVTB.1.4.4 begin statements should be on the same line as what caused the begin” with detailed error message about the construct in order to allow fine waiving
DVT-4232 Add parameter to rule “XVM.7.1 Only the following classes can be extended” to controll the list of classes
DVT-4233 Change default value for “SVTB.12.5 Bind arguments by name when calling methods with many arguments” to greater then 3
DVT-4234 Consider time as a 2 state type and allow control in “SVTB.5.2.7 Assignment from 4 State to 2 State Must include X,Z check” and “SVTB.5.2.8 Comparison of 4 State Type Must use 4 State Equivalence Check”
DVT-4235 Enhance “SVTB.12.3.7 Specify type and direction of all arguments” to consider default input not only in classes and to accept ref and const ref
DVT-4238 Ability to generate all rules ruleset xml using verissimo.sh -gen_rulepool_xml
DVT-4239 Enhance “SVTB.12.2.6.1 Functions should not call tasks directly” to allow task calls inside fork/join_none
3.2.4 (26 October 2012)
DVT-3412 Enhance rule “PKFN Valid File Names” to support multiple packages
DVT-4191 Fixed internal error when using -y/-v compilation directives
DVT-4193 Enhance rule “PKLD Legal Directory Name” to support multiple packages
DVT-4194 Fixed Rule SVTB27.3.2 to allow for xvm base classes
DVT-4204 Enhance rule “SVTB.1.5.1 Use ‘{’ ‘}’ block for single line constraints” with detailed error message about the construct in order to allow fine waiving
DVT-4205 Fixed custom ruleset checks name based on library attribute
3.2.3 (17 October 2012)
DVT-4094 Added unspecified parameter guards to parameterizable rules 29..0. 30..0
3.2 (9 October 2012)
DVT-1983 New Rule: SVTB.29.1.7 Banned $display and $write I/O system tasks
DVT-3860 New Rule: XVM.10.1 Do not use ‘uvm_pkg::uvm_transaction’
DVT-3861 New Rule: XVM.10.2 Do not use ‘set_config_int, set_config_string, set_config_object’
DVT-3862 New Param Rule: SVTB.29.3.0 Do not use banned classes
DVT-3863 New Param Rule: SVTB.29.4.0 Do not use banned macros
DVT-3864 New Param Rule: SVTB.30.1.0 Do not use deprecated method calls
DVT-3865 New Param Rule: SVTB.30.3.0 Do not use deprecated classes
DVT-3866 New Param Rule: SVTB.30.4.0 Do not use deprecated macros
DVT-3935 New Param Rule: SVTB.30.2.0 Do not use deprecated fields
DVT-3454 Fixed Rule “SVTB.5.2.7 Recommendation: Assignment from 4 State to 2 State Must include X,Z check” fails for “realtime a=5us”
3.1.15 (3 October 2012)
DVT-4022 Support escaped quotes in build configuration files
3.1.14 (27 September 2012)
DVT-3046 Linter waivers include functionality
3.1.10 (1 September 2012)
DVT-3878 Creating waiver from hit should include a message pattern
3.1.9 (13 August 2012)
DVT-2957 Removed SOLARIS release
3.1.8 (7 August 2012)
DVT-3842 Fixed argument passing in deprecated scripts
3.1.7 (2 August 2012)
DVT-3820 Fixed batch linter -gen_ruleset_doc with custom ruleset
3.1.6 (24 July 2012)
DVT-3363 Added -compile_waivers to use compile waivers in batch mode linting
DVT-3457 Added parameters to “SVTB.25.6.6 All class member variables must be commented” to control the comment style (inline, above). Rule was renamed to SVTB.25.6.6.0.
DVT-3759 New Param Rule: SVTB.7.15 Do not override fields from parent class
DVT-3760 New Param Rule: SVTB.7.16 Use the ‘virtual’ keyword when overriding a virtual method
DVT-3767 Fixed linter re-running failed checks twice
DVT-3770 Added the generate ruleset/rulepool docs path to output
DVT-3772 New Rule: SVTB.23.1 ‘DPI’ is deprecated, use ‘DPI-C’ instead
DVT-3773 New Rule: SVTB.23.2 DPI C identifier equal with method name
DVT-3774 New Param Rule: SVTB.27.11.1 DPI methods naming pattern
DVT-3775 New Param Rule: SVTB.27.9.2 Interface instances naming pattern
DVT-3776 New Param Rule: SVTB.27.9.3 Virtual interface members naming pattern
DVT-3777 New Param Rule: SVTB.27.3.2 Class field naming pattern if field type is class
DVT-3786 New Param Rule: SVTB.29.1.0 Do not use banned method calls
DVT-3787 Abort linting if ruleset file has syntactic errors
3.1.4 (10 July 2012)
Reorganized rules = moved rules around in categories and changed some rule ids
DVT-3734 Changed linter rule IDs from OVM to XVM
DVT-3735 Fixed linter gen_rulepool_doc for UVM with -uvm flag
DVT-3736 Removed linter user_prefs and default_prefs files and flags
DVT-3737 Added linter manual_checks_status.xml to store the status of manual checks from GUI(replaces user_prefs)
DVT-3738 Added linter user_notes.xml to store the user notes form GUI (replaces user_prefs)
DVT-3739 Deprecated linter flag -ovm_prefs and replaced it with -linter_preferences
DVT-3740 New Param Rule SVTB.15.4.10 Not Allowed: randc
DVT-3741 New Param Rule SVTB.15.5.1 Rand class members must be public
DVT-3742 New Param Rule SVTB.25.6.6.0 Class members comment
DVT-3743 New Param Rule SVTB.25.6.7.0 Class method arguments comment
DVT-3744 New Param Rule SVTB.27.3.0 Class member naming pattern
DVT-3745 New Param Rule SVTB.27.4.0 Class method arguments naming pattern
DVT-3746 Fixed argument testing problem in dvt_sv_lint_gui.sh
DVT-3753 New Param Rule: SVTB.12.5 Bind arguments by name when calling methods with many arguments
3.1.3 (2 July 2012)
DVT-572 & DVT-3328 Added a linter preference for considering NOT_APPLIED as PASSED, ERROR or NOT_APPLIED
DVT-1321 Added Reapply Failed Checks button in Linter GUI
DVT-3403 Linter preferences tab will be grayed out when the preferences file is not writable
DVT-3452 New Param Rule SVTB.10.6.1.0: Type of conditional expression in ternary conditional operator
DVT-3209 XVM checks updated for UVM build() -> build_phase(), connect() -> connect_phase(), run -> run_phase()
3.1.2 (15 June 2012)
DVT-3594 New Param Rule UVM.2.1.1.1.0: Proper use of the factory registration macros
DVT-3417 Rule “UVM2.1.1.1 Components must register with factory” fails when using the package qualifier (a::b) to specify the registered type
DVT-3453 Clarify description of UVM.2.1.15.1 and UVM.2.1.4.2.7 “Constructed string name must match instance name”
DVT-3455 Parameterize Rules “Constructed String Name must match Instance Name” in order to enforce $sformatf not $psprintf, for example 2.1.4.2.7
3.1 (1 June 2012)
DVT-3510 New Param Rule SVTB.1.1.6: Use 3 Spaces for Indentation
DVT-3511 New Param Rule SVTB.2.6: Only One class, interface, package, or module per File
DVT-3512 New Param Rule SVTB.2.7: Directory - File - Element Naming
DVT-3513 New Param Rule SVTB.2.8: Directory Contains File
DVT-3514 New Param Rule SVTB.2.9: Directory - File - Element Existence
DVT-3343 New Param Rule SVTB.7.14.0: Overridden Method Must Call super
DVT-3515 New Param Rule SVTB.25.1.0: File Header
DVT-3516 New Param Rule SVTB.25.2: `include Guards
DVT-3517 New Param Rule SVTB.27.1.0: All <elementKind>s should have a <suffix> suffix.
DVT-3518 New Param Rule SVTB.27.2.0: All classes that inherit from <baseClass> should have a <suffix> suffix.
DVT-571 Changed the icon for Reapply Linting in Problems View
DVT-2951 Waivers with DISABLED status can be applied on passing hits
DVT-2952 Added wildcard support for linter waivers
DVT-2955 Added overall score in HTML Report for linter checks and hits
DVT-3263 Added right click on hit to add code waiver
DVT-3264 Added one line waiver pragmas for linter
DVT-3334 Rebranded DVT SystemVerilog Linter to Verissimo
DVT-3364 Added apply-on property for waivers to define the status scope
DVT-3398 Verissimo linting will run by default in batch and GUI mode, added a new flag to run the UVM/OVM compliance (-compliance)
DVT-3484 Added support for name attribute in ruleset tag used in generated ruleset documentation
DVT-3486 Added information about the waiver path in the Verissimo linting configuration dialog
3.0.7.1 (29 February 2012)
DVT-2954 Removed duplicated rules form rulepool
DVT-3027 Created Linter public extended ruleset
3.0.6 (1 December 2011)
Deprecated: Scripts: eclipse.sh, run_gui_mode.sh, run_batch_mode.sh are deprecated; use instead: dvt.sh, dvt_sv_lint_batch.sh, dvt_sv_lint_gui.sh.
DVT-2474 Filter library code problems for NON_STANDARD check
DVT-2494 Prompt to save dirty files when launching the GUI linter
DVT-2645 Changed the -startovm flag from dvt_sv_lint_gui.sh to -start_linting
DVT-2646 Added -uvm flag to linter (batch/gui) to select the internal ruleset library
3.0.5.1 (16 September 2011)
DVT-2396 Fixed “Template *.ftl not found” error when generating doc in batch linter
3.0.5 (10 September 2011)
DVT-1362 Fixed inconsistency in reporting runtime exceptions running the GUI linter
DVT-2319 Added overall score in GUI for linter checks and hits
3.0.4 (30 July 2011)
DVT-2239 Scripts: eclipse.sh, run_gui_mode.sh, run_batch_mode.sh are marked for deprecation; use instead: dvt.sh, dvt_sv_lint_batch.sh, dvt_sv_lint_gui.sh
DVT-1858 Right click on hit or check to waive
3.0.0.0 (13 May 2011)
Updated run_gui_mode.sh to create the workspace and project directories
Rules with DISABLED status are skipped in linter
2.9.6.6 (27 January 2011)
SystemVerilog Linter API v1.0 is available
IDE linting can be canceled with a finer granularity
2.9.6.5 (7 January 2011)
Added ‘All Verilog Linter Issues’ filter for Problems View to have an overview over the failures in IDE
2.9.6.3 (29 November 2010)
Major speed improvements (10x faster) for the following checks
2.9.6.2 (23 November 2010)
Fixed the problem with -cmd option prepending cwd to specified path
2.9.5.7 (1 November 2010)
Added rulesets functionality
Changed the way linter is invoked in GUI mode. Now user can create and share multiple launch configurations that support changing the ruleset file or waivers file.
2.9.5.2 (1 October 2010)
Added support for simple regular expressions in waivers message pattern.
Added pragma waivers (code waivers).
Waivers file syntax uses version “4”.
Waivers file syntax version “3” is DEPRECATED.
Waivers file syntax version “2” has been DEPRECATED for REMOVAL in the next release.
Waivers file syntax version “1” has been REMOVED.
2.9.4.7 (12 September 2010)
Changed the warning message for invalid arguments in batch mode
Updated run_gui_mode.sh script with flags for custom vmargs and memory. Using it will fix problems for environments with more memory needs
Fixed problem related to defines in “.f” files for batch mode
2.9.3.6 (8 June 2010)
Fixed BASH incompatibility in “run_gui_mode.sh” script
2.9.2.3 (16 April 2010)
Added waivers based on pattern (regular expression) matching on hit details message (it is applied ONLY on hit details - error message)
Added GUI support for pattern based waivers with regular expressions editor
Waivers file syntax uses version “3”.
Waivers file syntax version “2” is DEPRECATED.
Waivers file syntax version “1” is DEPRECATED for REMOVAL in the next release.
2.8.9.3 (12 March 2010)
Added Waiver GUI.
Added support for system variables.
Fixed bug related to loading read-only files.
Waivers file syntax uses version “2”.
Waivers file syntax version “1” is DEPRECATED.