2021-01-27 11:40:26 +00:00
|
|
|
# check for warnings in Verilog code
|
|
|
|
|
# The verilator lint tool is faster and better than Modelsim so it is best to run this first.
|
|
|
|
|
|
2021-03-31 02:42:28 +00:00
|
|
|
echo "rv64ic linting..."
|
2021-02-17 21:00:27 +00:00
|
|
|
verilator --lint-only --top-module wallypipelinedsoc -Iconfig/rv64ic src/*/*.sv
|
2021-03-31 02:42:28 +00:00
|
|
|
echo "rv32ic linting..."
|
|
|
|
|
verilator --lint-only --top-module wallypipelinedsoc -Iconfig/rv32ic src/*/*.sv
|
2021-02-17 21:00:27 +00:00
|
|
|
#verilator --lint-only --top-module wallypipelinedsoc -Iconfig/rv64ic src/*/*.sv src/*/div/*.sv
|
2021-01-27 11:40:26 +00:00
|
|
|
|
|
|
|
|
# --lint-only just runs lint rather than trying to compile and simulate
|
|
|
|
|
# -I points to the include directory where files such as `include wally-config.vh are found
|
|
|
|
|
|
|
|
|
|
# For more exhaustive (and sometimes spurious) warnings, run:
|
|
|
|
|
# verilator --lint-only -Wall -Iconfig/rv64ic src/*
|
|
|
|
|
# Unfortunately, this produces a bunch of UNUSED and UNDRIVEN signal warnings in blocks that are configured to not exist.
|
