github-mirrors/cva6
1
0
Fork 0
mirror of https://github.com/openhwgroup/cva6.git synced 2025-04-22 21:27:10 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions 5

spyglass: ignore some multiple assignment W415a warnings (#2446)

Browse source
This commit is contained in:
André Sintzoff 2024-08-14 14:17:38 +02:00 • committed by GitHub
parent d2889fa174
commit 834e3e74d5
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 9 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

8
spyglass/reference_summary.rpt
View file

@ -4,7 +4,7 @@
# This file has been generated by SpyGlass:
# Report Name : summary
# Report Created by: asintzoff
# Report Created on: Tue Aug 13 11:47:20 2024
# Report Created on: Wed Aug 14 07:46:49 2024
# Working Directory: /home/asintzoff/git-repo/tss/cva6/spyglass
# SpyGlass Version : SpyGlass_vS-2021.09-SP2-3
# Policy Name : SpyGlass(SpyGlass_vS-2021.09-SP2-03)
@ -17,9 +17,9 @@
# starc(SpyGlass_vS-2021.09-SP2-03)
# starc2005(SpyGlass_vS-2021.09-SP2-03)
#
# Total Number of Generated Messages : 1514
# Total Number of Generated Messages : 1024
# Number of Waived Messages : 322
# Number of Reported Messages : 1192
# Number of Reported Messages : 702
# Number of Overlimit Messages : 0
#
#
@ -117,7 +117,7 @@ WARNING W263 4 A case expression width does not match
case select expression width
WARNING W287b 36 Output port of an instance is not
connected
WARNING W415a 535 Signal may be multiply assigned (beside
WARNING W415a 45 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

5
spyglass/sg_setup/cva6/cva6_goals_setup.tcl
View file

@ -18,6 +18,11 @@
# read_file -type waiver <waiver-file>
########################################################################################################
# ignore multiple assignment bitwise or violations (W415a) in for loop
set_parameter ignore_bitwiseor_assignment yes
# ignore multiple assignment violations (W415a) in if/else or case
set_parameter ignore_if_case_statement yes
## Goal:cdc/cdc_verify_struct ##################
current_goal cdc/cdc_verify_struct
set_goal_option report {count moresimple moresimple_sevclass sign_off summary waiver CKSGDCInfo Clock-Reset-Summary CDC-report Ac_sync_group_detail Glitch_detailed CrossingInfo SynchInfo Clock-Reset-Detail}