github-mirrors/cva6
1
0
Fork 0
mirror of https://github.com/openhwgroup/cva6.git synced 2025-04-20 04:07:36 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

add spyglass waiver file to waive ErrorAnalyzeBBox error (#2254)

Browse source
This commit is contained in:
Asmaa Kassimi 2024-06-13 15:54:54 +01:00 • committed by GitHub
parent 105d3601b6
commit 77264cd572
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 25 additions and 21 deletions
Download patch file Download diff file Expand all files Collapse all files

33
spyglass/reference_summary.rpt
View file

@ -4,7 +4,7 @@
# This file has been generated by SpyGlass:
# Report Name : summary
# Report Created by: akassimi
# Report Created on: Thu May 23 10:06:32 2024
# Report Created on: Thu Jun 13 15:09:11 2024
# SpyGlass Version : SpyGlass_vS-2021.09-SP2-3
# Policy Name : SpyGlass(SpyGlass_vS-2021.09-SP2-03)
# clock-reset(SpyGlass_vS-2021.09-SP2-03)
@ -19,9 +19,9 @@
# starc2005(SpyGlass_vS-2021.09-SP2-03)
# txv(SpyGlass_vS-2021.09-SP2-03)
#
# Total Number of Generated Messages : 1422
# Number of Waived Messages : 0
# Number of Reported Messages : 1422
# Total Number of Generated Messages : 1432
# Number of Waived Messages : 2
# Number of Reported Messages : 1430
# Number of Overlimit Messages : 0
#
#
@ -35,8 +35,6 @@ SUMMARY REPORT:
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Severity Rule Name Count Short Help
===============================================================================
ERROR ErrorAnalyzeBBox 1 Reports black boxes in the design with
Error severity.
WARNING WarnAnalyzeBBox 1 Reports black boxes in the design with
Warn severity.
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
@ -58,10 +56,6 @@ INFO HdlLibDuCheck_03 1 Reports that 'hdllibdu' is not required
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Severity Rule Name Count Short Help
===============================================================================
ERROR SYNTH_5251 1 This gets flagged for out-of-range for
Part-Select Operations.
ERROR SYNTH_5273 1 Number of bits for net/variable exceeds
the mthresh value
WARNING SYNTH_12605 1 Used Priority/Unique Type case/if
statement but all the conditions are
not covered
@ -83,9 +77,6 @@ INFO DetectTopDesignUnits 1 Identify the top-level design units in
user design.
INFO ElabSummary 1 Generates Elaborated design units
Summary data
INFO checkCMD_mthresh 1 Reports number of modules which are not
synthesized and made black-box due to
given/default mthresh value.
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
@ -97,13 +88,13 @@ Severity Rule Name Count Short Help
ERROR InferLatch 2 Latch inferred
ERROR UndrivenInTerm-ML 7 Undriven but loaded input terminal of
an instance detected
ERROR W123 100 A signal or variable has been read but
ERROR W123 99 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 FlopEConst 27 Flip-flop enable pin is permanently
WARNING FlopEConst 19 Flip-flop enable pin is permanently
disabled or enabled
WARNING ParamWidthMismatch-ML 1 Parameter width does not match with the
value assigned
@ -118,24 +109,24 @@ WARNING STARC05-2.1.4.5 1 Bit-wise operators must be used instead
operations.
WARNING STARC05-2.1.5.3 1 Conditional expressions should evaluate
to a scalar.
WARNING STARC05-2.2.3.3 10 Do not assign over the same signal in
WARNING STARC05-2.2.3.3 13 Do not assign over the same signal in
an always construct for sequential
circuits
WARNING W224 1 Multi-bit expression found when one-bit
expression expected
WARNING W240 320 An input has been declared but is not
WARNING W240 312 An input has been declared but is not
read
WARNING W263 4 A case expression width does not match
case select expression width
WARNING W287b 37 Output port of an instance is not
connected
WARNING W415a 459 Signal may be multiply assigned (beside
WARNING W415a 492 Signal may be multiply assigned (beside
initialization) in the same scope.
WARNING W480 3 Loop index is not of type integer
WARNING W486 2 Shift overflow - some bits may be lost
WARNING W528 379 A signal or variable is set but never
WARNING W486 2 Shift overflow - some bits may be lost
WARNING W528 372 A signal or variable is set but never
read
INFO W240 2 An input has been declared but is not
INFO W240 1 An input has been declared but is not
read
INFO W528 1 A signal or variable is set but never
read

13
spyglass/sg_setup/cva6/cva6_waiver.awl Normal file
View file

@ -0,0 +1,13 @@
######################################################################################################
## File Name : Local Waiver File(.awl)
## Purpose : To add local/module specific SpyGlass waivers
## Type : This is tcl compatible file and can only read spyglass waiver commands.
## Usage : This file is read under SpyGlass Project File(.prj).
## Modified by : Asmaa Kassimi (asmaa.kassimi@external.thalesgroup.com) - Thales
#######################################################################################################
waive -file_line {$CVA6_REPO_DIR/common/local/util/sram_cache.sv} {55} -severity { {ERROR} } -rule { {ErrorAnalyzeBBox} }
waive -file_line {$CVA6_REPO_DIR/common/local/util/sram_cache.sv} {85} -severity { {ERROR} } -rule { {ErrorAnalyzeBBox} }
waive -file { {$CVA6_REPO_DIR/vendor/pulp-platform/tech_cells_generic/src/rtl/tc_sram.sv} } -severity { {ERROR} } -rule { {ErrorAnalyzeBBox} }
waive -file { {$CVA6_REPO_DIR/vendor/pulp-platform/tech_cells_generic/src/rtl/tc_sram.sv} } -severity { {ERROR} } -rule { {SYNTH_5251} }
waive -file { {$CVA6_REPO_DIR/common/local/util/tc_sram_wrapper_cache_techno.sv} } -du { {tc_sram_wrapper_cache_techno} } -severity { {ERROR} } -rule { {ErrorAnalyzeBBox} }