| <?xml version="1.0" encoding="UTF-8"?> |
| <!DOCTYPE ruleset PUBLIC "-//DVT//ruleset" "ruleset.dtd" > |
| <ruleset version="2" |
| name="All Verissimo Rules - Thu May 14 13:57:22 EEST 2015" library="uvm"> |
| |
| <category name="1. Style"> |
| <rule id="SVTB.1.1.1" /> |
| <rule id="SVTB.1.1.2" /> |
| <rule id="SVTB.1.1.3" name="SVTB.1.1.3.maxNofChars"> |
| <property key="maxNofChars" value="120" /> |
| </rule> |
| <rule id="SVTB.1.1.4" /> |
| <rule id="SVTB.1.1.5" /> |
| <rule id="SVTB.1.1.6" /> |
| <rule id="SVTB.1.4.1" name="SVTB.1.4.1.allowSameLine"> |
| <property key="allowSameLine" value="true" /> |
| </rule> |
| <rule id="SVTB.1.4.2" /> |
| <rule id="SVTB.1.4.4" /> |
| <rule id="SVTB.1.5" name="SVTB.1.5.allowSameLine"> |
| <property key="allowSameLine" value="true" /> |
| <property key="allowForkedSingleStatements" value="true" /> |
| </rule> |
| <rule id="SVTB.1.5.1" name="SVTB.1.5.1.warning" severity="WARNING" /> |
| </category> |
| |
| |
| <category name="2. Files and Directories"> |
| <rule id="SVTB.2.1" /> |
| <rule id="SVTB.2.2" /> |
| <rule id="SVTB.2.3" /> |
| <rule id="SVTB.2.6" /> |
| <rule id="SVTB.2.7" name="SVTB.2.7.tests"> |
| <property key="elementKind" value="class" /> |
| <property key="dirPattern" value=".*/examples/ex_(id2)/tests" /> |
| <property key="filePattern" value="(id1)_ex_(id2)_test_(id3).sv" /> |
| <property key="elementPattern" value="(id1)_ex_(id2)_test_(id3)" /> |
| </rule> |
| <rule id="SVTB.2.8" /> |
| <rule id="SVTB.2.9" /> |
| <rule id="SVTB.2.10" /> |
| <rule id="SVTB.2.11" /> |
| <rule id="SVTB.2.12" name="SVTB.2.12.checkEndIfComment"> |
| <property key="checkEndIfComment" value="false" /> |
| </rule> |
| </category> |
| |
| |
| <category name="4. Literal Values"> |
| <rule id="SVTB.4.1.1.3.1" /> |
| <rule id="SVTB.4.1.4.1" /> |
| <rule id="SVTB.4.1.4.1.1" /> |
| <rule id="SVTB.4.1.6.1" /> |
| <rule id="SVTB.4.1.7" /> |
| </category> |
| |
| |
| <category name="5. Singular Data Types"> |
| <rule id="SVTB.5.1.1" name="SVTB.5.1.1.warning" severity="WARNING" /> |
| <rule id="SVTB.5.2.1.1" /> |
| <rule id="SVTB.5.2.7" /> |
| <rule id="SVTB.5.2.8" /> |
| <rule id="SVTB.5.10.1.1" /> |
| <rule id="SVTB.5.11.1" /> |
| <rule id="SVTB.5.11.2.1" /> |
| <rule id="SVTB.5.11.2.2" /> |
| <rule id="SVTB.5.11.3" /> |
| </category> |
| |
| |
| <category name="6. Aggregate Data Types "> |
| <rule id="SVTB.6.1.2.1" /> |
| <rule id="SVTB.6.5.1.1" /> |
| <rule id="SVTB.6.6.3.1" /> |
| <rule id="SVTB.6.7.4" /> |
| </category> |
| |
| |
| <category name="7. Classes"> |
| <rule id="SVTB.7.1.1" /> |
| <rule id="SVTB.7.1.2" /> |
| <rule id="SVTB.7.1.2.1" /> |
| <rule id="SVTB.7.1.3" /> |
| <rule id="SVTB.7.1.3.1" /> |
| <rule id="SVTB.7.1.4" /> |
| <rule id="SVTB.7.1.4.1" /> |
| <rule id="SVTB.7.1.4.2" /> |
| <rule id="SVTB.7.1.4.3" /> |
| <rule id="SVTB.7.4" /> |
| <rule id="SVTB.7.7" name="SVTB.7.7.warning" severity="WARNING" /> |
| <rule id="SVTB.7.12.3" name="SVTB.7.12.3.warning" severity="WARNING" /> |
| <rule id="SVTB.7.12.3.1" name="SVTB.7.12.3.1.warning" severity="WARNING" /> |
| <rule id="SVTB.7.13" /> |
| <rule id="SVTB.7.13.1" /> |
| <rule id="SVTB.7.13.2" /> |
| <rule id="SVTB.7.13.3" /> |
| <rule id="SVTB.7.14.0" /> |
| <rule id="SVTB.7.15" /> |
| <rule id="SVTB.7.16" /> |
| <rule id="SVTB.7.17" /> |
| <rule id="SVTB.7.18" /> |
| <rule id="SVTB.7.19" /> |
| <rule id="SVTB.7.20" /> |
| <rule id="SVTB.7.21" /> |
| <rule id="SVTB.7.22" /> |
| </category> |
| |
| |
| <category name="8. Processes"> |
| <rule id="SVTB.8.4.4" name="SVTB.8.4.4.info" severity="INFO" /> |
| </category> |
| |
| |
| <category name="10. Operators"> |
| <rule id="SVTB.10.1" name="SVTB.10.1.warning" severity="WARNING" /> |
| <rule id="SVTB.10.6.1.0" /> |
| <rule id="SVTB.10.6.1" /> |
| <rule id="SVTB.10.7.2" /> |
| <rule id="SVTB.10.7.3" /> |
| </category> |
| |
| |
| <category name="11. Procedural Statements"> |
| <rule id="SVTB.11.2.1" name="SVTB.11.2.1.warning" severity="WARNING" /> |
| <rule id="SVTB.11.2.8.1" /> |
| </category> |
| |
| |
| <category name="12. Methods and Method Calls"> |
| <rule id="SVTB.12.1.2" /> |
| <rule id="SVTB.12.2.3" /> |
| <rule id="SVTB.12.2.3.1" /> |
| <rule id="SVTB.12.2.6.1" /> |
| <rule id="SVTB.12.2.7" /> |
| <rule id="SVTB.12.3.7" /> |
| <rule id="SVTB.12.4" /> |
| <rule id="SVTB.12.5" name="SVTB.12.5.info" severity="INFO" /> |
| <rule id="SVTB.12.6" /> |
| <rule id="SVTB.12.7" /> |
| </category> |
| |
| |
| <category name="13. Interprocess Communication (IPC)"> |
| <rule id="SVTB.13.1.1" /> |
| <rule id="SVTB.13.1.2" /> |
| <rule id="SVTB.13.3" /> |
| </category> |
| |
| |
| <category name="14. Assertions and Checkers"> |
| <rule id="SVTB.14.1.1" /> |
| <rule id="SVTB.14.1.2" /> |
| </category> |
| |
| |
| <category name="15. Constrained Randomization"> |
| <rule id="SVTB.15.3.1" name="SVTB.15.3.1.warning" severity="WARNING" /> |
| <rule id="SVTB.15.3.3.1" /> |
| <rule id="SVTB.15.4.1.1" /> |
| <rule id="SVTB.15.4.9" /> |
| <rule id="SVTB.15.4.10" /> |
| <rule id="SVTB.15.5.1" /> |
| <rule id="SVTB.15.6.1" /> |
| </category> |
| |
| |
| <category name="16. Functional Coverage"> |
| <rule id="SVTB.16.1.3" /> |
| <rule id="SVTB.16.1.5" /> |
| <rule id="SVTB.16.1.6" /> |
| <rule id="SVTB.16.7.5" /> |
| </category> |
| |
| |
| <category name="18. Macros"> |
| <rule id="SVTB.18.2.3" name="SVTB.18.2.3.warning" severity="WARNING" /> |
| </category> |
| |
| |
| <category name="19. Modules"> |
| <rule id="SVTB.19.1" /> |
| <rule id="SVTB.19.3.1" /> |
| </category> |
| |
| |
| <category name="20. Interfaces"> |
| <rule id="SVTB.20.1.2" /> |
| <rule id="SVTB.20.11.1" /> |
| <rule id="SVTB.20.14" /> |
| <rule id="SVTB.20.15" /> |
| </category> |
| |
| |
| <category name="21. Packages"> |
| <rule id="SVTB.21.1.1" /> |
| <rule id="SVTB.21.2.1" /> |
| <rule id="SVTB.21.5" name="SVTB.21.5.warning" severity="WARNING" /> |
| </category> |
| |
| |
| <category name="23. Direct Programming Interface (DPI)"> |
| <rule id="SVTB.23.1" /> |
| <rule id="SVTB.23.2" /> |
| </category> |
| |
| |
| <category name="25. Comments"> |
| <rule id="SVTB.25.4.0" /> |
| <rule id="SVTB.25.6.6.0" /> |
| <rule id="SVTB.25.6.6" /> |
| <rule id="SVTB.25.6.7.0" /> |
| </category> |
| |
| |
| <category name="27. Names"> |
| <rule id="SVTB.27.1.0" /> |
| <rule id="SVTB.27.2.0" name="SVTB.27.2.0.driver"> |
| <property key="baseClass" value="uvm_pkg::uvm_driver" /> |
| <property key="suffix" value="drv" /> |
| </rule> |
| <rule id="SVTB.27.3.0" /> |
| <rule id="SVTB.27.3.1" /> |
| <rule id="SVTB.27.3.2" name="SVTB.27.3.2.warning" severity="WARNING" /> |
| <rule id="SVTB.27.4.0" name="SVTB.27.4.0.namePattern"> |
| <property key="namePattern" value="a_.*|phase" /> |
| <property key="memberKinds" value="function,task" /> |
| </rule> |
| <rule id="SVTB.27.5.1" /> |
| <rule id="SVTB.27.5.2" /> |
| <rule id="SVTB.27.5.3" /> |
| <rule id="SVTB.27.5.4" /> |
| <rule id="SVTB.27.5.5" /> |
| <rule id="SVTB.27.6.1" /> |
| <rule id="SVTB.27.6.2" /> |
| <rule id="SVTB.27.7.1" /> |
| <rule id="SVTB.27.8.1" /> |
| <rule id="SVTB.27.9.1" /> |
| <rule id="SVTB.27.9.2" name="SVTB.27.9.2.namePattern"> |
| <property key="namePattern" value=".*_if" /> |
| </rule> |
| <rule id="SVTB.27.9.3" name="SVTB.27.9.3.namePattern"> |
| <property key="namePattern" value=".*_vif" /> |
| </rule> |
| <rule id="SVTB.27.10.1" /> |
| <rule id="SVTB.27.11.1" name="SVTB.27.11.1.DPINamePattern"> |
| <property key="importDPINamePattern" value=".*_dpi" /> |
| <property key="exportDPINamePattern" value=".*_dpi" /> |
| </rule> |
| <rule id="SVTB.27.12" /> |
| </category> |
| |
| |
| <category name="28. Global"> |
| <rule id="SVTB.28.1" /> |
| </category> |
| |
| |
| <category name="29. Banned API"> |
| <rule id="SVTB.29.1.0" name="SVTB.29.1.0.bannedMethods"> |
| <property key="bannedMethods" value="$display" /> |
| </rule> |
| <rule id="SVTB.29.1.1" /> |
| <rule id="SVTB.29.1.2" /> |
| <rule id="SVTB.29.1.3.1" /> |
| <rule id="SVTB.29.1.3.2" /> |
| <rule id="SVTB.29.1.4.1" /> |
| <rule id="SVTB.29.1.4.2" /> |
| <rule id="SVTB.29.1.5.1" /> |
| <rule id="SVTB.29.1.6.1" /> |
| <rule id="SVTB.29.1.7" /> |
| <rule id="SVTB.29.2" /> |
| <rule id="SVTB.29.3.0" /> |
| <rule id="SVTB.29.4.0" /> |
| <rule id="SVTB.29.5" /> |
| </category> |
| |
| |
| <category name="30. Deprecated API"> |
| <rule id="SVTB.30.1.0" /> |
| <rule id="SVTB.30.2.0" /> |
| <rule id="SVTB.30.3.0" /> |
| <rule id="SVTB.30.4.0" /> |
| </category> |
| |
| |
| <category name="31. Dead Code"> |
| <rule id="SVTB.31.1.0" /> |
| <rule id="SVTB.31.2.0" /> |
| <rule id="SVTB.31.3.1" /> |
| <rule id="SVTB.31.3.2" /> |
| <rule id="SVTB.31.3.3" /> |
| </category> |
| |
| |
| <category name="32. Performance"> |
| <rule id="SVTB.32.1.0" /> |
| <rule id="SVTB.32.2.0" name="SVTB.32.2.0.skipConstructors"> |
| <property key="skipConstructors" value="true" /> |
| </rule> |
| </category> |
| |
| |
| <category name="XVM Base Classes"> |
| <rule id="XVM.2.1.1" /> |
| <rule id="XVM.2.1.1.2" /> |
| <rule id="XVM.2.7.2" /> |
| <rule id="XVM.2.6.2" /> |
| <rule id="XVM.2.3.2" /> |
| <rule id="XVM.2.2.2" /> |
| <rule id="XVM.2.4.2" /> |
| <rule id="XVM.2.5.2" /> |
| <rule id="XVM.3.1.2" /> |
| <rule id="XVM.3.3.2" /> |
| <rule id="XVM.2.9.1.2" /> |
| <rule id="XVM.2.9.2.2" /> |
| <rule id="XVM.2.8.2" name="SVTB.2.8.2.directInheritanceOnly"> |
| <property key="directInheritanceOnly" value="true" /> |
| </rule> |
| <rule id="XVM.2.8.3" /> |
| <rule id="XVM45" /> |
| </category> |
| |
| |
| <category name="XVM Architecture"> |
| <rule id="ARAF" /> |
| <rule id="ARAA" /> |
| <rule id="ARSAb" /> |
| <rule id="XVM.2.2.3" /> |
| <rule id="XVM22a" /> |
| <rule id="XVM22b" /> |
| <rule id="XVM23a" /> |
| <rule id="XVM23b" /> |
| <rule id="XVM.2.3.8.1" /> |
| <rule id="ARIN" /> |
| <rule id="ARMN" /> |
| <rule id="ARBF" /> |
| <rule id="ARSAa" /> |
| <rule id="XVM28" /> |
| <rule id="XVM46" /> |
| <rule id="XVM49" /> |
| <rule id="XVM.2.1.10" /> |
| <rule id="XVM.2.1.8" /> |
| <rule id="XVM.2.1.9" /> |
| <rule id="ARIO" /> |
| <rule id="XVM.2.1.17" /> |
| </category> |
| |
| |
| <category name="XVM Factory Registration"> |
| <rule id="XVM.2.1.1.1.0" name="XVM.2.1.1.1.0.factoryRegistrationUVMComponent"> |
| <property key="baseClass" value="uvm_pkg::uvm_component" /> |
| <property key="factoryRegistrationMacro" value="`uvm_component_utils" /> |
| <property key="factoryRegistrationMacroBegin" value="`uvm_component_utils_begin" /> |
| <property key="factoryRegistrationMacroEnd" value="`uvm_component_utils_end" /> |
| </rule> |
| <rule id="XVM.2.1.1.1.0" name="XVM.2.1.1.1.0.factoryRegistrationUVMObject"> |
| <property key="baseClass" value="uvm_pkg::uvm_object" /> |
| <property key="factoryRegistrationMacro" value="`uvm_object_utils" /> |
| <property key="factoryRegistrationMacroBegin" value="`uvm_object_utils_begin" /> |
| <property key="factoryRegistrationMacroEnd" value="`uvm_object_utils_end" /> |
| <property key="skipBaseClasses" value="uvm_pkg::uvm_component" /> |
| </rule> |
| <rule id="XVM.2.1.1.2.0" /> |
| <rule id="XVM2" /> |
| <rule id="XVM.2.1.1.1" /> |
| <rule id="XVM.2.4.4" /> |
| <rule id="XVM.3.1.3" /> |
| </category> |
| |
| |
| <category name="XVM Factory Override"> |
| <rule id="XVM.2.8.5" /> |
| </category> |
| |
| |
| <category name="XVM Factory Create"> |
| <rule id="XVM.2.1.4.2.6" /> |
| <rule id="XVM.2.1.4.2.7" /> |
| <rule id="XVM.2.1.4.2.8" /> |
| <rule id="XVM.2.1.15" /> |
| <rule id="XVM.2.1.15.1" /> |
| <rule id="XVM51" /> |
| <rule id="XVM52" /> |
| <rule id="XVM60" /> |
| <rule id="XVM.5.4.4" /> |
| </category> |
| |
| |
| <category name="XVM Constructor"> |
| <rule id="XVM3" /> |
| <rule id="XVM.2.1.4.1" /> |
| </category> |
| |
| |
| <category name="XVM Build Phase"> |
| <rule id="XVM58" /> |
| </category> |
| |
| |
| <category name="XVM Connect Phase"> |
| <rule id="XVM.2.1.4.3" /> |
| <rule id="XVM30a" /> |
| <rule id="XVM30b" /> |
| <rule id="XVM59" /> |
| </category> |
| |
| |
| <category name="XVM Run Phase"> |
| <rule id="XVM.2.7.3" /> |
| <rule id="XVM.2.6.5" /> |
| <rule id="XVM15a" /> |
| <rule id="XVM15b" /> |
| <rule id="XVM20" /> |
| <rule id="XVM.2.1.4.4.1" /> |
| <rule id="XVM55" /> |
| <rule id="XVM.2.8.6" /> |
| </category> |
| |
| |
| <category name="XVM Sequences"> |
| <rule id="XVM.3.1.4.1" /> |
| <rule id="XVM.3.1.4.2" /> |
| <rule id="XVM.3.1.4.2.2" /> |
| <rule id="XVM.3.1.4.3" /> |
| <rule id="XVM.3.1.4.3.2" /> |
| <rule id="XVM.3.1.4.4" /> |
| <rule id="XVM.3.1.4.4.2" /> |
| <rule id="XVM.3.1.9.1" /> |
| <rule id="XVM.3.1.9.2" /> |
| <rule id="XVM.3.2.1" /> |
| <rule id="XVM.3.2.1.1" /> |
| <rule id="XVM.3.2.2" /> |
| <rule id="XVM.3.2.2.1" /> |
| <rule id="XVM.3.2.3" /> |
| <rule id="XVM.3.2.3.1" /> |
| <rule id="XVM.3.3.3" /> |
| <rule id="XVM.3.3.4.2" /> |
| <rule id="XVM7" /> |
| <rule id="XVM.3.3.4.2.2" /> |
| <rule id="XVM8" /> |
| <rule id="XVM.3.3.7" /> |
| <rule id="XVM.3.3.11" /> |
| <rule id="XVM.3.3.11.1" /> |
| <rule id="XVM.3.4.2" /> |
| <rule id="SQSD" /> |
| </category> |
| |
| |
| <category name="XVM Checking"> |
| <rule id="CHCAa" /> |
| <rule id="CHCAb" /> |
| <rule id="XVM36" /> |
| <rule id="CHEX" /> |
| <rule id="CHSC" /> |
| <rule id="XVM.6.2" /> |
| </category> |
| |
| |
| <category name="XVM Coverage"> |
| <rule id="CVED" /> |
| </category> |
| |
| |
| <category name="XVM Messaging"> |
| <rule id="XVM.5.1.1" /> |
| <rule id="CVVN" /> |
| <rule id="MSUA" /> |
| <rule id="MSUM" /> |
| </category> |
| |
| |
| <category name="XVM Pack/Unpack"> |
| <rule id="XVM.5.7.2.1.1" /> |
| <rule id="XVM.5.7.2.1.2" /> |
| <rule id="XVM.5.7.2.2.1" /> |
| <rule id="XVM.5.7.2.2.2" /> |
| </category> |
| |
| |
| <category name="XVM Names"> |
| <rule id="XVM.2.7.1" /> |
| <rule id="XVM.2.6.1" /> |
| <rule id="XVM.2.3.1" /> |
| <rule id="XVM.2.2.1" /> |
| <rule id="XVM.2.4.1" /> |
| <rule id="XVM.3.1.1" /> |
| <rule id="XVM.3.3.1" /> |
| <rule id="XVM.2.9.1.1" /> |
| <rule id="XVM.2.9.2.1" /> |
| <rule id="XVM.2.8.1" /> |
| <rule id="XVM.5.3.1" /> |
| <rule id="XVM.5.3.2" /> |
| <rule id="XVM.5.3.3" /> |
| <rule id="XVM.5.3.4" /> |
| <rule id="XVM.5.3.5" /> |
| <rule id="XVM.5.4.1" /> |
| <rule id="XVM.5.4.2" /> |
| </category> |
| |
| |
| <category name="XVM Documentation"> |
| <rule id="DCDC" /> |
| <rule id="DCRN" /> |
| </category> |
| |
| |
| <category name="XVM Packaging and Name Space"> |
| <rule id="PKLD" /> |
| <rule id="PKVD" /> |
| <rule id="PKFN" /> |
| <rule id="PKVR" /> |
| </category> |
| |
| |
| <category name="XVM Deprecated API"> |
| <rule id="XVM.10.1" /> |
| <rule id="XVM.10.2" /> |
| </category> |
| |
| |
| <category name="XVM Banned API"> |
| <rule id="XVM.7.1" /> |
| <rule id="XVM.7.2" /> |
| <rule id="XVM.7.3" /> |
| <rule id="XVM.7.4" /> |
| <rule id="XVM.2.1.6" /> |
| </category> |
| |
| |
| <category name="XVM Misc"> |
| <rule id="XVM.2.1.16" /> |
| <rule id="XVM.7.3.4" /> |
| <rule id="XVM50" /> |
| <rule id="XVM53" /> |
| </category> |
| |
| </ruleset> |