
################################################################################
#
# This file has been generated by SpyGlass:
#     Report Name      : summary
#     Report Created by: gchauvon
#     Report Created on:  Wed Jan 15 17:25:40 2025
#     Working Directory: /home/gchauvon/rhel8/github_issue/issue_2280/cva6/spyglass
#     SpyGlass Version : SpyGlass_vS-2021.09-SP2-3
#     Policy Name      : SpyGlass(SpyGlass_vS-2021.09-SP2-03)
#                        erc(SpyGlass_vS-2021.09-SP2-03)
#                        latch(SpyGlass_vS-2021.09-SP2-03)
#                        lint(SpyGlass_vS-2021.09-SP2-03)
#                        morelint(SpyGlass_vS-2021.09-SP2-03)
#                        openmore(SpyGlass_vS-2021.09-SP2-03)
#                        simulation(SpyGlass_vS-2021.09-SP2-03)
#                        starc(SpyGlass_vS-2021.09-SP2-03)
#                        starc2005(SpyGlass_vS-2021.09-SP2-03)
#
#     Total Number of Generated Messages :        977
#     Number of Waived Messages          :        885
#     Number of Reported Messages        :         92
#     Number of Overlimit Messages       :          0
#
#
################################################################################

+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
SUMMARY REPORT:


############### BuiltIn -> RuleGroup=Blackbox Resolution ###############
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Severity   Rule Name            Count Short Help                               
===============================================================================
WARNING    WarnAnalyzeBBox      1     Reports black boxes in the design with 
                                      Warn severity. 
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++



############### BuiltIn -> RuleGroup=Command-line read ###############
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Severity   Rule Name            Count Short Help                               
===============================================================================
INFO       HdlLibDuCheck_03     1     Reports that 'hdllibdu' is not required 
                                      if no precompiled design unit is   used 
                                      in current run. 
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++



############### BuiltIn -> RuleGroup=Design Read ###############
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Severity   Rule Name            Count Short Help                               
===============================================================================
WARNING    SYNTH_5064           12    Non-synthesizable statements are 
                                      ignored for synthesis. 
WARNING    SYNTH_5143           1     Initial block is ignored for synthesis 
WARNING    SYNTH_89             4     Initial Assignment at Declaration is 
                                      ignored by synthesis. 
WARNING    WRN_27               1     Bit-select should not be out-of-range. 
INFO       DetectTopDesignUnits 1     Identify the top-level design units in 
                                      user design. 
INFO       ElabSummary          1     Generates Elaborated design units 
                                      Summary data 
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++



############### Non-BuiltIn -> Goal=lint/lint_rtl ###############
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Severity   Rule Name            Count Short Help                               
===============================================================================
ERROR      W123                 12    A signal or variable has been read but 
                                      is not set 
ERROR      W416                 1     Width of return type and return value 
                                      of a function should be same (Verilog) 
                                      Range of return type and return value 
                                      of a function should be same (VHDL) 
WARNING    STARC05-2.2.3.3      2     Do not assign over the same signal in 
                                      an always construct for sequential 
                                      circuits 
WARNING    W263                 4     A case expression width does not match 
                                      case select expression width 
WARNING    W287b                17    Output port of an instance is not 
                                      connected 
WARNING    W415a                33    Signal may be multiply assigned (beside 
                                      initialization) in the same scope. 
WARNING    W486                 1     Shift overflow - some bits may be lost 
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

