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

Add --gui option to lint-spyglass

Browse source
This commit is contained in:
Jordan Carlin 2025-06-21 14:30:26 -07:00
parent db97838b53
commit 8a70abaff0
No known key found for this signature in database
1 changed files with 13 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

15
bin/lint-spyglass.sh
View file

@ -20,6 +20,7 @@ fi
GOAL="lint/lint_rtl" GOAL="lint/lint_rtl"
DEFAULT_CONFIGS=(rv32e rv64gc rv32gc rv32imc rv32i rv64i) DEFAULT_CONFIGS=(rv32e rv64gc rv32gc rv32imc rv32i rv64i)
CONFIGS=() CONFIGS=()
BATCH_FLAG="-batch"
# === Parse command-line options === # === Parse command-line options ===
while [[ $# -gt 0 ]]; do while [[ $# -gt 0 ]]; do
@ -32,10 +33,15 @@ while [[ $# -gt 0 ]]; do
IFS=',' read -r -a CONFIGS <<< "$2" IFS=',' read -r -a CONFIGS <<< "$2"
shift 2 shift 2
;; ;;
--gui)
BATCH_FLAG=""
shift
;;
-h|--help) -h|--help)
echo "Usage: $0 [-g lint_goal] [-c config1,config2,...]" echo "Usage: $0 [-g lint_goal] [-c config1,config2,...] [--gui]"
echo " -g, --goal Linting goal (e.g., lint/lint_rtl or lint/lint_rtl_enhanced)" echo " -g, --goal Linting goal (e.g., lint/lint_rtl or lint/lint_rtl_enhanced)"
echo " -c, --configs Comma-separated list of configs to run (e.g., rv32e,rv64gc)" echo " -c, --configs Comma-separated list of configs to run (e.g., rv32e,rv64gc)"
echo " --gui Run SpyGlass with Verdi GUI"
echo "Defaults: goal=$GOAL, configs=${DEFAULT_CONFIGS[*]}" echo "Defaults: goal=$GOAL, configs=${DEFAULT_CONFIGS[*]}"
exit 0 exit 0
;; ;;
@ -51,6 +57,11 @@ if [ ${#CONFIGS[@]} -eq 0 ]; then
CONFIGS=("${DEFAULT_CONFIGS[@]}") CONFIGS=("${DEFAULT_CONFIGS[@]}")
fi fi
# For GUI mode, warn if multiple configs are specified
if [ -z "$BATCH_FLAG" ] && [ ${#CONFIGS[@]} -gt 1 ]; then
echo "Warning: Multiple configurations selected. GUI will open for each configuration sequentially."
fi
# Spyglass work directories/files # Spyglass work directories/files
SPYGLASS_DIR="$WALLY/synthDC/spyglass" SPYGLASS_DIR="$WALLY/synthDC/spyglass"
SPYGLASS_PRJ="$SPYGLASS_DIR/cvw.prj" SPYGLASS_PRJ="$SPYGLASS_DIR/cvw.prj"
@ -63,7 +74,7 @@ for config in "${CONFIGS[@]}"; do
# Run SpyGlass # Run SpyGlass
echo "Running spyglass for: $config with goal: $GOAL" echo "Running spyglass for: $config with goal: $GOAL"
WALLY_CONFIG=$config spyglass -project "$SPYGLASS_PRJ" -goal "$GOAL" -batch WALLY_CONFIG=$config spyglass -project "$SPYGLASS_PRJ" -goal "$GOAL" $BATCH_FLAG
if [ $? -ne 0 ]; then if [ $? -ne 0 ]; then
echo "Error running spyglass for configuration: $config" echo "Error running spyglass for configuration: $config"