github-mirrors/cvw
1
0
Fork 0
mirror of https://github.com/openhwgroup/cvw.git synced 2025-06-27 17:01:20 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

great comment to move spyglass files to another location. Moved to synthDC as might be most appropriate.

Browse source
This commit is contained in:
James Stine 2025-06-19 08:10:28 -05:00
parent 79e3490d79
commit 6537182b46
3 changed files with 48 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

8
bin/lint-spyglass.sh
View file

@ -26,17 +26,17 @@ fi
GOAL="lint/lint_rtl"
# List of configurations (add configurations for linting)
configs=(rv32e)
configs=(rv32e rv32i rv64i rv64gc)
# Set current dir to make sure it writes to the current dir
CUR_DIR=$(pwd)
# Base project file for Spyglass
TEMPLATE_PRJ="$WALLY/bin/cvw.prj"
TEMPLATE_PRJ="$WALLY/synthDC/spyglass/cvw.prj"
# Clean out the lint-synopsys directory (if it exists)
if [ -d "$CUR_DIR/lint-spyglass-reports" ]; then
echo "Cleaning lint-spyglass-reports directory..."
echo "Cleaning lint-spyglass directory..."
rm -rf "$CUR_DIR/lint-spyglass-reports"/*
fi
@ -50,7 +50,7 @@ for config in "${configs[@]}"; do
# Also replaces path for Tcl so can incorporate everything correctly
sed -e "s|\$WALLY|$WALLY|g" \
-e "s|WALLYVER|$config|g" \
-e "s|read_file -type awl waivers.tcl|read_file -type awl $WALLY/bin/waivers.tcl|g" \
-e "s|read_file -type awl waivers.tcl|read_file -type awl $WALLY/synthDC/spyglass/waivers.tcl|g" \
-e "s|set_option projectwdir lint-spyglass/|set_option projectwdir ${CUR_DIR}/lint-spyglass/|g" \
"$TEMPLATE_PRJ" > "$CONFIG_PRJ"

33
synthDC/spyglass/cvw.prj Normal file
View file

@ -0,0 +1,33 @@
#
# Synopsys SpyGlass Lint Flow
# james.stine@okstate.edu 11 June 2025
# SPDX-License-Identifier: Apache-2.0 WITH SHL-2.1
#
# Sets directory for output reports
set_option projectwdir lint-spyglass-reports/
set_option language_mode mixed
set_option designread_enable_synthesis no
set_option designread_disable_flatten no
set_option active_methodology $SPYGLASS_HOME/GuideWare/latest/block/rtl_handoff
set_option enableSV12 yes
set_option handlememory yes
set_option top wallywrapper
set_parameter handle_large_bus yes
# Include DIR
set_option incdir $WALLY/config/WALLYVER
set_option incdir $WALLY/config/shared
# main CVW
read_file -type verilog $WALLY/src/cvw.sv
read_file -type verilog $WALLY/testbench/wallywrapper.sv
read_file -type awl $WALLY/synthDC/spyglass/waivers.tcl
# generic read of Wally src files
read_file -type verilog $WALLY/src/*/*
read_file -type verilog $WALLY/src/*/*/*
current_methodology $SPYGLASS_HOME/GuideWare/latest/block/rtl_handoff

11
synthDC/spyglass/waivers.tcl Normal file
View file

@ -0,0 +1,11 @@
#
# Synopsys SpyGlass Lint Waivers
# james.stine@okstate.edu 11 June 2025
# SPDX-License-Identifier: Apache-2.0 WITH SHL-2.1
#
# Add waivers that are not neededed to be checked
waive -rule { W240 W528 W123 W287b }
# Add waiver for undriven outputs for items like Uncore
waive -du { {rom1p1r} {uncore} } -rule { {UndrivenInTerm-ML} }