rm waivers.tcl and cvw.prj from bin dir

This commit is contained in:
James Stine 2025-06-19 08:11:32 -05:00
parent 6537182b46
commit 9e6fce48a4
2 changed files with 0 additions and 44 deletions

View file

@ -1,33 +0,0 @@
#
# 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/bin/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

View file

@ -1,11 +0,0 @@
#
# 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} }