diff --git a/spyglass/reference_summary.rpt b/spyglass/reference_summary.rpt index f108dbd0c..53356c585 100644 --- a/spyglass/reference_summary.rpt +++ b/spyglass/reference_summary.rpt @@ -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 diff --git a/spyglass/sg_setup/cva6/cva6_goals_setup.tcl b/spyglass/sg_setup/cva6/cva6_goals_setup.tcl index e3231d6e7..331167745 100755 --- a/spyglass/sg_setup/cva6/cva6_goals_setup.tcl +++ b/spyglass/sg_setup/cva6/cva6_goals_setup.tcl @@ -18,6 +18,11 @@ # read_file -type waiver ######################################################################################################## +# 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}