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

Update Spyglass reference_summary after OBI insertion.
Some checks failed
bender-up-to-date / bender-up-to-date (push) Has been cancelled
Details
ci / build-riscv-tests (push) Has been cancelled
Details
ci / execute-riscv64-tests (push) Has been cancelled
Details
ci / execute-riscv32-tests (push) Has been cancelled
Details

Browse source 
The following Warning is new, due to tc_sram model.
To be waived. See related github issue.

WARNING    STARC05-1.3.1.3      1     Asynchronous reset/preset signals must
                                      not be used as non-reset/preset or
                                      synchronous reset/preset signals
This commit is contained in:
Jean-Roch Coulon 2025-03-05 16:00:00 +01:00 • committed by JeanRochCoulon
parent a3d3f07ad3
commit f445c4fabc
1 changed files with 22 additions and 19 deletions
Download patch file Download diff file Expand all files Collapse all files

41
spyglass/reference_summary.rpt
View file

@ -3,23 +3,23 @@
#
# 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)
# Report Created by: jrcoulon
# Report Created on: Wed Mar 5 15:50:13 2025
# Working Directory: /home/jrcoulon/Projects/nonsecure/cv32a60x/spyglass
# SpyGlass Version : SpyGlass_vW-2024.09-SP1-1
# Policy Name : SpyGlass(SpyGlass_vW-2024.09-SP1-01)
# erc(SpyGlass_vW-2024.09-SP1-01)
# latch(SpyGlass_vW-2024.09-SP1-01)
# lint(SpyGlass_vW-2024.09-SP1-01)
# morelint(SpyGlass_vW-2024.09-SP1-01)
# openmore(SpyGlass_vW-2024.09-SP1-01)
# simulation(SpyGlass_vW-2024.09-SP1-01)
# starc(SpyGlass_vW-2024.09-SP1-01)
# starc2005(SpyGlass_vW-2024.09-SP1-01)
#
# Total Number of Generated Messages : 977
# Number of Waived Messages : 885
# Number of Reported Messages : 92
# Total Number of Generated Messages : 1105
# Number of Waived Messages : 1015
# Number of Reported Messages : 90
# Number of Overlimit Messages : 0
#
#
@ -54,7 +54,7 @@ INFO HdlLibDuCheck_03 1 Reports that 'hdllibdu' is not required
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Severity Rule Name Count Short Help
===============================================================================
WARNING SYNTH_5064 12 Non-synthesizable statements are
WARNING SYNTH_5064 2 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
@ -78,12 +78,15 @@ 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
WARNING STARC05-1.3.1.3 1 Asynchronous reset/preset signals must
not be used as non-reset/preset or
synchronous reset/preset signals
WARNING STARC05-2.2.3.3 5 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
WARNING W287b 21 Output port of an instance is not
connected
WARNING W415a 33 Signal may be multiply assigned (beside
initialization) in the same scope.