mirror of
https://github.com/openhwgroup/cva6.git
synced 2025-04-23 13:47:13 -04:00
3ce44b1b4e
Multiple changes to clean up code and remove Spyglass warnings. Co-authored-by: JeanRochCoulon <jean-roch.coulon@thalesgroup.com>
92 lines
4.9 KiB
Text
92 lines
4.9 KiB
Text
|
|
################################################################################
|
|
#
|
|
# 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
|
|
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
|
|
|